Your search returned 1142 results.

Results
101.	Image from Amazon.com	Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday / edited by Dieter Hutter, Werner Stephan. by Hutter, Dieter [editor.] Stephan, Werner [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2605Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
102.	Image from Amazon.com	Formal Concept Analysis [electronic resource] : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings / edited by Bernhard Ganter, Robert Godin. by Ganter, Bernhard [editor.] Godin, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3403Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
103.	Image from Amazon.com	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / edited by Franz Baader, Andrei Voronkov. by Baader, Franz [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3452Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
104.	Image from Amazon.com	Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / edited by Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer. by Middeldorp, Aart [editor.] Oostrom, Vincent van [editor.] Raamsdonk, Femke van [editor.] Vrijer, Roel de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3838Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
105.	Image from Amazon.com	Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau. by Beziau, Jean-Yves [editor.] SpringerLink (Online service) Publisher: Basel : Birkhäuser Basel, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
106.	Image from Amazon.com	Coordination of Large-Scale Multiagent Systems [electronic resource] / edited by Paul Scerri, Régis Vincent, Roger Mailler. by Scerri, Paul [editor.] Vincent, Régis [editor.] Mailler, Roger [editor.] SpringerLink (Online service) Publisher: Boston, MA : Springer US, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
107.	Image from Amazon.com	M-Solid Varieties of Algebras [electronic resource] / by J. Koppitz, K. Denecke. by Koppitz, J [author.] Denecke, K [author.] SpringerLink (Online service) Series: Advances in Mathematics ; 10Publisher: Boston, MA : Springer US, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
108.	Image from Amazon.com	Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev. by Gabbay, Dov M [editor.] Goncharov, Sergei S [editor.] Zakharyaschev, Michael [editor.] SpringerLink (Online service) Series: International Mathematical Series ; 4Publisher: New York, NY : Springer New York, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
109.	Image from Amazon.com	Notes on Set Theory [electronic resource] / by Yiannis Moschovakis. by Moschovakis, Yiannis [author.] SpringerLink (Online service) Series: Undergraduate Texts in Mathematics Edition: Second Edition. Publisher: New York, NY : Springer New York, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
110.	Image from Amazon.com	Computation Engineering [electronic resource] : Applied Automata Theory and Logic / by Ganesh Gopalakrishnan. by Gopalakrishnan, Ganesh [author.] SpringerLink (Online service) Publisher: Boston, MA : Springer US, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
111.	Image from Amazon.com	Contributions to the Science of Text and Language [electronic resource] : Word Length Studies and Related Issues / edited by Peter Grzybek. by Grzybek, Peter [editor.] SpringerLink (Online service) Series: Text, Speech and Language Technology ; 31Publisher: Dordrecht : Springer Netherlands, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
112.	Image from Amazon.com	Modern Formal Methods and Applications [electronic resource] / edited by Hossam A. Gabbar. by Gabbar, Hossam A [editor.] SpringerLink (Online service) Publisher: Dordrecht : Springer Netherlands, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
113.	Image from Amazon.com	A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta. by DasGupta, Pallab [author.] SpringerLink (Online service) Publisher: Dordrecht : Springer Netherlands, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
114.	Image from Amazon.com	Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by Mills, Bruce [author.] SpringerLink (Online service) Publisher: London : Springer London, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
115.	Image from Amazon.com	Agent Technology from a Formal Perspective [electronic resource] / edited by Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski, Diana Gordon-Spears. by Rouff, Christopher A [editor.] Hinchey, Michael [editor.] Rash, James [editor.] Truszkowski, Walter [editor.] Gordon-Spears, Diana [editor.] SpringerLink (Online service) Series: NASA Monographs in Systems and Software EngineeringPublisher: London : Springer London, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
116.	Image from Amazon.com	Discrete Mathematics Using a Computer [electronic resource] / by John O’Donnell, Cordelia Hall, Rex Page. by O’Donnell, John [author.] Hall, Cordelia [author.] Page, Rex [author.] SpringerLink (Online service) Edition: 2. Publisher: London : Springer London, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
117.	Image from Amazon.com	Decision Theory and Multi-Agent Planning [electronic resource] / edited by Giacomo Della Riccia, Didier Dubois, Rudolf Kruse, Hanz-Joachim Lenz. by Riccia, Giacomo Della [editor.] Dubois, Didier [editor.] Kruse, Rudolf [editor.] Lenz, Hanz-Joachim [editor.] SpringerLink (Online service) Series: CISM International Centre for Mechanical Sciences, Courses and Lectures ; 482Publisher: Vienna : Springer Vienna, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
118.	Image from Amazon.com	Applications of Membrane Computing [electronic resource] / edited by Gabriel Ciobanu, Gheorghe Păun, Mario J. Pérez-Jiménez. by Ciobanu, Gabriel [editor.] Păun, Gheorghe [editor.] Pérez-Jiménez, Mario J [editor.] SpringerLink (Online service) Series: Natural Computing SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
119.	Image from Amazon.com	Parameterized Complexity Theory [electronic resource] / by Jörg Flum, Martin Grohe. by Flum, Jörg [author.] Grohe, Martin [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science. An EATCS SeriesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
120.	Image from Amazon.com	Fuzzy-Neuro Approach to Agent Applications [electronic resource] : From the AI Perspective to Modern Ontology / by Raymond S. T. Lee. by Lee, Raymond S. T [author.] SpringerLink (Online service) Series: Springer Series in Agent TechnologyPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)