Your search returned 1142 results.

Results
1041.	Image from Amazon.com	Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók. by Horváth, Zoltán [editor.] Plasmeijer, Rinus [editor.] Zsók, Viktória [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6299Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1042.	Image from Amazon.com	Mathematical Logic [electronic resource] : Foundations for Information Science / by Wei Li. by Li, Wei [author.] SpringerLink (Online service) Series: Progress in Computer Science and Applied Logic (PCS) ; 25Publisher: Basel : Birkhäuser Basel, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1043.	Image from Amazon.com	Natural Deduction, Hybrid Systems and Modal Logics [electronic resource] / by Andrzej Indrzejczak. by Indrzejczak, Andrzej [author.] SpringerLink (Online service) Series: Trends in Logic ; 30Publisher: Dordrecht : Springer Netherlands, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1044.	Image from Amazon.com	The q-theory of Finite Semigroups [electronic resource] / by John Rhodes, Benjamin Steinberg. by Rhodes, John [author.] Steinberg, Benjamin [author.] SpringerLink (Online service) Series: Springer Monographs in MathematicsPublisher: Boston, MA : Springer US, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1045.	Image from Amazon.com	Argumentation in Artificial Intelligence [electronic resource] / edited by Guillermo Simari, Iyad Rahwan. by Simari, Guillermo [editor.] Rahwan, Iyad [editor.] SpringerLink (Online service) Edition: First. Publisher: Boston, MA : Springer US, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1046.	Image from Amazon.com	Games: Unifying Logic, Language, and Philosophy [electronic resource] / edited by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo. by Majer, Ondrej [editor.] Pietarinen, Ahti-Veikko [editor.] Tulenheimo, Tero [editor.] SpringerLink (Online service) Series: Logic, Epistemology, and the Unity of Science ; 15Publisher: Dordrecht : Springer Netherlands, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1047.	Image from Amazon.com	Fundamental Problems in Computing [electronic resource] : Essays in Honor of Professor Daniel J. Rosenkrantz / edited by S. S. Ravi, Sandeep K. Shukla. by Ravi, S. S [editor.] Shukla, Sandeep K [editor.] SpringerLink (Online service) Publisher: Dordrecht : Springer Netherlands, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1048.	Image from Amazon.com	Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach / by Paulo Tabuada. by Tabuada, Paulo [author.] SpringerLink (Online service) Publisher: Boston, MA : Springer US, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1049.	Image from Amazon.com	A Course in Formal Languages, Automata and Groups [electronic resource] / by Ian M. Chiswell. by Chiswell, Ian M [author.] SpringerLink (Online service) Series: UniversitextPublisher: London : Springer London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1050.	Image from Amazon.com	Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi. by Crespi Reghizzi, Stefano [author.] SpringerLink (Online service) Series: Texts in Computer SciencePublisher: London : Springer London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1051.	Image from Amazon.com	Computable Models [electronic resource] / by Raymond Turner. by Turner, Raymond [author.] SpringerLink (Online service) Publisher: London : Springer London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1052.	Image from Amazon.com	Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog. by Apt, Krzysztof R [author.] Boer, Frank S. de [author.] Olderog, Ernst-Rüdiger [author.] SpringerLink (Online service) Series: Texts in Computer SciencePublisher: London : Springer London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1053.	Image from Amazon.com	Neural-Symbolic Cognitive Reasoning [electronic resource] / by Artur S. d’Avila Garcez, Luís C. Lamb, Dov M. Gabbay. by d’Avila Garcez, Artur S [author.] Lamb, Luís C [author.] Gabbay, Dov M [author.] SpringerLink (Online service) Series: Cognitive TechnologiesPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1054.	Image from Amazon.com	Pattern Calculus [electronic resource] : Computing with Functions and Structures / by Barry Jay. by Jay, Barry [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1055.	Image from Amazon.com	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5407Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1056.	Image from Amazon.com	Logic and Its Applications [electronic resource] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings / edited by R. Ramanujam, Sundar Sarukkai. by Ramanujam, R [editor.] Sarukkai, Sundar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5378Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1057.	Image from Amazon.com	Membrane Computing [electronic resource] : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers / edited by David Wolfe Corne, Pierluigi Frisco, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa. by Corne, David Wolfe [editor.] Frisco, Pierluigi [editor.] Păun, Gheorghe [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5391Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1058.	Image from Amazon.com	Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by Doron A. Peled, Michael J. Wooldridge. by Peled, Doron A [editor.] Wooldridge, Michael J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5348Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1059.	Image from Amazon.com	Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / edited by Michael Hanus. by Hanus, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5438Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1060.	Image from Amazon.com	Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Luca de Alfaro. by Alfaro, Luca de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5504Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)