Your search returned 9 results.

Not what you expected? Check for suggestions

Results
1.	Image from Amazon.com	Parameterized Complexity in the Polynomial Hierarchy by Ronald de Haan 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: Not for loan (1). Save to lists Add to cart (remove)
2.	Image from Amazon.com	"Logic, Rationality, and Interaction" by Patrick Blackburn Emiliano Lorini Meiyun Guo 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: Not for loan (1). Save to lists Add to cart (remove)
3.	Image from Amazon.com	Logical Foundations of Computer Science by SergeiArtemov Anil Nerode 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: Not for loan (1). Save to lists Add to cart (remove)
4.	Image from Amazon.com	Formal Methods Teaching by Joao F Ferreira Alexandra Mendes Claudio Menghi 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: Not for loan (1). Save to lists Add to cart (remove)
5.	Image from Amazon.com	Thinking Programs by Wolfgang Schreiner Series: Texts & Monographs in Symbolic Computation Edition: 2021 Material type: Computer file; Format: electronic Publication details: springer ; 2021 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
6.		From Computational Logic to Computational Biology by Domenico Cantone Alfredo Pulvirenti Series: Lecture Notes in Computer Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
7.	Image from Amazon.com	Formal Methods Teaching by Catherine Dubois Pierluigi San Pietro Series: Lecture Notes in Computer Science Edition: 1st ed. 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
8.	Image from Amazon.com	Coalgebraic Methods in Computer Science by Barbara Konig Henning Urbat Series: Lecture Notes in Computer Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
9.	Image from Amazon.com	Formal Methods Teaching by Emil Sekerinski Leila Ribeiro Series: Lecture Notes in Computer Science Edition: 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)