Browse Results

Showing 55,226 through 55,250 of 62,186 results
Title Author ISBN Copyright Features Action
50 Schlüsselideen Kunst 2861420 Susie Hodge 9783642393280 2014
Deictic Imaginings: Semiosis At Work And At Play (Studies in Applied Philosophy, Epistemology and Rational Ethics #11) 2861437 Donna E West 9783642394430 2014
The Abel Prize 2008-2012 (The Abel Prize) 2861439 Helge Holden Ragni Piene 9783642394492 2014 Contains images
Artificial General Intelligence: 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings (Lecture Notes in Computer Science #7999) 4753768 Kai-Uwe Kühnberger Sebastian Rudolph Pei Wang 9783642395215 2013
Hardware and Software: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers (Lecture Notes in Computer Science #7857) 4697955 Armin Biere Amir Nahir Tanja Vos 9783642396113 2013
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings (Lecture Notes in Computer Science #8088) 4675003 Walter Binder Eric Bodden Welf Löwe 9783642396144 2013
Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Lecture Notes in Computer Science #7998) 4759069 Sandrine Blazy Christine Paulin-Mohring David Pichardie 9783642396342 2013
Reasoning Web. Semantic Technologies for Intelligent Data Access: 9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings (Lecture Notes in Computer Science #8067) 4747059 Sebastian Rudolph Georg Gottlob Ian Horrocks Frank Van Harmelen 9783642397844 2013
The History of Theoretical, Material and Computational Mechanics - Mathematics Meets Mechanics and Engineering: Mathematics Meets Mechanics And Engineering (Lecture Notes in Applied Mathematics and Mechanics #1) 2861541 Erwin Stein 9783642399053 2014
New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7856) 4179685 Yoichi Motomura Alastair Butler Daisuke Bekki 9783642399312 2013
Gesammelte Abhandlungen - Collected Papers (Springer Collected Works in Mathematics) 5938233 Emmy Noether 9783642399909 1983
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Lecture Notes in Computer Science #8071) 4813459 Leonid Libkin Ulrich Kohlenbach Ruy De Queiroz 9783642399923 2013
Formal Grammar: 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings (Lecture Notes in Computer Science #8036) 4626079 Glyn Morrill Mark-Jan Nederhof 9783642399985 2013
Methodological Cognitivism: Vol. 2: Cognition, Science, and Innovation 4831625 Riccardo Viale 9783642402166 2013 Contains images
Carl Adam Petri: Eine Biographie 2861651 Einar Smith 9783642402227 2014 Contains images
Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings (Lecture Notes in Computer Science #8087) 4743397 Krishnendu Chatterjee Jirí Sgall 9783642403132 2013
The Beauty of Functional Code: Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday (Lecture Notes in Computer Science #8106) 4658174 Peter Achten Pieter Koopman 9783642403552 2013
Legal Regulation of Corporate Social Responsibility: A Meta-Regulation Approach of Law for Raising CSR in a Weak Economy (CSR, Sustainability, Ethics & Governance) 4618942 Mia Mahmudur Rahim 9783642404009 2013 Contains images
CSR und Wertecockpits: Mess- und Steuerungssysteme der Unternehmenskultur (Management-Reihe Corporate Social Responsibility) 5785858 Friedrich Glauner 9783642404368 2013 Contains images
Trends in Functional Programming: 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers (Lecture Notes in Computer Science #7829) 4754026 Hans-Wolfgang Loidl Ricardo Peña 9783642404474 2013
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings (Lecture Notes in Computer Science #8123) 4720421 Didier Galmiche Dominique Larchey-Wendling 9783642405372 2013
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Lecture Notes in Computer Science #8137) 4705978 Robert M. Hierons Mercedes G. Merayo Mario Bravetti 9783642405617 2013
Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings (Lecture Notes in Computer Science #8148) 4675127 Pedro Cabalar Tran Cao Son 9783642405648 2013
Combinatorics on Words: 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings (Lecture Notes in Computer Science #8079) 4790241 Juhani Karhumäki Arto Lepistö Luca Zamboni 9783642405792 2013
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science #7866) 4760062 Elena Giachino Reiner Hähnle Frank S. De Boer Marcello M. Bonsangue 9783642406157 2013

Refine Search

Showing 55,226 through 55,250 of 62,186 results