Your search returned 8 results.

Results
1.	Image from Amazon.com	The design and analysis of algorithms by Kozen, Dexter [Author] Series: Texts and monographs in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, ©1992 Online resources: Table of contents only Availability: Items available for loan: IIT - Dharwad (1)Call number: 005.1 KOZ / B. Place hold Save to lists Add to cart (remove)
2.	Image from Amazon.com	Logic for applications by Nerode, Anil [Author] Shore, Richard A [Author] Series: Graduate texts in computer science Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer-Verlag, ©1997 Online resources: Publisher description Table of contents only Availability: Not available: IIT - Dharwad: Costly Reference (1). Save to lists Add to cart (remove)
3.	Image from Amazon.com	Proofs and algorithms : an introduction to logic and computability by Dowek, Gilles [Author] Series: Undergraduate topics in computer science Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Springer-Verlag, ©2011 Online resources: About this book Availability: Items available for loan: IIT - Dharwad (1)Call number: 004.0151 DOW / B. Place hold Save to lists Add to cart (remove)
4.	Image from Amazon.com	Algorithmics : the spirit of computing by Harel, David [Author] Feldman, Yishai [Author] Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, ©2004 Availability: Items available for loan: IIT - Dharwad (1)Call number: 004 HAR / B. Place hold Save to lists Add to cart (remove)
5.	Image from Amazon.com	Information theory and reliable communication: course held at the Department of Automation and Information, July 1970, Udine by Gallager, Robert [Author] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Wien : Springer-Verlag, ©1972 Availability: Items available for loan: IIT - Dharwad (1)Call number: 001.539 GAL / B. Not available: IIT - Dharwad: Course Reserved Book (1). Place hold Save to lists Add to cart (remove)
6.	Image from Amazon.com	How to solve it : modern heuristics by Michalewicz, Zbigniew [Author] Fogel, David B [Author] Edition: 2nd rev. ed. Material type: Text; Format: print Publication details: Berlin : Springer-Verlag, ©2010 Availability: Items available for loan: IIT - Dharwad (1)Call number: 005.1 MIC / B. Place hold Save to lists Add to cart (remove)
7.	Image from Amazon.com	Springer handbook of speech processing by Benesty, Jacob [Editor] Sondhi, M. Mohan [Editor] Huang, Yiteng [Editor] Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer - Verlag, © 2008 Online resources: Table of contents only Availability: Not available: IIT - Dharwad: Costly Reference (1). Save to lists Add to cart (remove)
8.	Image from Amazon.com	Springer handbook of speech processing by Benesty, Jacob [Editor] Sondhi, M. Mohan [Editor] Huang, Yiteng [Editor] Material type: Computer file; Format: electronic Publication details: Berlin : Springer - Verlag, © 2008 Online resources: Table of contents only Availability: Items available for loan: IIT - Dharwad (1)Call number: 006.454 BEN / DM. Place hold Save to lists Add to cart (remove)