1001. Mobile services for toy computing. (2015) Editors: Hung, Patrick C. K Record Type: Book Extent: 1 online resource (viii, 192 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1002. The practice of enterprise modeling : 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31-November 2, 2018, Proceedings /: 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31-November 2, 2018, Proceedings. (2018) Editors: Buchmann, Robert; Karagiannis, D (Dimitris), 1956-; Kirikova, Marite Other Names: IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, 11th Record Type: Book Extent: 1 online resource (xvii, 406 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1003. Stabilization, safety, and security of distributed systems : 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings /: 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings. (2018) Editors: Izumi, Taisuke; Kuznet︠s︡ov, Petr Other Names: SSS (Symposium), 20th Record Type: Book Extent: 1 online resource (xiii, 410 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1004. Conceptual modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, proceedings /: 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, proceedings. (2017) Editors: Mayr, H. C (Heinrich Christian); Guizzardi, Giancarlo; (Computer programmer), Ma, Hui; Pastor, Óscar, 1962- Other Names: International Conference on Conceptual Modeling, 36th Record Type: Book Extent: 1 online resource (xxii, 536 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1005. Internet and distributed computing systems : 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings /: 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings. (2018) Editors: Fortino, Giancarlo, 1971-; Shawkat Ali, A. B. M; Pathan, Mukaddim; Guerrieri, Antonio; Di Fatta, Giuseppe Other Names: IDCS (Conference), 10th Record Type: Book Extent: 1 online resource (xii, 187 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1006. Software sourcing in the age of open : leveraging the unknown workforce /: leveraging the unknown workforce. (2015) Authors: Ågerfalk, Pär J; Fitzgerald, Brian, 1959 October 12; Stol, Klaas-Jan Record Type: Book Extent: 1 online resource (xii, 77 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1007. Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /: 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. (2015) Editors: (Computer scientist), Bartocci, Ezio; Majumdar, Rupak Other Names: RV (Conference), 6th Record Type: Book Extent: 1 online resource (xiv, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1008. Cloud portability and interoperability : issues and current trends /: issues and current trends. (2015) Authors: Di Martino, Beniamino; Cretella, Giuseppina; Esposito, Antonio Record Type: Book Extent: 1 online resource (xiv, 121 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1009. Computational methods in systems biology : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings /: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. (2016) Editors: (Computer scientist), Bartocci, Ezio; Liò, Pietro; Paoletti, Nicola Other Names: CMSB (Conference), 14th Record Type: Book Extent: 1 online resource (xiii, 356 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1010. Leveraging applications of formal methods, verification and validation. modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part I : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xv, 588 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗