Search

Your search returned 12 results.

Not what you expected? Check for suggestions

Results
		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)
		Tools and Algorithms for the Construction and Analysis of Systems : 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. by Fisman, Dana \| Rosu, Grigore. 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)
		Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. by Shoham, Sharon \| Vizel, Yakir. 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)
		Fatigue of materials and structures [electronic resource] ; application to design and damage / edited by Claude Bathias, Andre Pineau. by Bathias, Claude \| Pineau, A. (Andre) \| ProQuest (Firm). Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Hoboken, N.J. : ISTE ; Wiley, 2011Online access: Click to View Availability: No items available. Add to cart (remove)
		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)
		Anisotropy Across Fields and Scales. by �Ozarslan, Evren \| Schultz, Thomas \| Zhang, Eugene \| Fuster, Andrea. Series: Mathematics and Visualization SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing AG, 2021Copyright date: {copy}2021Online access: Click to View Availability: No items available. Add to cart (remove)
		Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. by Platzer, Andr�e \| Sutcliffe, Geoff. 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: {copy}2021Online access: Click to View Availability: No items available. Add to cart (remove)
		Visions of DNA Nanotechnology at 40 for the Next 40 : A Tribute to Nadrian C. Seeman. by Jonoska, Natasa \| Winfree, Erik. Series: Natural Computing SeriesEdition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Singapore : Springer, 2023Copyright date: �2023Online access: Click to View Availability: No items available. Add to cart (remove)
		No cover image available Variant Construction from Theoretical Foundation to Applications. by Zheng, Jeffrey. Edition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Singapore : Springer Singapore Pte. Limited, 2019Copyright date: �2019Online access: Click to View Availability: No items available. Add to cart (remove)
		New Directions in Geometric and Applied Knot Theory. by Reiter, Philipp \| Blatt, Simon \| Schikorra, Armin. Edition: 1st ed.Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Warschau/Berlin : Walter de Gruyter GmbH, 2018Copyright date: �2022Online access: Click to View Availability: No items available. Add to cart (remove)
		Fundamental Approaches to Software Engineering : 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. by Johnsen, Einar Broch \| Wimmer, Manuel. 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)
		Tools and Algorithms for the Construction and Analysis of Systems : 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. by Fisman, Dana \| Rosu, Grigore. 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)