Your search returned 1142 results.

Results
1061.	Image from Amazon.com	Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / edited by Giovanni Sommaruga. by Sommaruga, Giovanni [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5363Publisher: 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)
1062.	Image from Amazon.com	Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / edited by Peter Bosch, David Gabelaia, Jérôme Lang. by Bosch, Peter [editor.] Gabelaia, David [editor.] Lang, Jérôme [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5422Publisher: 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)
1063.	Image from Amazon.com	Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [electronic resource] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings / edited by Wenjie Li, Diego Mollá-Aliod. by Li, Wenjie [editor.] Mollá-Aliod, Diego [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5459Publisher: 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)
1064.	Image from Amazon.com	Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings / edited by Peter Bruza, Donald Sofge, William Lawless, Keith van Rijsbergen, Matthias Klusch. by Bruza, Peter [editor.] Sofge, Donald [editor.] Lawless, William [editor.] Rijsbergen, Keith van [editor.] Klusch, Matthias [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5494Publisher: 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)
1065.	Image from Amazon.com	Language and Automata Theory and Applications [electronic resource] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / edited by Adrian Horia Dediu, Armand Mihai Ionescu, Carlos Martín-Vide. by Dediu, Adrian Horia [editor.] Ionescu, Armand Mihai [editor.] Martín-Vide, Carlos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5457Publisher: 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)
1066.	Image from Amazon.com	Handbook of Weighted Automata [electronic resource] / edited by Manfred Droste, Werner Kuich, Heiko Vogler. by Droste, Manfred [editor.] Kuich, Werner [editor.] Vogler, Heiko [editor.] 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)
1067.	Image from Amazon.com	Languages: From Formal to Natural [electronic resource] : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday / edited by Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner. by Grumberg, Orna [editor.] Kaminski, Michael [editor.] Katz, Shmuel [editor.] Wintner, Shuly [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5533Publisher: 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)
1068.	Image from Amazon.com	Formal Concept Analysis [electronic resource] : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings / edited by Sébastien Ferré, Sebastian Rudolph. by Ferré, Sébastien [editor.] Rudolph, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5548Publisher: 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)
1069.	Image from Amazon.com	Theory and Applications of Models of Computation [electronic resource] : 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings / edited by Jianer Chen, S. Barry Cooper. by Chen, Jianer [editor.] Cooper, S. Barry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5532Publisher: 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)
1070.	Image from Amazon.com	Graph Theory, Computational Intelligence and Thought [electronic resource] : Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday / edited by Marina Lipshteyn, Vadim E. Levit, Ross M. McConnell. by Lipshteyn, Marina [editor.] Levit, Vadim E [editor.] McConnell, Ross M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5420Publisher: 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)
1071.	Image from Amazon.com	Transactions on Computational Science V [electronic resource] : Special Issue on Cognitive Knowledge Representation / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Keith C. C. Chan. by Gavrilova, Marina L [editor.] Tan, C. J. Kenneth [editor.] Wang, Yingxu [editor.] Chan, Keith C. C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5540Publisher: 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)
1072.	Image from Amazon.com	Logic, Language, Information and Computation [electronic resource] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings / edited by Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz. by Ono, Hiroakira [editor.] Kanazawa, Makoto [editor.] Queiroz, Ruy de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5514Publisher: 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)
1073.	Image from Amazon.com	Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / edited by Pierre-Louis Curien. by Curien, Pierre-Louis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5608Publisher: 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)
1074.	Image from Amazon.com	Fuzzy Logic and Applications [electronic resource] : 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings / edited by Vito Di Gesù, Sankar Kumar Pal, Alfredo Petrosino. by Gesù, Vito Di [editor.] Pal, Sankar Kumar [editor.] Petrosino, Alfredo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5571Publisher: 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)
1075.	Image from Amazon.com	Rewriting Techniques and Applications [electronic resource] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings / edited by Ralf Treinen. by Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5595Publisher: 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)
1076.	Image from Amazon.com	Applications and Theory of Petri Nets [electronic resource] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings / edited by Giuliana Franceschinis, Karsten Wolf. by Franceschinis, Giuliana [editor.] Wolf, Karsten [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5606Publisher: 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)
1077.	Image from Amazon.com	Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro. by Berardi, Stefano [editor.] Damiani, Ferruccio [editor.] de’Liguoro, Ugo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5497Publisher: 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)
1078.	Image from Amazon.com	Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed [editor.] Maler, Oded [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5643Publisher: 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)
1079.	Image from Amazon.com	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings / edited by Martin Giese, Arild Waaler. by Giese, Martin [editor.] Waaler, Arild [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5607Publisher: 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)
1080.	Image from Amazon.com	Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / edited by Michael Fisher, Fariba Sadri, Michael Thielscher. by Fisher, Michael [editor.] Sadri, Fariba [editor.] Thielscher, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5405Publisher: 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)