Your search returned 1142 results.

Results
1081.	Image from Amazon.com	Developments in Language Theory [electronic resource] : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings / edited by Volker Diekert, Dirk Nowotka. by Diekert, Volker [editor.] Nowotka, Dirk [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5583Publisher: 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)
1082.	Image from Amazon.com	Theory and Applications of Satisfiability Testing - SAT 2009 [electronic resource] : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / edited by Oliver Kullmann. by Kullmann, Oliver [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5584Publisher: 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)
1083.	Image from Amazon.com	Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / edited by Claudio Sossai, Gaetano Chemello. by Sossai, Claudio [editor.] Chemello, Gaetano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5590Publisher: 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)
1084.	Image from Amazon.com	Automated Deduction – CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings / edited by Renate A. Schmidt. by Schmidt, Renate A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5663Publisher: 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)
1085.	Image from Amazon.com	Rough Sets and Knowledge Technology [electronic resource] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings / edited by Peng Wen, Yuefeng Li, Lech Polkowski, Yiyu Yao, Shusaku Tsumoto, Guoyin Wang. by Wen, Peng [editor.] Li, Yuefeng [editor.] Polkowski, Lech [editor.] Yao, Yiyu [editor.] Tsumoto, Shusaku [editor.] Wang, Guoyin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5589Publisher: 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)
1086.	Image from Amazon.com	Implementation and Application of Automata [electronic resource] : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings / edited by Sebastian Maneth. by Maneth, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5642Publisher: 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)
1087.	Image from Amazon.com	Stochastic Coalgebraic Logic [electronic resource] / by Ernst-Erich Doberkat. by Doberkat, Ernst-Erich [author.] SpringerLink (Online service) Series: Monographs in Theoretical Computer Science. An EATCS SeriesPublisher: 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)
1088.	Image from Amazon.com	Case-Based Reasoning Research and Development [electronic resource] : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings / edited by Lorraine McGinty, David C. Wilson. by McGinty, Lorraine [editor.] Wilson, David C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5650Publisher: 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)
1089.	Image from Amazon.com	Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings / edited by Petra Perner. by Perner, Petra [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5632Publisher: 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)
1090.	Image from Amazon.com	Conceptual Structures: Leveraging Semantic Technologies [electronic resource] : 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings / edited by Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov. by Rudolph, Sebastian [editor.] Dau, Frithjof [editor.] Kuznetsov, Sergei O [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5662Publisher: 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)
1091.	Image from Amazon.com	Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe. by Archibald, Margaret [editor.] Brattka, Vasco [editor.] Goranko, Valentin [editor.] Löwe, Benedikt [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5489Publisher: 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)
1092.	Image from Amazon.com	Artificial Intelligence An International Perspective [electronic resource] : An International Perspective / edited by Max Bramer. by Bramer, Max [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5640Publisher: 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)
1093.	Image from Amazon.com	Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su. by Palsberg, Jens [editor.] Su, Zhendong [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5673Publisher: 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)
1094.	Image from Amazon.com	Transactions on Rough Sets X [electronic resource] / edited by James F. Peters, Andrzej Skowron, Marcin Wolski, Mihir K. Chakraborty, Wei-Zhi Wu. by Peters, James F [editor.] Skowron, Andrzej [editor.] Wolski, Marcin [editor.] Chakraborty, Mihir K [editor.] Wu, Wei-Zhi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5656Publisher: 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)
1095.	Image from Amazon.com	Computer Science - Theory and Applications [electronic resource] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings / edited by Anna Frid, Andrey Morozov, Andrey Rybalchenko, Klaus W. Wagner. by Frid, Anna [editor.] Morozov, Andrey [editor.] Rybalchenko, Andrey [editor.] Wagner, Klaus W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5675Publisher: 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)
1096.	Image from Amazon.com	Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. by Berghofer, Stefan [editor.] Nipkow, Tobias [editor.] Urban, Christian [editor.] Wenzel, Makarius [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5674Publisher: 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)
1097.	Image from Amazon.com	Fundamentals of Computation Theory [electronic resource] : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings / edited by Mirosław Kutyłowski, Witold Charatonik, Maciej Gębala. by Kutyłowski, Mirosław [editor.] Charatonik, Witold [editor.] Gębala, Maciej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5699Publisher: 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)
1098.	Image from Amazon.com	Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari. by Corradini, Andrea [editor.] Montanari, Ugo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5486Publisher: 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)
1099.	Image from Amazon.com	Algebraic Informatics [electronic resource] : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings / edited by Symeon Bozapalidis, George Rahonis. by Bozapalidis, Symeon [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5725Publisher: 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)
1100.	Image from Amazon.com	Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki. by Kurz, Alexander [editor.] Lenisa, Marina [editor.] Tarlecki, Andrzej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5728Publisher: 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)