Your search returned 1359 results.

Results
361.	Image from Amazon.com	Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers / edited by Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol. by Brim, Luboš [editor.] Haverkort, Boudewijn [editor.] Leucker, Martin [editor.] Pol, Jaco van de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4346Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
362.	Image from Amazon.com	Universal Access in Ambient Intelligence Environments [electronic resource] : 9th ERCIM Workshop on User Interfaces for All, Königswinter, Germany, September 27-28, 2006. Revised Papers / edited by Constantine Stephanidis, Michael Pieper. by Stephanidis, Constantine [editor.] Pieper, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4397Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
363.	Image from Amazon.com	Reliable Systems on Unreliable Networked Platforms [electronic resource] : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers / edited by Fabrice Kordon, Janos Sztipanovits. by Kordon, Fabrice [editor.] Sztipanovits, Janos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4322Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
364.	Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Orna Grumberg, Michael Huth. by Grumberg, Orna [editor.] Huth, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4424Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
365.	Image from Amazon.com	Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings / edited by Paul Lukowicz, Lothar Thiele, Gerhard Tröster. by Lukowicz, Paul [editor.] Thiele, Lothar [editor.] Tröster, Gerhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4415Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
366.	Image from Amazon.com	Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Matthew B. Dwyer, Antónia Lopes. by Dwyer, Matthew B [editor.] Lopes, Antónia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4422Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
367.	Image from Amazon.com	Program Analysis and Compilation, Theory and Practice [electronic resource] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / edited by Thomas Reps, Mooly Sagiv, Jörg Bauer. by Reps, Thomas [editor.] Sagiv, Mooly [editor.] Bauer, Jörg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4444Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
368.	Image from Amazon.com	High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel Daydé, José M. L. M. Palma, Álvaro L. G. A. Coutinho, Esther Pacitti, João Correia Lopes. by Daydé, Michel [editor.] Palma, José M. L. M [editor.] Coutinho, Álvaro L. G. A [editor.] Pacitti, Esther [editor.] Lopes, João Correia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4395Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
369.	Image from Amazon.com	Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings / edited by Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo. by Bemporad, Alberto [editor.] Bicchi, Antonio [editor.] Buttazzo, Giorgio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4416Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
370.	Image from Amazon.com	Anti-Spam Measures [electronic resource] : Analysis and Design / by Guido Schryen. by Schryen, Guido [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
371.	Image from Amazon.com	Object-Oriented Technology. ECOOP 2006 Workshop Reader [electronic resource] : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports / edited by Mario Südholt, Charles Consel. by Südholt, Mario [editor.] Consel, Charles [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4379Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
372.	Image from Amazon.com	Model-Driven Architecture in Practice [electronic resource] : A Software Production Environment Based on Conceptual Modeling / by Oscar Pastor, Juan Carlos Molina. by Pastor, Oscar [author.] Molina, Juan Carlos [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
373.	Image from Amazon.com	Rapid Integration of Software Engineering Techniques [electronic resource] : Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers / edited by Nicolas Guelfi, Didier Buchs. by Guelfi, Nicolas [editor.] Buchs, Didier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4401Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
374.	Image from Amazon.com	Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni. by Bordini, Rafael H [editor.] Dastani, Mehdi [editor.] Dix, Jürgen [editor.] Seghrouchni, Amal El Fallah [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4411Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
375.	Image from Amazon.com	Advances in Grid and Pervasive Computing [electronic resource] : Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings / edited by Christophe Cérin, Kuan-Ching Li. by Cérin, Christophe [editor.] Li, Kuan-Ching [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4459Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
376.	Image from Amazon.com	Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston. by Bernardo, Marco [editor.] Hillston, Jane [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4486Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
377.	Image from Amazon.com	Computational Science – ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I / edited by Yong Shi, Geert Dick van Albada, Jack Dongarra, Peter M. A. Sloot. by Shi, Yong [editor.] Albada, Geert Dick van [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4487Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
378.	Image from Amazon.com	Computational Science – ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II / edited by Yong Shi, Geert Dick van Albada, Jack Dongarra, Peter M. A. Sloot. by Shi, Yong [editor.] Albada, Geert Dick van [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4488Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
379.	Image from Amazon.com	Computational Science – ICCS 2007 [electronic resource] : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV / edited by Yong Shi, Geert Dick van Albada, Jack Dongarra, Peter M. A. Sloot. by Shi, Yong [editor.] Albada, Geert Dick van [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4490Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
380.	Image from Amazon.com	The Semantic Web: Research and Applications [electronic resource] : 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. Proceedings / edited by Enrico Franconi, Michael Kifer, Wolfgang May. by Franconi, Enrico [editor.] Kifer, Michael [editor.] May, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4519Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)