Your search returned 2128 results.

Not what you expected? Check for suggestions

Results
321.	Image from Amazon.com	Principles and Practice of Constraint Programming by Thomas Schiex Simon de Givry Series: Lecture Notes in Computer Science Edition: 2019 Material type: Computer file; Format: electronic Publication details: springer ; 2019 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
322.	Image from Amazon.com	Formal Methods Teaching by Brijesh Dongol Graeme Smith Luigia Petre Series: Lecture Notes in Computer Science Edition: 2019 Material type: Computer file; Format: electronic Publication details: springer ; 2019 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
323.	Image from Amazon.com	Foundations of Information and Knowledge Systems by Andreas Herzig Juha Kontinen Series: Lecture Notes in Computer Science Edition: 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
324.	Image from Amazon.com	Relational and Algebraic Methods in Computer Science by UliFahrenberg Michael Winter Peter Jipsen Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
325.	Image from Amazon.com	Rigorous State-Based Methods by Alexander Raschke Dominique Mery Frank Houdek Series: Lecture Notes in Computer Science Edition: 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
326.	Image from Amazon.com	Automated Reasoning by Nicolas Peltier Viorica Sofronie Stokkermans Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
327.	Image from Amazon.com	Automated Reasoning by Nicolas Peltier Viorica Sofronie Stokkermans Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
328.	Image from Amazon.com	Principles and Practice of Constraint Programming by Helmut Simonis Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
329.	Image from Amazon.com	"Logic, Language, and Security" by Vivek Nigam Carolyn Talcott Tajana Ban Kirigin Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
330.	Image from Amazon.com	Rigorous State-Based Methods by Alexander Raschke Dominique Mery Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
331.	Image from Amazon.com	Combinatorics on Words by Thierry Lecroq Svetlana Puzynina Series: Lecture Notes in Computer Science Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
332.	Image from Amazon.com	Modelling Puzzles in First Order Logic by Adrian Groza Edition: 1st ed. 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
333.	Image from Amazon.com	Formal Analysis by Abstract Interpretation by Benjamin Aziz Series: SpringerBriefs in Applied Sciences and Technology Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
334.	Image from Amazon.com	"Language, Logic, and Computation" by Aybuke ozgun Yulia Zinova Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
335.	Image from Amazon.com	"R-Calculus, II: Many-Valued Logics" by WeiLi YuefeiSui Series: "Perspectives in Formal Induction, Revision and Evolution" Edition: 2022 Material type: Computer file; Format: electronic Publication details: springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
336.	Image from Amazon.com	Foundations of Information and Knowledge Systems by Ivan Varzinczak Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
337.	Image from Amazon.com	Coalgebraic Methods in Computer Science by Helle Hvid Hansen Fabio Zanasi Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
338.	Image from Amazon.com	Automata Theory and Formal Languages by Alberto Pettorossi Series: Undergraduate Topics in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
339.	Image from Amazon.com	Reachability Problems by Anthony W. Lin Georg Zetzsche Igor Potapov Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
340.	Image from Amazon.com	Formal Aspects of Component Software by Silvia Lizeth Tapia Tarifa Jose Proen�a Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)