611. Functional safety for road vehicles : new challenges and solutions for e-mobility and automated driving /: new challenges and solutions for e-mobility and automated driving. (2016) Authors: Ross, Hans-Leo Record Type: Book Extent: 1 online resource (xv, 269 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
612. Topics in cryptology -- CT-RSA 2017 : the Cryptographers' track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings /: the Cryptographers' track at the RSA Conference 2017, San Francisco, CA, USA, February 14-17, 2017, Proceedings. (2017) Editors: Handschuh, Helena Other Names: Cryptographers' Track at RSA Conference Record Type: Book Extent: 1 online resource (xiii, 452 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
613. Internet and distributed computing systems : 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings /: 9th International Conference, IDCS 2016, Wuhan, China, September 28-30, 2016, Proceedings. (2016) Editors: Li, Wenfeng, 1966-; Shawkat Ali, A. B. M; Lodewijks, Gabriël; Fortino, Giancarlo, 1971-; Di Fatta, Giuseppe; Yin, Zhouping; Pathan, Mukaddim; Guerrieri, Antonio; Wang, Qiang Other Names: IDCS (Conference), 9th Record Type: Book Extent: 1 online resource (xv, 526 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
614. Genetic programming theory and practice XIV. ([2018]) Editors: Riolo, Rick; Worzel, Bill; Goldman, Brian; Tozier, William Other Names: Workshop on Genetic Programming, Theory and Practice, 14th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
615. 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) ↗
616. Information and communications security : 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, proceedings /: 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, proceedings. (2018) Editors: Naccache, David, 1967- Other Names: ICICS (Conference), 20th Record Type: Book Extent: 1 online resource (xv, 818 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
617. DNA computing and molecular programming : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings /: 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings. (2016) Editors: Rondelez, Yannick, 1975-; Woods, Damien Other Names: International Conference on DNA Computing and Molecular Programming, 22nd Record Type: Book Extent: 1 online resource (xxv, 183 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
618. Testing and Tuning Market Trading Systems : Algorithms in C++ /: Algorithms in C++. ([2018]) Authors: Masters, Timothy Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
619. Privately and publicly verifiable computing techniques : a survey /: a survey. (2017) Authors: Demirel, Denise; Schabhüser, Lucas; Buchmann, Johannes Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
620. Compilation for secure multi-party computation. (2017) Authors: Büscher, Niklas; Katzenbeisser, Stefan Record Type: Book Extent: 1 online resource (93 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗