Your search returned 73 results.

Not what you expected? Check for suggestions

Results
41.	Image from Amazon.com Image from Google Jackets	Automated Reasoning by Jürgen Giesl, Reiner Hähnle 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
42.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Ahmed Bouajjani, Wei-Ngan Chin 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
43.	Image from Amazon.com Image from Google Jackets	Intelligent Data Engineering and Automated Learning – IDEAL 2010 by Colin Fyfe, Peter Tino, Darryl Charles, Cesar Garcia-Osorio, Hujun Yin 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
44.	Image from Amazon.com Image from Google Jackets	Automated Deduction – CADE-23 by Nikolaj Bjørner, Viorica Sofronie-Stokkermans 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
45.	Image from Amazon.com Image from Google Jackets	Automated Deduction in Geometry by Thomas Sturm, Christoph Zengler 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
46.	Image from Amazon.com Image from Google Jackets	Automated Deduction in Geometry by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert 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
47.	Image from Amazon.com Image from Google Jackets	Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security by Alessandro Armando, Gavin Lowe 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
48.	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
49.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Tevfik Bultan, Pao-Ann Hsiung 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
50.	Image from Amazon.com Image from Google Jackets	Intelligent Data Engineering and Automated Learning - IDEAL 2011 by Hujun Yin, Wenjia Wang, Victor Rayward-Smith 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
51.	Image from Amazon.com Image from Google Jackets	Automated Configuration Problem Solving by Charles J. Petrie Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 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
52.	Image from Amazon.com Image from Google Jackets	Automated Reasoning by Bernhard Gramlich, Dale Miller, Uli Sattler Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 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
53.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Supratik Chakraborty, Madhavan Mukund Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 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
54.	Image from Amazon.com Image from Google Jackets	Intelligent Data Engineering and Automated Learning - IDEAL 2012 by Hujun Yin, José A. F. Costa, Guilherme Barreto Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2012 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
55.	Image from Amazon.com Image from Google Jackets	Automated Deduction – CADE-24 by Maria Paola Bonacina Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 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
56.	Image from Amazon.com Image from Google Jackets	Automated Deduction in Geometry by Tetsuo Ida, Jacques Fleuriot Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 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
57.	Image from Amazon.com Image from Google Jackets	Automated Reasoning and Mathematics by Maria Paola Bonacina, Mark E. Stickel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 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
58.	Image from Amazon.com Image from Google Jackets	Automated Reasoning with Analytic Tableaux and Related Methods by Didier Galmiche, Dominique Larchey-Wendling Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 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
59.	Image from Amazon.com Image from Google Jackets	Automated Security Management by Ehab Al-Shaer, Xinming Ou, Geoffrey Xie Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 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
60.	Image from Amazon.com Image from Google Jackets	Automated Technology for Verification and Analysis by Dang Hung, Mizuhito Ogawa Material type: Text; Format: print ; Literary form: Not fiction Publication details: Germany Springer 2013 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