Your search returned 2 results.

Results
	1.		Image from Amazon.com Image from Coce	Theory and Applications of Satisfiability Testing � SAT 2017 by Serge Gaspers, Toby Walsh Series: Lecture Notes in Computer Science Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer 2017 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).
	2.		Image from Amazon.com Image from Coce	SOFSEM 2024: Theory and Practice of Computer Science by Henning Fernau Ralf Klasing Serge Gaspers Series: Lecture Notes in Computer Science Edition: 2024 Material type: Text Publication details: Heidelberg, Germany Springer Nature 2024 Online resources: Click here to access online Availability: Items available for reference: LRC, IIT Indore: Not for loan (1).

ऑनलाइन सार्वजनिक अभिगम प्रसूची
Online Public Access Catalogue (OPAC)