1. Internet, Cyber- und IT-Sicherheit von A-Z : Aktuelle Begriffe kurz und einfach erklärt – Für Beruf, Studium und Privatleben /: Aktuelle Begriffe kurz und einfach erklärt – Für Beruf, Studium und Privatleben. (2020) Authors: Porath, Ron Record Type: Book Extent: 1 online resource (383 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings. (2020) Editors: Ahrendt, Wolfgang; Wehrheim, Heike Record Type: Book Extent: 1 online resource (181 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement /: Essays Dedicated to Chris Hankin on the Occasion of His Retirement. (2020) Editors: Di Pierro, Alessandra; Malacaria, Pasquale; Nagarajan, Rajagopal Record Type: Book Extent: 1 online resource (293 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Space Information Networks : 4th International Conference, SINC 2019, Wuzhen, China, September 19–20, 2019, Revised Selected Papers /: 4th International Conference, SINC 2019, Wuzhen, China, September 19–20, 2019, Revised Selected Papers. (2020) Editors: Yu, Quan Record Type: Book Extent: 1 online resource (288 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Language and Automata Theory and Applications : 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings /: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. (2020) Editors: Leporati, Alberto; Martín Vide, Carlos; Shapira, Dana; Zandron, Claudio Record Type: Book Extent: 1 online resource (449 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Sustainable Energy for Smart Cities : First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings /: First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings. (2020) Editors: Afonso, João L; Monteiro, Vítor; Pinto, José Gabriel Record Type: Book Extent: 1 online resource (310 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Evolving Perspectives on ICTs in Global Souths : 11th International Development Informatics Association Conference, IDIA 2020, Macau, China, March 25–27, 2020, Proceedings /: 11th International Development Informatics Association Conference, IDIA 2020, Macau, China, March 25–27, 2020, Proceedings. (2020) Editors: Junio, Don Rodney; Koopman, Cecile Record Type: Book Extent: 1 online resource (217 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Supercomputing : 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers /: 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers. (2019) Editors: Torres, Moisés; Klapp, Jaime Record Type: Book Extent: 1 online resource (348 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings. (2020) Editors: Soares Barbosa, Luís; Baltag, Alexandru Record Type: Book Extent: 1 online resource (227 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Advances in Cyber Security : First International Conference, ACeS 2019, Penang, Malaysia, July 30 – August 1, 2019, Revised Selected Papers /: First International Conference, ACeS 2019, Penang, Malaysia, July 30 – August 1, 2019, Revised Selected Papers. (2020) Editors: Anbar, Mohammed; Abdullah, Nibras; Manickam, Selvakumar Record Type: Book Extent: 1 online resource (374 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗