Search

Your search returned 48 results.

Not what you expected? Check for suggestions

Results
		Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II. by Sankaranarayanan, Sriram \| Sharygina, Natasha. 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, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)
		Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. by Wies, Thomas. 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, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)
		Ethics and Responsible Research and Innovation in Practice : The ETHNA System Project. by Gonz�alez-Esteban, Elsa \| Feenstra, Ram�on A \| Camarinha-Matos, Luis M. 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, 2023Copyright date: {copy}2023Online access: Click to View Availability: No items available. Add to cart (remove)
		3D Research Challenges in Cultural Heritage III : Complexity and Quality in Digitisation. by Ioannides, Marinos \| Patias, Petros. 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, 2023Copyright date: �2023Online 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 II. 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)
		Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. 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)
		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)
		Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings. by Pientka, Brigitte \| Tinelli, Cesare. 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, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)