Your search returned 3663 results.

Results
1241.	Image from Amazon.com	Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / edited by Andy King. by King, Andy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4915Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1242.	Image from Amazon.com	Software Composition [electronic resource] : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings / edited by Cesare Pautasso, Éric Tanter. by Pautasso, Cesare [editor.] Tanter, Éric [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4954Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1243.	Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings / edited by C. R. Ramakrishnan, Jakob Rehof. by Ramakrishnan, C. R [editor.] Rehof, Jakob [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4963Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1244.	Image from Amazon.com	Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Lirkov, Ivan [editor.] Margenov, Svetozar [editor.] Waśniewski, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4818Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1245.	Image from Amazon.com	Formal Methods and Testing [electronic resource] : An Outcome of the FORTEST Network, Revised Selected Papers / edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman. by Hierons, Robert M [editor.] Bowen, Jonathan P [editor.] Harman, Mark [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4949Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1246.	Image from Amazon.com	Coordination, Organizations, Institutions, and Norms in Agent Systems III [electronic resource] : COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers / edited by Jaime Simão Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega. by Sichman, Jaime Simão [editor.] Padget, Julian [editor.] Ossowski, Sascha [editor.] Noriega, Pablo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4870Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1247.	Image from Amazon.com	Tests and Proofs [electronic resource] : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings / edited by Bernhard Beckert, Reiner Hähnle. by Beckert, Bernhard [editor.] Hähnle, Reiner [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4966Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1248.	Image from Amazon.com	The Making of Information Systems [electronic resource] : Software Engineering and Management in a Globalized World / by Karl E. Kurbel. by Kurbel, Karl E [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1249.	Image from Amazon.com	Transactions on Computational Science I [electronic resource] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. by Gavrilova, Marina L [editor.] Tan, C. J. Kenneth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4750Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1250.	Image from Amazon.com	Artificial Evolution [electronic resource] : 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers / edited by Nicolas Monmarché, El-Ghazali Talbi, Pierre Collet, Marc Schoenauer, Evelyne Lutton. by Monmarché, Nicolas [editor.] Talbi, El-Ghazali [editor.] Collet, Pierre [editor.] Schoenauer, Marc [editor.] Lutton, Evelyne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4926Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1251.	Image from Amazon.com	Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham. by Luck, Michael [editor.] Padgham, Lin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4951Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1252.	Image from Amazon.com	Making Globally Distributed Software Development a Success Story [electronic resource] : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings / edited by Qing Wang, Dietmar Pfahl, David M. Raffo. by Wang, Qing [editor.] Pfahl, Dietmar [editor.] Raffo, David M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5007Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1253.	Image from Amazon.com	Ada 2005 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by Barnes, John [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5020Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1254.	Image from Amazon.com	Theory and Applications of Satisfiability Testing – SAT 2008 [electronic resource] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao. by Kleine Büning, Hans [editor.] Zhao, Xishun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4996Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1255.	Image from Amazon.com	Algebraic Methodology and Software Technology [electronic resource] : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings / edited by José Meseguer, Grigore Roşu. by Meseguer, José [editor.] Roşu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5140Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1256.	Image from Amazon.com	Engineering Environment-Mediated Multi-Agent Systems [electronic resource] : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers / edited by Danny Weyns, Sven A. Brueckner, Yves Demazeau. by Weyns, Danny [editor.] Brueckner, Sven A [editor.] Demazeau, Yves [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5049Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1257.	Image from Amazon.com	Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Qingfeng Chen, Chengqi Zhang, Shichao Zhang. by Chen, Qingfeng [author.] Zhang, Chengqi [author.] Zhang, Shichao [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5111Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1258.	Image from Amazon.com	Model Checking Software [electronic resource] : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg. by Havelund, Klaus [editor.] Majumdar, Rupak [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5156Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1259.	Image from Amazon.com	Data Management in Grid and Peer-to-Peer Systems [electronic resource] : First International Conference, Globe 2008, Turin, Italy, September 3, 2008. Proceedings / edited by Abdelkader Hameurlain. by Hameurlain, Abdelkader [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5187Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1260.	Image from Amazon.com	Secure Data Management [electronic resource] : 5th VLDB Workshop, SDM 2008, Auckland, New Zealand, August 24, 2008. Proceedings / edited by Willem Jonker, Milan Petković. by Jonker, Willem [editor.] Petković, Milan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5159Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)