Your search returned 265 results.

Results
		Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant / Adam Chlipala. by Chlipala, Adam, 1981- Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cambridge, MA : The MIT Press, [2013]Copyright date: ©2013 Online access: Link to MIT Press online resource OCLC metadata license agreement 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 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)
		Automated reasoning [electronic resource] : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / edited by Jasmin Blanchette, Laura Kovács, Dirk Pattinson. by Blanchette, Jasmin Kovács, Laura Pattinson, Dirk SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13385 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)

First
Previous
18
19
20
21
22
23
24
25
26
27

Powered by Koha