Your search returned 2128 results.

Not what you expected? Check for suggestions

Results
341.	Image from Amazon.com	"R-Calculus, III: Post Three-Valued Logic" by Wei Li Yuefei Sui 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)
342.	Image from Amazon.com	Artificial Intelligence Logic and Applications by Yixiang Chen Songmao Zhang Series: Communications in Computer and Information 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)
343.	Image from Amazon.com	Logic and Its Applications by Mohua Banerjee A. V. Sreejith 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
344.	Image from Amazon.com	"R-Calculus, IV: Propositional Logic" by Wei Li Yuefei Sui Series: "Perspectives in Formal Induction, Revision and Evolution" Edition: 2023 Material type: Computer file; Format: electronic Publication details: Springer ; 2023 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)
345.	Image from Amazon.com	Rigorous State-Based Methods by Uwe Glasser Dominique Mery Jose Creissac Campos 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
346.	Image from Amazon.com	Combinatorics on Words by Anna Frid Robert Merca? 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
347.		Reachability Problems by Olivier Bournez Enrico Formenti Igor Potapov 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
348.		Artificial Intelligence Logic and Applications by Songmao Zhang Yonggang Zhang Series: Communications in Computer and Information 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
349.		Programming-Based Formal Languages and Automata Theory by Marco T. Morazan Series: Texts 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
350.		"R-Calculus, V: Description Logics" by Wei Li Yuefei Sui Series: "Perspectives in Formal Induction, Revision and Evolution" 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
351.		Formal Aspects of Component Software by Javier Camara Sung-Shik Jongmans Series: Lecture Notes in Computer Science Edition: 1st ed. 2024 Material type: Computer file; Format: electronic Publication details: Springer ; 2024 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)
352.		Foundations of Information and Knowledge Systems by Arne Meier Magdalena Ortiz 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
353.		Rigorous State-Based Methods by Silvia Bonfanti Angelo Gargantini Michael Leuschel 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
354.	Image from Amazon.com	The Application of Formal Methods by Simon Foster Augusto Sampaio 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
355.	Image from Amazon.com	The Practice of Formal Methods by Ana Cavalcanti James Baxter 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
356.	Image from Amazon.com	The Practice of Formal Methods by Ana Cavalcanti James Baxter 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
357.	Image from Amazon.com	Formal Aspects of Component Software by Diego Marmsoler Meng Sun 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
358.	Image from Amazon.com	Reachability Problems by Laura Kovacs Ana Sokolova 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-SPRINGER: Not for loan (1). Save to lists Add to cart (remove)
359.	Image from Amazon.com	Fundamentals of computers by Rajaraman, V Edition: 2 Material type: Text Publication details: New Delhi ; Prentice-Hall ; 1996 Availability: Items available for loan: BOOK BANK (1)Location, call number: 4 N61. Place hold Save to lists Add to cart (remove)
360.	Image from Amazon.com	Fundamentals of computers by Rajaraman, V Edition: 2 Material type: Text Publication details: New Delhi ; Prentice-Hall ; 1996 Availability: Items available for loan: BOOK BANK (1)Location, call number: 4 N61;1. Place hold Save to lists Add to cart (remove)