21. Foundations of programming languages. (2017) Authors: Lee, Kent D (Kent Derek) Record Type: Book Extent: 1 online resource (xiv, 370 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. 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) ↗
23. Learn electronics with Raspberry Pi : physical computing with circuits, sensors, outputs, and projects /: physical computing with circuits, sensors, outputs, and projects. (2016) Authors: Watkiss, Stewart Record Type: Book Extent: 1 online resource (xxiv, 290 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Industrial applications of holonic and multi-agent systems : 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings /: 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings. (2017) Editors: Mařík, V (Vladimír); Wahlster, Wolfgang; Strasser, Thomas; Kadera, Petr Other Names: International Conference on Industrial Applications of Holonic and Multi-Agent Systems, 8th Record Type: Book Extent: 1 online resource (xi, 270 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Computer security : ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers /: ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, revised selected papers. (2018) Other Names: CyberICPS (Workshop), 3rd; SECPRE (Workshop); European Symposium on Research in Computer Security, 22nd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Understanding control flow : concurrent programming using [mu]C++ /: concurrent programming using [mu]C++. (2016) Authors: Buhr, Peter A Record Type: Book Extent: 1 online resource (xxi, 741 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Computer safety, reliability, and security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings. (2018) Editors: Gallina, Barbara; Skavhaug, Amund, 1965-; Bitsch, Friedemann Other Names: SAFECOMP (Conference), 37th Record Type: Book Extent: 1 online resource (xxi, 312 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. The use case and smart grid architecture model approach : the IEC 62559-2 use case template and the SGAM applied in various domains /: the IEC 62559-2 use case template and the SGAM applied in various domains. (2017) Authors: Gottschalk, Marion; Uslar, Mathias; Delfs, Christina Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Testing and validation of computer simulation models : principles, methods and applications /: principles, methods and applications. ([2015]) Authors: Murray-Smith, D. J (David J.) Record Type: Book Extent: 1 online resource (xiv, 252 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Embedded system technology : 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised selected papers /: 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015, Revised selected papers. (2015) Editors: (Student of Computer science), Zhang, Xing; (Vice Dean of School), Wu, Zhonghai; Sha, Xingmian Other Names: ESTC (Conference), 13th Record Type: Book Extent: 1 online resource (x, 189 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗