511. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
512. Knowledge-based software engineering: 2018 : proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece /: proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece. ([2019]) Editors: Virvou, Maria; Kumeno, Fumihiro; Oikonomou, Konstantinos Other Names: Joint Conference on Knowledge-Based Software Engineering, 12th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
513. Fog computing : concepts, frameworks and technologies /: concepts, frameworks and technologies. (2018) Editors: Mahmood, Zaigham Record Type: Book Extent: 1 online resource (xxi, 291 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
514. Business modeling and software design : 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, proceedings /: 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, proceedings. (2018) Editors: Shishkov, Boris Other Names: BMSD (Symposium), 8th Record Type: Book Extent: 1 online resource (xix, 454 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
515. Digitalisation, innovation, and transformation : 18th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedings /: 18th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedings. (2018) Editors: Liu, Kecheng, 1957-; Nakata, Keiichi; Li, Weizi; Baranauskas, Cécilia Other Names: IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, 18th Record Type: Book Extent: 1 online resource (xx, 322 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
516. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xx, 545 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
517. Services computing -- SCC 2018 : 15th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings /: 15th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings. (2018) Editors: Ferreira, João Eduardo; Spanoudakis, George; Ma, Yutao; Zhang, Liang-Jie Other Names: Services Conference Federation. Conference (2018) (Seattle, Wash.) jointly held conference.; SCC (Conference : Services Computing), 15th Record Type: Book Extent: 1 online resource (xii, 193 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
518. Enterprise information systems : 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised selected papers /: 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised selected papers. (2018) Editors: Hammoudi, Slimane; Śmiałek, Michał; Camp, Olivier; Filipe, Joaquim Other Names: International Conference on Enterprise Information Systems, 19th Record Type: Book Extent: 1 online resource (xvii, 632 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
519. Practical C++ financial programming. (2015) Authors: Oliveira, Carlos Record Type: Book Extent: 1 online resource (xxiii, 396 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
520. A practical guide to TPM 2.0 : using the Trusted Platform Module in the new age of security /: using the Trusted Platform Module in the new age of security. ([2015]) Authors: Arthur, Will; Challener, David; Goldman, Kenneth Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗