Your search returned 1359 results.

Results
101.	Image from Amazon.com	Software Engineering for Multi-Agent Systems III [electronic resource] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo [editor.] Garcia, Alessandro [editor.] Lucena, Carlos [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3390Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
102.	Image from Amazon.com	Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / edited by Jens Grabowski, Brian Nielsen. by Grabowski, Jens [editor.] Nielsen, Brian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3395Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
103.	Image from Amazon.com	High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / edited by Michel Daydé, Jack Dongarra, Vicente Hernández, José M. L. M. Palma. by Daydé, Michel [editor.] Dongarra, Jack [editor.] Hernández, Vicente [editor.] Palma, José M. L. M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3402Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
104.	Image from Amazon.com	Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers / edited by Zhiming Liu, Keijiro Araki. by Liu, Zhiming [editor.] Araki, Keijiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3407Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
105.	Image from Amazon.com	Scientific Engineering of Distributed Java Applications [electronic resource] : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / edited by Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky. by Guelfi, Nicolas [editor.] Reggio, Gianna [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3409Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
106.	Image from Amazon.com	Formal Concept Analysis [electronic resource] : Foundations and Applications / edited by Bernhard Ganter, Gerd Stumme, Rudolf Wille. by Ganter, Bernhard [editor.] Stumme, Gerd [editor.] Wille, Rudolf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3626Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
107.	Image from Amazon.com	Engineering Societies in the Agents World V [electronic resource] : 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers / edited by Marie-Pierre Gleizes, Andrea Omicini, Franco Zambonelli. by Gleizes, Marie-Pierre [editor.] Omicini, Andrea [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3451Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
108.	Image from Amazon.com	Engineering Self-Organising Systems [electronic resource] : Methodologies and Applications / edited by Sven A. Brueckner, Giovanna Di Marzo Serugendo, Anthony Karageorgos, Radhika Nagpal. by Brueckner, Sven A [editor.] Marzo Serugendo, Giovanna Di [editor.] Karageorgos, Anthony [editor.] Nagpal, Radhika [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3464Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
109.	Image from Amazon.com	Formal Methods for Components and Objects [electronic resource] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever. by Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] Roever, Willem-Paul de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3657Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
110.	Image from Amazon.com	UbiComp 2005: Ubiquitous Computing [electronic resource] : 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings / edited by Michael Beigl, Stephen Intille, Jun Rekimoto, Hideyuki Tokuda. by Beigl, Michael [editor.] Intille, Stephen [editor.] Rekimoto, Jun [editor.] Tokuda, Hideyuki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3660Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
111.	Image from Amazon.com	Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings / edited by Manfred Morari, Lothar Thiele. by Morari, Manfred [editor.] Thiele, Lothar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3414Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
112.	Image from Amazon.com	Recent Trends in Algebraic Development Techniques [electronic resource] : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers / edited by José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas. by Fiadeiro, José Luiz [editor.] Mosses, Peter D [editor.] Orejas, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3423Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
113.	Image from Amazon.com	Engineering Human Computer Interaction and Interactive Systems [electronic resource] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers / edited by Rémi Bastide, Philippe Palanque, Jörg Roth. by Bastide, Rémi [editor.] Palanque, Philippe [editor.] Roth, Jörg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3425Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
114.	Image from Amazon.com	Systems Aspects in Organic and Pervasive Computing - ARCS 2005 [electronic resource] : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings / edited by Michael Beigl, Paul Lukowicz. by Beigl, Michael [editor.] Lukowicz, Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3432Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
115.	Image from Amazon.com	Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Peled, Doron A [editor.] Tsay, Yih-Kuen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3707Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
116.	Image from Amazon.com	Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development / by Bruno Bouyssounouse, Joseph Sifakis. by Bouyssounouse, Bruno [author.] Sifakis, Joseph [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3436Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
117.	Image from Amazon.com	Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3675Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
118.	Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck. by Halbwachs, Nicolas [editor.] Zuck, Lenore D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3440Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
119.	Image from Amazon.com	Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Vladimiro Sassone. by Sassone, Vladimiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3441Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
120.	Image from Amazon.com	Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Maura Cerioli. by Cerioli, Maura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3442Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)