Your search returned 2807 results.

Not what you expected? Check for suggestions

Results
1081.	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
1082.	Image from Amazon.com Image from Google Jackets	Formal Techniques for Distributed Systems by John Hatcliff, Elena Zucca 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
1083.	Image from Amazon.com Image from Google Jackets	Foundations for Efficient Web Service Selection by Qi Yu, Athman Bouguettaya 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
1084.	Image from Amazon.com Image from Google Jackets	Foundations of Computer Software. Future Trends and Techniques for Development by Christine Choppy, Oleg Sokolsky 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
1085.	Image from Amazon.com Image from Google Jackets	Grids and Service-Oriented Architectures for Service Level Agreements by Philipp Wieder, Ramin Yahyapour, Wolfgang Ziegler 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
1086.	Image from Amazon.com Image from Google Jackets	Guide to OCR for Indic Scripts by Venu Govindaraju, Srirangaraj (Ranga) Setlur 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
1087.	Image from Amazon.com Image from Google Jackets	Information Systems for eGovernment by Gianluigi Viscusi, Carlo Batini, Massimo Mecella 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
1088.	Image from Amazon.com Image from Google Jackets	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems by Andrea Lodi, Michela Milano, Paolo Toth 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
1089.	Image from Amazon.com Image from Google Jackets	Intelligence for Nonlinear Dynamics and Synchronisation by Kyandoghere Kyamakya, Abdelhamid Bouchachia, Jean C. Chedjou 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
1090.	Image from Amazon.com Image from Google Jackets	Introduction to Modeling for Biosciences by David J. Barnes, Dominique Chu 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
1091.	Image from Amazon.com Image from Google Jackets	Job Scheduling Strategies for Parallel Processing by Eitan Frachtenberg, Uwe Schwiegelshohn 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
1092.	Image from Amazon.com Image from Google Jackets	Knowledge Management and Acquisition for Smart Systems and Services by Byeong-Ho Kang, Debbie Richards 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
1093.	Image from Amazon.com Image from Google Jackets	Knowledge Representation for Health-Care. Data, Processes and Guidelines by David Riaño, Annette Teije, Silvia Miksch, Mor Peleg 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
1094.	Image from Amazon.com Image from Google Jackets	Languages and Compilers for Parallel Computing by Guang R. Gao, Lori L. Pollock, John Cavazos, Xiaoming Li 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
1095.	Image from Amazon.com Image from Google Jackets	Languages, Methodologies, and Development Tools for Multi-Agent Systems by Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni 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
1096.	Image from Amazon.com Image from Google Jackets	Linking Literature, Information, and Knowledge for Biology by Christian Blaschke, Hagit Shatkay 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
1097.	Image from Amazon.com Image from Google Jackets	Logic for Programming, Artificial Intelligence, and Reasoning by Christian G. Fermüller, Andrei Voronkov 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
1098.	Image from Amazon.com Image from Google Jackets	Logic for Programming, Artificial Intelligence, and Reasoning by Edmund M. Clarke, Andrei Voronkov 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
1099.	Image from Amazon.com Image from Google Jackets	Logical Tools for Handling Change in Agent-Based Systems by Dov M. Gabbay, Karl Schlechta 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
1100.	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