Your search returned 1106 results.

Not what you expected? Check for suggestions

Results
721.	Image from Amazon.com Image from Google Jackets	Automated Reasoning with Analytic Tableaux and Related Methods by Bernhard Beckert Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
722.	Image from Amazon.com Image from Google Jackets	Computational Methods in Systems Biology by Vincent Danos, Vincent Schachter Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
723.	Image from Amazon.com Image from Google Jackets	Correct Hardware Design and Verification Methods by Dominique Borrione, Wolfgang Paul Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
724.	Image from Amazon.com Image from Google Jackets	Deterministic and Statistical Methods in Machine Learning by Joab Winkler, Mahesan Niranjan, Neil Lawrence Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
725.	Image from Amazon.com Image from Google Jackets	Energy Minimization Methods in Computer Vision and Pattern Recognition by Anand Rangarajan, Baba Vemuri, Alan L. Yuille Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
726.	Image from Amazon.com Image from Google Jackets	Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems by Jerzy Pejaś, Andrzej Piegat Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
727.	Image from Amazon.com Image from Google Jackets	FM 2005: Formal Methods by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
728.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Kung-Kiu Lau, Richard Banach Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
729.	Image from Amazon.com Image from Google Jackets	Formal Methods for Components and Objects by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
730.	Image from Amazon.com Image from Google Jackets	Formal Methods for Mobile Computing by Marco Bernardo, Alessandro Bogliolo Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
731.	Image from Amazon.com Image from Google Jackets	Formal Methods for Open Object-Based Distributed Systems by Martin Steffen, Gianluigi Zavattaro Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
732.	Image from Amazon.com Image from Google Jackets	Formal Methods in Software and Systems Modeling by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
733.	Image from Amazon.com Image from Google Jackets	Integrated Formal Methods by Judi Romijn, Graeme Smith, Jaco Pol Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
734.	Image from Amazon.com Image from Google Jackets	Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming by Ivo Nowak Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
735.	Image from Amazon.com Image from Google Jackets	Scale Space and PDE Methods in Computer Vision by Ron Kimmel, Nir A. Sochen, Joachim Weickert Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
736.	Image from Amazon.com Image from Google Jackets	Variational, Geometric, and Level Set Methods in Computer Vision by Nikos Paragios, Olivier Faugeras, Tony Chan, Christoph Schnörr Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2005 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
737.	Image from Amazon.com Image from Google Jackets	Computational Methods in Systems Biology by Corrado Priami Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
738.	Image from Amazon.com Image from Google Jackets	Finite-State Methods and Natural Language Processing by Anssi Yli-Jyrä, Lauri Karttunen, Juhani Karhumäki Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
739.	Image from Amazon.com Image from Google Jackets	FM 2006: Formal Methods by Jayadev Misra, Tobias Nipkow, Emil Sekerinski Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists
740.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Zhiming Liu, Jifeng He Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2006 Online resources: Click here to access online Availability: Items available for loan: Basaveshwar Engineering College,Bagalkote (1). Found in Open Library: Place hold Save to lists