Your search returned 817 results.

Results
		Linguistics for the age of AI / Marjorie McShane and Sergei Nirenburg. by McShane, Marjorie Joan, 1967- Nirenburg, Sergei Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge, Massachusetts : The MIT Press, [2021] Online access: Link to MIT Press online resource OCLC metadata license agreement Availability: No items available. Place recall Add to cart (remove)
		Deep neural networks and data for automated driving [electronic resource] : robustness, uncertainty quantification, and insights towards safety / edited by Tim Fingscheidt, Hanno Gottschalk, Sebastian Houben. by Fingscheidt, Tim Gottschalk, Hanno Houben, Sebastian SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Link to Springer open access ebook Send a message to library staff if access to this online resource is unavailable Availability: No items available. Place recall Add to cart (remove)
		Smittestopp − a case study on digital contact tracing [electronic resource] / edited by Ahmed Elmokashfi, Olav Lysne, Valeriya Naumova. by Elmokashfi, Ahmed Lysne, Olav Naumova, Valeriya SpringerLink (Online service) Series: Simula SpringerBriefs on Computing ; 11 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Link to Springer open access ebook Send a message to library staff if access to this online resource is unavailable Availability: No items available. Place recall Add to cart (remove)
		Electronic voting [electronic resource] : 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings / edited by Robert Krimmer, Melanie Volkamer, David Duenas-Cid, Peter Rønne, Micha Germann. by Krimmer, Robert Volkamer, Melanie Duenas-Cid, David Rønne, Peter Germann, Micha SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13553 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Link to Springer open access ebook Send a message to library staff if access to this online resource is unavailable Availability: No items available. Place recall Add to cart (remove)
		Mathematical surprises [electronic resource] / by Mordechai Ben-Ari. by Ben-Ari, Mordechai SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Link to Springer open access ebook Send a message to library staff if access to this online resource is unavailable Availability: No items available. Place recall Add to cart (remove)
		Foundations of software science and computation structures [electronic resource] : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Patricia Bouyer, Lutz Schröder. by Bouyer, Patricia Schröder, Lutz SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13242 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Link to Springer open access ebook Send a message to library staff if access to this online resource is unavailable Availability: No items available. Place recall Add to cart (remove)
		Programming languages and systems [electronic resource] : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Ilya Sergey. by Sergey, Ilya SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13240 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Link to Springer open access ebook Send a message to library staff if access to this online resource is unavailable Availability: No items available. Place recall Add to cart (remove)
		Fundamental approaches to software engineering [electronic resource] : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Einar Broch Johnsen, Manuel Wimmer. by Johnsen, Einar Broch Wimmer, Manuel SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13241 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Link to Springer open access ebook Send a message to library staff if access to this online resource is unavailable Availability: No items available. Place recall Add to cart (remove)
		Tools and algorithms for the construction and analysis of systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu. by Fisman, Dana Rosu, Grigore SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13243 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Link to Springer open access ebook Send a message to library staff if access to this online resource is unavailable Availability: No items available. Place recall Add to cart (remove)
		Tools and algorithms for the construction and analysis of systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu. by Fisman, Dana Rosu, Grigore SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13244 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Link to Springer open access ebook Send a message to library staff if access to this online resource is unavailable Availability: No items available. Place recall Add to cart (remove)

Powered by Koha