Your search returned 1142 results.

Results
701.	Image from Amazon.com	Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by Duchier, Denys [editor.] Parmentier, Yannick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8114Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
702.	Image from Amazon.com	Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by Hinze, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8241Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
703.	Image from Amazon.com	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] Middeldorp, Aart [editor.] Voronkov, Andrei [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8312Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
704.	Image from Amazon.com	Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers / edited by Thierry Lecroq, Laurent Mouchard. by Lecroq, Thierry [editor.] Mouchard, Laurent [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8288Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
705.	Image from Amazon.com	Teoria degli Automi Finiti [electronic resource] / by Aldo de Luca, Flavio D’Alessandro. by Luca, Aldo de [author.] D’Alessandro, Flavio [author.] SpringerLink (Online service) Series: UNITEXT ; 68Publisher: Milano : Springer Milan : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
706.	Image from Amazon.com	Paraconsistency: Logic and Applications [electronic resource] / edited by Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli. by Tanaka, Koji [editor.] Berto, Francesco [editor.] Mares, Edwin [editor.] Paoli, Francesco [editor.] SpringerLink (Online service) Series: Logic, Epistemology, and the Unity of Science ; 26Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
707.	Image from Amazon.com	Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements [electronic resource] / by Lutz Geldsetzer, Richard L. Schwartz. by Geldsetzer, Lutz [author.] Schwartz, Richard L [author.] SpringerLink (Online service) Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
708.	Image from Amazon.com	Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method [electronic resource] / by Carlo Cellucci. by Cellucci, Carlo [author.] SpringerLink (Online service) Series: Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social Sciences ; 1Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
709.	Image from Amazon.com	The Argument of Mathematics [electronic resource] / edited by Andrew Aberdein, Ian J Dove. by Aberdein, Andrew [editor.] Dove, Ian J [editor.] SpringerLink (Online service) Series: Logic, Epistemology, and the Unity of Science ; 30Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
710.	Image from Amazon.com	Logics in Computer Science [electronic resource] : A Study on Extensions of Temporal and Strategic Logics / by Fabio Mogavero. by Mogavero, Fabio [author.] SpringerLink (Online service) Series: Atlantis Studies in Computing ; 3Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
711.	Image from Amazon.com	Sets, Logic and Maths for Computing [electronic resource] / by David Makinson. by Makinson, David [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Edition: 2nd ed. 2012. Publisher: London : Springer London, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
712.	Image from Amazon.com	A Proof Theory for Description Logics [electronic resource] / by Alexandre Rademaker. by Rademaker, Alexandre [author.] SpringerLink (Online service) Series: SpringerBriefs in Computer SciencePublisher: London : Springer London : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
713.	Image from Amazon.com	Mathematical Logic for Computer Science [electronic resource] / by Mordechai Ben-Ari. by Ben-Ari, Mordechai [author.] SpringerLink (Online service) Edition: 3rd ed. 2012. Publisher: London : Springer London : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
714.	Image from Amazon.com	Grammars for Language and Genes [electronic resource] : Theoretical and Empirical Investigations / by David Chiang. by Chiang, David [author.] SpringerLink (Online service) Series: Theory and Applications of Natural Language ProcessingPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
715.	Image from Amazon.com	The NCL Natural Constraint Language [electronic resource] / by Jianyang Zhou. by Zhou, Jianyang [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
716.	Image from Amazon.com	Ontology Engineering in a Networked World [electronic resource] / edited by Mari Carmen Suárez-Figueroa, Asunción Gómez-Pérez, Enrico Motta, Aldo Gangemi. by Suárez-Figueroa, Mari Carmen [editor.] Gómez-Pérez, Asunción [editor.] Motta, Enrico [editor.] Gangemi, Aldo [editor.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
717.	Image from Amazon.com	Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand [editor.] Nordio, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7007Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
718.	Image from Amazon.com	Incomplete Information System and Rough Set Theory [electronic resource] : Models and Attribute Reductions / by Xibei Yang, Jingyu Yang. by Yang, Xibei [author.] Yang, Jingyu [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
719.	Image from Amazon.com	Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / edited by Luís Soares Barbosa, Markus Lumpe. by Barbosa, Luís Soares [editor.] Lumpe, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6921Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
720.	Image from Amazon.com	Computing with Words [electronic resource] : Principal Concepts and Ideas / by Lotfi A. Zadeh. by Zadeh, Lotfi A [author.] SpringerLink (Online service) Series: Studies in Fuzziness and Soft Computing ; 277Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)