Your search returned 1087 results.

Not what you expected? Check for suggestions

Results
821.	Image from Amazon.com Image from Google Jackets	Web Services and Formal Methods by Cosimo Laneve, Jianwen Su Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2010 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
822.	Image from Amazon.com Image from Google Jackets	Automated Reasoning with Analytic Tableaux and Related Methods by Kai Brünnler, George Metcalfe Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
823.	Image from Amazon.com Image from Google Jackets	Computational Intelligence Methods for Bioinformatics and Biostatistics by Riccardo Rizzo, Paulo J. G. Lisboa Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
824.	Image from Amazon.com Image from Google Jackets	Design, User Experience, and Usability. Theory, Methods, Tools and Practice by Aaron Marcus Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
825.	Image from Amazon.com Image from Google Jackets	Design, User Experience, and Usability. Theory, Methods, Tools and Practice by Aaron Marcus Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
826.	Image from Amazon.com Image from Google Jackets	Energy Minimization Methods in Computer Vision and Pattern Recognition by Yuri Boykov, Fredrik Kahl, Victor Lempitsky, Frank R. Schmidt Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
827.	Image from Amazon.com Image from Google Jackets	Engineering Methods in the Service-Oriented Context by Jolita Ralyté, Isabelle Mirbel, Rébecca Deneckère Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
828.	Image from Amazon.com Image from Google Jackets	Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control by Christian Kirches Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
829.	Image from Amazon.com Image from Google Jackets	FM 2011: Formal Methods by Michael Butler, Wolfram Schulte Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
830.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Shengchao Qin, Zongyan Qiu Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
831.	Image from Amazon.com Image from Google Jackets	Formal Methods for Eternal Networked Software Systems by Marco Bernardo, Valérie Issarny Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
832.	Image from Amazon.com Image from Google Jackets	Formal Methods for Industrial Critical Systems by Gwen Salaün, Bernhard Schätz Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
833.	Image from Amazon.com Image from Google Jackets	Formal Methods, Foundations and Applications by Adenilso Simao, Carroll Morgan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
834.	Image from Amazon.com Image from Google Jackets	Formal Methods: Foundations and Applications by Jim Davies, Leila Silva, Adenilso Simao Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
835.	Image from Amazon.com Image from Google Jackets	Methods and Tools of Parallel Programming Multicomputers by Ching-Hsien Hsu, Victor Malyshkin Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
836.	Image from Amazon.com Image from Google Jackets	NASA Formal Methods by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
837.	Image from Amazon.com Image from Google Jackets	Numerical Methods and Applications by Ivan Dimov, Stefka Dimova, Natalia Kolkovska Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
838.	Image from Amazon.com Image from Google Jackets	Relational and Algebraic Methods in Computer Science by Harrie Swart Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
839.	Image from Amazon.com Image from Google Jackets	Software Engineering and Formal Methods by Gilles Barthe, Alberto Pardo, Gerardo Schneider Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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
840.	Image from Amazon.com Image from Google Jackets	Web Services and Formal Methods by Mario Bravetti, Tevfik Bultan Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2011 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