Your search returned 4305 results.

Results
961.	Image from Amazon.com	Software Engineering for Experimental Robotics [electronic resource] / edited by Davide Brugali. by Brugali, Davide [editor.] SpringerLink (Online service) Series: Springer Tracts in Advanced Robotics ; 30Publisher: 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)
962.	Image from Amazon.com	Grid Computing [electronic resource] : Experiment Management, Tool Integration, and Scientific Workflows / by Radu Prodan, Thomas Fahringer. by Prodan, Radu [author.] Fahringer, Thomas [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4340Publisher: 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)
963.	Image from Amazon.com	Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers / edited by Thomas Kühne. by Kühne, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4364Publisher: 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)
964.	Image from Amazon.com	SOFSEM 2007: Theory and Practice of Computer Science [electronic resource] : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings / edited by Jan van Leeuwen, Giuseppe F. Italiano, Wiebe van der Hoek, Christoph Meinel, Harald Sack, František Plášil. by Leeuwen, Jan van [editor.] Italiano, Giuseppe F [editor.] Hoek, Wiebe van der [editor.] Meinel, Christoph [editor.] Sack, Harald [editor.] Plášil, František [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4362Publisher: 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)
965.	Image from Amazon.com	Approximation and Online Algorithms [electronic resource] : 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers / edited by Thomas Erlebach, Christos Kaklamanis. by Erlebach, Thomas [editor.] Kaklamanis, Christos [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4368Publisher: 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)
966.	Image from Amazon.com	Interactive Systems. Design, Specification, and Verification [electronic resource] : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers / edited by Gavin Doherty, Ann Blandford. by Doherty, Gavin [editor.] Blandford, Ann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4323Publisher: 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)
967.	Image from Amazon.com	Wireless Sensor Networks [electronic resource] : 4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007. Proceedings / edited by Koen Langendoen, Thiemo Voigt. by Langendoen, Koen [editor.] Voigt, Thiemo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4373Publisher: 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)
968.	Image from Amazon.com	Engineering Self-Organising Systems [electronic resource] : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Sven A. Brueckner, Salima Hassas, Márk Jelasity, Daniel Yamins. by Brueckner, Sven A [editor.] Hassas, Salima [editor.] Jelasity, Márk [editor.] Yamins, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4335Publisher: 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)
969.	Image from Amazon.com	Task Models and Diagrams for Users Interface Design [electronic resource] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers / edited by Karin Coninx, Kris Luyten, Kevin A. Schneider. by Coninx, Karin [editor.] Luyten, Kris [editor.] Schneider, Kevin A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4385Publisher: 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)
970.	Image from Amazon.com	Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli. by Padgham, Lin [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4405Publisher: 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)
971.	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)
972.	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)
973.	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)
974.	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)
975.	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)
976.	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)
977.	Image from Amazon.com	Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings / edited by Rocco De Nicola. by Nicola, Rocco De [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4421Publisher: 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)
978.	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)
979.	Image from Amazon.com	Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 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 Helmut Seidl. by Seidl, Helmut [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4423Publisher: 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)
980.	Image from Amazon.com	Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla. by Puebla, Germán [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4407Publisher: 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)