Your search returned 1106 results.

Not what you expected? Check for suggestions

Results
741.	Image from Amazon.com Image from Google Jackets	Formal Methods and Stochastic Models for Performance Evaluation by András Horváth, Miklós Telek 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
742.	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 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
743.	Image from Amazon.com Image from Google Jackets	Formal Methods for Hardware Verification by Marco Bernardo, Alessandro Cimatti 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
744.	Image from Amazon.com Image from Google Jackets	Formal Methods for Open Object-Based Distributed Systems by Roberto Gorrieri, Heike Wehrheim 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
745.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods by Tiziana Margaria, Bernhard Steffen 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
746.	Image from Amazon.com Image from Google Jackets	Methods and Procedures for the Verification and Validation of Artificial Neural Networks by Brian J. Taylor 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
747.	Image from Amazon.com Image from Google Jackets	Relational Methods in Computer Science by Wendy MacCaull, Michael Winter, Ivo Düntsch 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
748.	Image from Amazon.com Image from Google Jackets	Web Services and Formal Methods by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro 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
749.	Image from Amazon.com Image from Google Jackets	Algorithmic Methods for Railway Optimization by Frank Geraets, Leo Kroon, Anita Schoebel, Dorothea Wagner, Christos D. Zaroliagis Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
750.	Image from Amazon.com Image from Google Jackets	Automated Reasoning with Analytic Tableaux and Related Methods by Nicola Olivetti Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
751.	Image from Amazon.com Image from Google Jackets	Computational Methods in Systems Biology by Muffy Calder, Stephen Gilmore Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
752.	Image from Amazon.com Image from Google Jackets	Energy Minimization Methods in Computer Vision and Pattern Recognition by Alan L. Yuille, Song-Chun Zhu, Daniel Cremers, Yongtian Wang Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
753.	Image from Amazon.com Image from Google Jackets	Formal Methods and Hybrid Real-Time Systems by Cliff B. Jones, Zhiming Liu, Jim Woodcock Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
754.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
755.	Image from Amazon.com Image from Google Jackets	Formal Methods and Stochastic Models for Performance Evaluation by Katinka Wolter Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
756.	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 2007 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
757.	Image from Amazon.com Image from Google Jackets	Formal Methods for Open Object-Based Distributed Systems by Marcello M. Bonsangue, Einar Broch Johnsen Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
758.	Image from Amazon.com Image from Google Jackets	Formal Methods for Performance Evaluation by Marco Bernardo, Jane Hillston Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
759.	Image from Amazon.com Image from Google Jackets	Formal Methods: Applications and Technology by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco Pol Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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
760.	Image from Amazon.com Image from Google Jackets	Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design by Michael J. Smith, Gavriel Salvendy Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2007 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