Search

Your search returned 6 results.

Not what you expected? Check for suggestions

Results
		Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. by Groote, Jan Friso \| Larsen, Kim Guldstrand. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available. Add to cart (remove)
		Foundations of Software Science and Computation Structures : 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. by Bouyer, Patricia \| Schr�oder, Lutz. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2022Copyright date: �2022Online access: Click to View Availability: No items available. Add to cart (remove)
		Technology, Design and the Arts - Opportunities and Challenges. by Earnshaw, Rae \| Liggett, Susan \| Excell, Peter \| Thalmann, Daniel. Series: Springer Series on Cultural Computing SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2020Copyright date: �2020Online access: Click to View Availability: No items available. Add to cart (remove)
		Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I. by Enea, Constantin \| Lal, Akash. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)
		Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. by Kiefer, Stefan \| Tasson, Christine. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: �2021Online access: Click to View Availability: No items available. Add to cart (remove)
		Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. by Goubault-Larrecq, Jean \| K�onig, Barbara. Series: Lecture Notes in Computer Science SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2020Copyright date: �2020Online access: Click to View Availability: No items available. Add to cart (remove)