Your search returned 1106 results.

Not what you expected? Check for suggestions

Results
801.	Image from Amazon.com Image from Google Jackets	Teaching Formal Methods by Jeremy Gibbons, José Nuno Oliveira Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2009 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
802.	Image from Amazon.com Image from Google Jackets	Web Services and Formal Methods by Roberto Bruni, Karsten Wolf Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2009 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
803.	Image from Amazon.com Image from Google Jackets	Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems by Udo Bartlang 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
804.	Image from Amazon.com Image from Google Jackets	Computational Intelligence Methods for Bioinformatics and Biostatistics by Francesco Masulli, Leif E. Peterson, Roberto Tagliaferri 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
805.	Image from Amazon.com Image from Google Jackets	Computational Methods in Biometric Authentication by Michael E. Schuckers 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
806.	Image from Amazon.com Image from Google Jackets	Design and Simulation of Spectrum Management Methods for Wireless Local Area Networks by Andreas Könsgen 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
807.	Image from Amazon.com Image from Google Jackets	Empirical Methods in Natural Language Generation by Emiel Krahmer, Mariët Theune 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
808.	Image from Amazon.com Image from Google Jackets	Experimental Methods for the Analysis of Optimization Algorithms by Thomas Bartz-Beielstein, Marco Chiarandini, Luís Paquete, Mike Preuss 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
809.	Image from Amazon.com Image from Google Jackets	Finite-State Methods and Natural Language Processing by Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson 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
810.	Image from Amazon.com Image from Google Jackets	Formal Methods and Software Engineering by Jin Song Dong, Huibiao Zhu 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
811.	Image from Amazon.com Image from Google Jackets	Formal Methods for Components and Objects by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel 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
812.	Image from Amazon.com Image from Google Jackets	Formal Methods for Industrial Critical Systems by Stefan Kowalewski, Marco Roveri 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
813.	Image from Amazon.com Image from Google Jackets	Formal Methods for Quantitative Aspects of Programming Languages by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky 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
814.	Image from Amazon.com Image from Google Jackets	Formal Methods: State of the Art and New Directions by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi 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
815.	Image from Amazon.com Image from Google Jackets	Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann 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
816.	Image from Amazon.com Image from Google Jackets	Integrated Formal Methods by Dominique Méry, Stephan Merz 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
817.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods, Verification, and Validation by Tiziana Margaria, Bernhard Steffen 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
818.	Image from Amazon.com Image from Google Jackets	Leveraging Applications of Formal Methods, Verification, and Validation by Tiziana Margaria, Bernhard Steffen 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
819.	Image from Amazon.com Image from Google Jackets	Linguistic Values Based Intelligent Information Processing: Theory, Methods, and Applications by Zheng Pei, Da Ruan, Jun Liu, Yang Xu 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
820.	Image from Amazon.com Image from Google Jackets	Mathematical Methods for Curves and Surfaces by Morten Dæhlen, Michael Floater, Tom Lyche, Jean-Louis Merrien, Knut Mørken, Larry L. Schumaker 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