Your search returned 1142 results.

Results
961.	Image from Amazon.com	Methods of Cut-Elimination [electronic resource] / by Alexander Leitsch, Matthias Baaz. by Leitsch, Alexander [author.] Baaz, Matthias [author.] SpringerLink (Online service) Series: Trends in Logic ; 34Publisher: Dordrecht : Springer Netherlands, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
962.	Image from Amazon.com	Interpreted Languages and Compositionality [electronic resource] / by Marcus Kracht. by Kracht, Marcus [author.] SpringerLink (Online service) Series: Studies in Linguistics and Philosophy ; 89Publisher: Dordrecht : Springer Netherlands, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
963.	Image from Amazon.com	The Pillars of Computation Theory [electronic resource] : State, Encoding, Nondeterminism / by Arnold L. Rosenberg. by Rosenberg, Arnold L [author.] SpringerLink (Online service) Series: Universitext Edition: First. Publisher: New York, NY : Springer New York, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
964.	Image from Amazon.com	Data Mining and Knowledge Discovery via Logic-Based Methods [electronic resource] : Theory, Algorithms, and Applications / by Evangelos Triantaphyllou. by Triantaphyllou, Evangelos [author.] SpringerLink (Online service) Series: Springer Optimization and Its Applications ; 43Publisher: Boston, MA : Springer US, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
965.	Image from Amazon.com	Specification and Verification of Multi-agent Systems [electronic resource] / edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. by Dastani, Mehdi [editor.] Hindriks, Koen V [editor.] Meyer, John-Jules Charles [editor.] SpringerLink (Online service) Publisher: Boston, MA : Springer US, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
966.	Image from Amazon.com	Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul [editor.] Bowen, Jonathan P [editor.] Siddiqi, Jawed [editor.] SpringerLink (Online service) Publisher: London : Springer London : Imprint: Springer, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
967.	Image from Amazon.com	Ernst Zermelo - Collected Works/Gesammelte Werke [electronic resource] : Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia / by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori. by Zermelo, Ernst [author.] Ebbinghaus, Heinz-Dieter [editor.] Fraser, Craig G [editor.] Kanamori, Akihiro [editor.] SpringerLink (Online service) Series: Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21Publisher: 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)
968.	Image from Amazon.com	Logical Tools for Handling Change in Agent-Based Systems [electronic resource] / by Dov M. Gabbay, Karl Schlechta. by Gabbay, Dov M [author.] Schlechta, Karl [author.] SpringerLink (Online service) Series: Cognitive TechnologiesPublisher: 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)
969.	Image from Amazon.com	Discrete, Continuous, and Hybrid Petri Nets [electronic resource] / by René David, Hassane Alla. by David, René [author.] Alla, Hassane [author.] SpringerLink (Online service) Publisher: 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)
970.	Image from Amazon.com	Overview of the PMBOK® Guide [electronic resource] : Short Cuts for PMP® Certification / by Deasún Ó Conchúir. by Conchúir, Deasún Ó [author.] SpringerLink (Online service) Publisher: 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)
971.	Image from Amazon.com	Membrane Computing [electronic resource] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / edited by Gheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa. by Păun, Gheorghe [editor.] Pérez-Jiménez, Mario J [editor.] Riscos-Núñez, Agustín [editor.] Rozenberg, Grzegorz [editor.] Salomaa, Arto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5957Publisher: 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)
972.	Image from Amazon.com	Transactions on Rough Sets XI [electronic resource] / edited by James F. Peters, Andrzej Skowron. by Peters, James F [editor.] Skowron, Andrzej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5946Publisher: 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)
973.	Image from Amazon.com	Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen. by Dams, Dennis [editor.] Hannemann, Ulrich [editor.] Steffen, Martin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5930Publisher: 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)
974.	Image from Amazon.com	Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. by Frappier, Marc [editor.] Glässer, Uwe [editor.] Khurshid, Sarfraz [editor.] Laleau, Régine [editor.] Reeves, Steve [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5977Publisher: 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)
975.	Image from Amazon.com	Foundations of Information and Knowledge Systems [electronic resource] : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings / edited by Sebastian Link, Henri Prade. by Link, Sebastian [editor.] Prade, Henri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5956Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
976.	Image from Amazon.com	Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Infinite Transition Systems / by Gabriele Puppis. by Puppis, Gabriele [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5955Publisher: 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)
977.	Image from Amazon.com	Formal Concept Analysis [electronic resource] : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010. Proceedings / edited by Léonard Kwuida, Barış Sertkaya. by Kwuida, Léonard [editor.] Sertkaya, Barış [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5986Publisher: 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)
978.	Image from Amazon.com	Approaches and Applications of Inductive Programming [electronic resource] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers / edited by Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer. by Schmid, Ute [editor.] Kitzelmann, Emanuel [editor.] Plasmeijer, Rinus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5812Publisher: 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)
979.	Image from Amazon.com	Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Rajiv Gupta. by Gupta, Rajiv [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6011Publisher: 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)
980.	Image from Amazon.com	Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers / edited by Santiago Escobar. by Escobar, Santiago [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5979Publisher: 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)