Your search returned 43 results.

First
Previous
1
2
3
4
5

Results per page:

Results
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II / edited by Armin Biere, David Parker. by Biere, Armin Parker, David SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12079 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)
		Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings / edited by Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent. by Czachórski, Tadeusz Gelenbe, Erol Grochla, Krzysztof Lent, Ricardo SpringerLink (Online service) Series: Communications in Computer and Information Science ; 659 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)
		Open Source Systems: Towards Robust Practices [electronic resource] : 13th IFIP WG 2.13 International Conference, OSS 2017, Buenos Aires, Argentina, May 22-23, 2017, Proceedings / edited by Federico Balaguer, Roberto Di Cosmo, Alejandra Garrido, Fabio Kon, Gregorio Robles, Stefano Zacchiroli. by Balaguer, Federico Di Cosmo, Roberto Garrido, Alejandra Kon, Fabio Robles, Gregorio Zacchiroli, Stefano SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 496 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Send a message to library staff if access to this online resource is unavailable Link to Springer open access ebook Availability: No items available. Place recall Add to cart (remove)

First
Previous
1
2
3
4
5

Powered by Koha