Your search returned 1142 results.

Results
1101.	Image from Amazon.com	Reasoning Web. Semantic Technologies for Information Systems [electronic resource] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures / edited by Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt. by Tessaris, Sergio [editor.] Franconi, Enrico [editor.] Eiter, Thomas [editor.] Gutierrez, Claudio [editor.] Handschuh, Siegfried [editor.] Rousset, Marie-Christine [editor.] Schmidt, Renate A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5689Publisher: 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)
1102.	Image from Amazon.com	Mathematical Foundations of Computer Science 2009 [electronic resource] : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings / edited by Rastislav Královič, Damian Niwiński. by Královič, Rastislav [editor.] Niwiński, Damian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5734Publisher: 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)
1103.	Image from Amazon.com	Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua. by Huang, De-Shuang [editor.] Jo, Kang-Hyun [editor.] Lee, Hong-Hee [editor.] Kang, Hee-Jun [editor.] Bevilacqua, Vitoantonio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5755Publisher: 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)
1104.	Image from Amazon.com	Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / edited by Erich Grädel, Reinhard Kahle. by Grädel, Erich [editor.] Kahle, Reinhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5771Publisher: 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)
1105.	Image from Amazon.com	State of the Art in Computational Morphology [electronic resource] : Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. Proceedings / edited by Cerstin Mahlow, Michael Piotrowski. by Mahlow, Cerstin [editor.] Piotrowski, Michael [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 41Publisher: 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)
1106.	Image from Amazon.com	Semantics and Algebraic Specification [electronic resource] : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday / edited by Jens Palsberg. by Palsberg, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5700Publisher: 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)
1107.	Image from Amazon.com	Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / edited by Silvio Ghilardi, Roberto Sebastiani. by Ghilardi, Silvio [editor.] Sebastiani, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5749Publisher: 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)
1108.	Image from Amazon.com	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub. by Erdem, Esra [editor.] Lin, Fangzhen [editor.] Schaub, Torsten [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5753Publisher: 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)
1109.	Image from Amazon.com	Principles and Practice of Constraint Programming - CP 2009 [electronic resource] : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings / edited by Ian P. Gent. by Gent, Ian P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5732Publisher: 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)
1110.	Image from Amazon.com	Scalable Uncertainty Management [electronic resource] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings / edited by Lluís Godo, Andrea Pugliese. by Godo, Lluís [editor.] Pugliese, Andrea [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5785Publisher: 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)
1111.	Image from Amazon.com	Algorithmic Decision Theory [electronic resource] : First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings / edited by Francesca Rossi, Alexis Tsoukias. by Rossi, Francesca [editor.] Tsoukias, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5783Publisher: 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)
1112.	Image from Amazon.com	KI 2009: Advances in Artificial Intelligence [electronic resource] : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings / edited by Bärbel Mertsching, Marcus Hund, Zaheer Aziz. by Mertsching, Bärbel [editor.] Hund, Marcus [editor.] Aziz, Zaheer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5803Publisher: 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)
1113.	Image from Amazon.com	Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings / edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller. by Berghammer, Rudolf [editor.] Jaoua, Ali Mohamed [editor.] Möller, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5827Publisher: 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)
1114.	Image from Amazon.com	Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures / edited by Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra. by Koopman, Pieter [editor.] Plasmeijer, Rinus [editor.] Swierstra, Doaitse [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5832Publisher: 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)
1115.	Image from Amazon.com	Aspects of Natural Language Processing [electronic resource] : Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday / edited by Małgorzata Marciniak, Agnieszka Mykowiecka. by Marciniak, Małgorzata [editor.] Mykowiecka, Agnieszka [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5070Publisher: 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)
1116.	Image from Amazon.com	Automated Technology for Verification and Analysis [electronic resource] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings / edited by Zhiming Liu, Anders P. Ravn. by Liu, Zhiming [editor.] Ravn, Anders P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5799Publisher: 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)
1117.	Image from Amazon.com	Modeling Decisions for Artificial Intelligence [electronic resource] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Masahiro Inuiguchi. by Torra, Vicenç [editor.] Narukawa, Yasuo [editor.] Inuiguchi, Masahiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5861Publisher: 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)
1118.	Image from Amazon.com	Transactions on Petri Nets and Other Models of Concurrency III [electronic resource] / edited by Kurt Jensen, Jonathan Billington, Maciej Koutny. by Jensen, Kurt [editor.] Billington, Jonathan [editor.] Koutny, Maciej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5800Publisher: 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)
1119.	Image from Amazon.com	Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / edited by Xiangdong He, John Horty, Eric Pacuit. by He, Xiangdong [editor.] Horty, John [editor.] Pacuit, Eric [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5834Publisher: 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)
1120.	Image from Amazon.com	Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Jeremy Gibbons, José Nuno Oliveira. by Gibbons, Jeremy [editor.] Oliveira, José Nuno [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5846Publisher: 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)