Your search returned 1142 results.

Results
761.	Image from Amazon.com	Controlled Natural Language [electronic resource] : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers / edited by Michael Rosner, Norbert E. Fuchs. by Rosner, Michael [editor.] Fuchs, Norbert E [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7175Publisher: 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)
762.	Image from Amazon.com	Information from Processes [electronic resource] : About the Nature of Information Creation, Use, and Representation / by Robert M. Losee. by Losee, Robert M [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)
763.	Image from Amazon.com	Logical Aspects of Computational Linguistics [electronic resource] : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings / edited by Denis Béchet, Alexander Dikovsky. by Béchet, Denis [editor.] Dikovsky, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7351Publisher: 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)
764.	Image from Amazon.com	Advances in Neural Networks – ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I / edited by Jun Wang, Gary G. Yen, Marios M. Polycarpou. by Wang, Jun [editor.] Yen, Gary G [editor.] Polycarpou, Marios M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7367Publisher: 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)
765.	Image from Amazon.com	Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler. by Gramlich, Bernhard [editor.] Miller, Dale [editor.] Sattler, Uli [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7364Publisher: 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)
766.	Image from Amazon.com	Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. by Jeuring, Johan [editor.] Campbell, John A [editor.] Carette, Jacques [editor.] Reis, Gabriel Dos [editor.] Sojka, Petr [editor.] Wenzel, Makarius [editor.] Sorge, Volker [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7362Publisher: 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)
767.	Image from Amazon.com	Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by P. Madhusudan, Sanjit A. Seshia. by Madhusudan, P [editor.] Seshia, Sanjit A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7358Publisher: 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)
768.	Image from Amazon.com	New Directions in Logic, Language and Computation [electronic resource] : ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers / edited by Daniel Lassiter, Marija Slavkovik. by Lassiter, Daniel [editor.] Slavkovik, Marija [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7415Publisher: 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)
769.	Image from Amazon.com	Logic, Language and Meaning [electronic resource] : 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers / edited by Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit W. Sassoon, Katrin Schulz, Matthijs Westera. by Aloni, Maria [editor.] Kimmelman, Vadim [editor.] Roelofsen, Floris [editor.] Sassoon, Galit W [editor.] Schulz, Katrin [editor.] Westera, Matthijs [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7218Publisher: 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)
770.	Image from Amazon.com	Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko. by Bezhanishvili, Nick [editor.] Goranko, Valentin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7388Publisher: 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)
771.	Image from Amazon.com	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings / edited by Petra Perner. by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7376Publisher: 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)
772.	Image from Amazon.com	The Logic of Categorial Grammars [electronic resource] : A Deductive Account of Natural Language Syntax and Semantics / by Richard Moot, Christian Retoré. by Moot, Richard [author.] Retoré, Christian [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6850Publisher: 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)
773.	Image from Amazon.com	Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings / edited by Thomas Ågotnes, Jan Broersen, Dag Elgesem. by Ågotnes, Thomas [editor.] Broersen, Jan [editor.] Elgesem, Dag [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7393Publisher: 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)
774.	Image from Amazon.com	Implementation and Application of Automata [electronic resource] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings / edited by Nelma Moreira, Rogério Reis. by Moreira, Nelma [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7381Publisher: 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)
775.	Image from Amazon.com	Theory and Applications of Satisfiability Testing – SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani. by Cimatti, Alessandro [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7317Publisher: 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)
776.	Image from Amazon.com	Descriptional Complexity of Formal Systems [electronic resource] : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings / edited by Martin Kutrib, Nelma Moreira, Rogério Reis. by Kutrib, Martin [editor.] Moreira, Nelma [editor.] Reis, Rogério [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7386Publisher: 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)
777.	Image from Amazon.com	Languages Alive [electronic resource] : Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday / edited by Henning Bordihn, Martin Kutrib, Bianca Truthe. by Bordihn, Henning [editor.] Kutrib, Martin [editor.] Truthe, Bianca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7300Publisher: 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)
778.	Image from Amazon.com	Developments in Language Theory [electronic resource] : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings / edited by Hsu-Chun Yen, Oscar H. Ibarra. by Yen, Hsu-Chun [editor.] Ibarra, Oscar H [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7410Publisher: 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)
779.	Image from Amazon.com	Advances on Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] Bouchon-Meunier, Bernadette [editor.] Coletti, Giulianella [editor.] Fedrizzi, Mario [editor.] Matarazzo, Benedetto [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 297Publisher: 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)
780.	Image from Amazon.com	Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II / edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager. by Greco, Salvatore [editor.] Bouchon-Meunier, Bernadette [editor.] Coletti, Giulianella [editor.] Fedrizzi, Mario [editor.] Matarazzo, Benedetto [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 298Publisher: 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)