Your search returned 3663 results.

Results
1961.	Image from Amazon.com	Distributed Computing [electronic resource] : 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings / edited by Idit Keidar. by Keidar, Idit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5805Publisher: 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)
1962.	Image from Amazon.com	Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings / edited by Joël Ouaknine, Frits W. Vaandrager. by Ouaknine, Joël [editor.] Vaandrager, Frits W [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5813Publisher: 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)
1963.	Image from Amazon.com	Model Driven Engineering Languages and Systems [electronic resource] : 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings / edited by Andy Schürr, Bran Selic. by Schürr, Andy [editor.] Selic, Bran [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5795Publisher: 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)
1964.	Image from Amazon.com	Computer Safety, Reliability, and Security [electronic resource] : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings / edited by Bettina Buth, Gerd Rabe, Till Seyfarth. by Buth, Bettina [editor.] Rabe, Gerd [editor.] Seyfarth, Till [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5775Publisher: 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)
1965.	Image from Amazon.com	Formal Methods for Industrial Critical Systems [electronic resource] : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings / edited by María Alpuente, Byron Cook, Christophe Joubert. by Alpuente, María [editor.] Cook, Byron [editor.] Joubert, Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5825Publisher: 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)
1966.	Image from Amazon.com	Job Scheduling Strategies for Parallel Processing [electronic resource] : 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn. by Frachtenberg, Eitan [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5798Publisher: 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)
1967.	Image from Amazon.com	Runtime Verification [electronic resource] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers / edited by Saddek Bensalem, Doron A. Peled. by Bensalem, Saddek [editor.] Peled, Doron A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5779Publisher: 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)
1968.	Image from Amazon.com	Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Alberto H. F. Laender, Silvana Castano, Umeshwar Dayal, Fabio Casati, José Palazzo M. de Oliveira. by Laender, Alberto H. F [editor.] Castano, Silvana [editor.] Dayal, Umeshwar [editor.] Casati, Fabio [editor.] Oliveira, José Palazzo M. de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5829Publisher: 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)
1969.	Image from Amazon.com	Advances in Information and Computer Security [electronic resource] : 4th International Workshop on Security, IWSEC 2009 Toyama, Japan, October 28-30, 2009 Proceedings / edited by Tsuyoshi Takagi, Masahiro Mambo. by Takagi, Tsuyoshi [editor.] Mambo, Masahiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5824Publisher: 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)
1970.	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)
1971.	Image from Amazon.com	Advances in Conceptual Modeling - Challenging Perspectives [electronic resource] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Carlos Alberto Heuser, Günther Pernul. by Heuser, Carlos Alberto [editor.] Pernul, Günther [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5833Publisher: 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)
1972.	Image from Amazon.com	Testing of Software and Communication Systems [electronic resource] : 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings / edited by Manuel Núñez, Paul Baker, Mercedes G. Merayo. by Núñez, Manuel [editor.] Baker, Paul [editor.] Merayo, Mercedes G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5826Publisher: 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)
1973.	Image from Amazon.com	FM 2009: Formal Methods [electronic resource] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings / edited by Ana Cavalcanti, Dennis R. Dams. by Cavalcanti, Ana [editor.] Dams, Dennis R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5850Publisher: 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)
1974.	Image from Amazon.com	Software and Data Technologies [electronic resource] : Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers / edited by José Cordeiro, Boris Shishkov, AlpeshKumar Ranchordas, Markus Helfert. by Cordeiro, José [editor.] Shishkov, Boris [editor.] Ranchordas, AlpeshKumar [editor.] Helfert, Markus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 47Publisher: 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)
1975.	Image from Amazon.com	Software Process and Product Measurement [electronic resource] : International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009. Proceedings / edited by Alain Abran, René Braungarten, Reiner R. Dumke, Juan J. Cuadrado-Gallego, Jacob Brunekreef. by Abran, Alain [editor.] Braungarten, René [editor.] Dumke, Reiner R [editor.] Cuadrado-Gallego, Juan J [editor.] Brunekreef, Jacob [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5891Publisher: 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)
1976.	Image from Amazon.com	Engineering Societies in the Agents World X [electronic resource] : 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings / edited by Huib Aldewereld, Virginia Dignum, Gauthier Picard. by Aldewereld, Huib [editor.] Dignum, Virginia [editor.] Picard, Gauthier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5881Publisher: 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)
1977.	Image from Amazon.com	Advances in Communication and Networking [electronic resource] : Second International Conference on Future Generation Communication and Networking, FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Laurence T. Yang, Jong Hyuk Park, Alan Chin-Chen Chang, Thanos Vasilakos, Sang-Soo Yeo. by Kim, Tai-hoon [editor.] Yang, Laurence T [editor.] Park, Jong Hyuk [editor.] Chang, Alan Chin-Chen [editor.] Vasilakos, Thanos [editor.] Yeo, Sang-Soo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 27Publisher: 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)
1978.	Image from Amazon.com	Advances in Computational Science and Engineering [electronic resource] : Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Laurence T. Yang, Jong Hyuk Park, Alan Chin-Chen Chang, Thanos Vasilakos, Yan Zhang, Damien Sauveron, Xingang Wang, Young-Sik Jeong. by Kim, Tai-hoon [editor.] Yang, Laurence T [editor.] Park, Jong Hyuk [editor.] Chang, Alan Chin-Chen [editor.] Vasilakos, Thanos [editor.] Zhang, Yan [editor.] Sauveron, Damien [editor.] Wang, Xingang [editor.] Jeong, Young-Sik [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 28Publisher: 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)
1979.	Image from Amazon.com	Advances in Software Engineering [electronic resource] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett. by Kim, Tai-hoon [editor.] Fang, Wai-Chi [editor.] Lee, Changhoon [editor.] Arnett, Kirk P [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 30Publisher: 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)
1980.	Image from Amazon.com	Architecting Dependable Systems VI [electronic resource] / edited by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice ter Beek. by Lemos, Rogério de [editor.] Fabre, Jean-Charles [editor.] Gacek, Cristina [editor.] Gadducci, Fabio [editor.] Beek, Maurice ter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5835Publisher: 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)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Titles

Your search returned 3663 results.