Your search returned 4305 results.

Results
3801.	Image from Amazon.com	Objects, Components, Models and Patterns [electronic resource] : 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings / edited by Manuel Oriol, Bertrand Meyer. by Oriol, Manuel [editor.] Meyer, Bertrand [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 33Publisher: 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)
3802.	Image from Amazon.com	Intelligent Computer Mathematics [electronic resource] : 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings / edited by Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt. by Carette, Jacques [editor.] Dixon, Lucas [editor.] Coen, Claudio Sacerdoti [editor.] Watt, Stephen M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5625Publisher: 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)
3803.	Image from Amazon.com	Software Composition [electronic resource] : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Alexandre Bergel, Johan Fabry. by Bergel, Alexandre [editor.] Fabry, Johan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5634Publisher: 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)
3804.	Image from Amazon.com	Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed [editor.] Maler, Oded [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5643Publisher: 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)
3805.	Image from Amazon.com	Model Driven Architecture - Foundations and Applications [electronic resource] : 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings / edited by Richard F. Paige, Alan Hartman, Arend Rensink. by Paige, Richard F [editor.] Hartman, Alan [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5562Publisher: 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)
3806.	Image from Amazon.com	Autonomic and Trusted Computing [electronic resource] : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009 Proceedings / edited by Juan González Nieto, Wolfgang Reif, Guojun Wang, Jadwiga Indulska. by González Nieto, Juan [editor.] Reif, Wolfgang [editor.] Wang, Guojun [editor.] Indulska, Jadwiga [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5586Publisher: 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)
3807.	Image from Amazon.com	Web Engineering [electronic resource] : 9th International Conference, ICWE 2009 San Sebastián, Spain, June 24-26, 2009 Proceedings / edited by Martin Gaedke, Michael Grossniklaus, Oscar Díaz. by Gaedke, Martin [editor.] Grossniklaus, Michael [editor.] Díaz, Oscar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5648Publisher: 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)
3808.	Image from Amazon.com	RoboCup 2008: Robot Soccer World Cup XII [electronic resource] / edited by Luca Iocchi, Hitoshi Matsubara, Alfredo Weitzenfeld, Changjiu Zhou. by Iocchi, Luca [editor.] Matsubara, Hitoshi [editor.] Weitzenfeld, Alfredo [editor.] Zhou, Changjiu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5399Publisher: 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)
3809.	Image from Amazon.com	Computer Performance Engineering [electronic resource] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings / edited by Jeremy T. Bradley. by Bradley, Jeremy T [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5652Publisher: 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)
3810.	Image from Amazon.com	Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas. by Albers, Susanne [editor.] Marchetti-Spaccamela, Alberto [editor.] Matias, Yossi [editor.] Nikoletseas, Sotiris [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5555Publisher: 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)
3811.	Image from Amazon.com	Automata, Languages and Programming [electronic resource] : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II / edited by Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas. by Albers, Susanne [editor.] Marchetti-Spaccamela, Alberto [editor.] Matias, Yossi [editor.] Nikoletseas, Sotiris [editor.] Thomas, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5556Publisher: 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)
3812.	Image from Amazon.com	Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Catherine Dubois. by Dubois, Catherine [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5668Publisher: 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)
3813.	Image from Amazon.com	Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Olly Gotel, Mathai Joseph, Bertrand Meyer. by Gotel, Olly [editor.] Joseph, Mathai [editor.] Meyer, Bertrand [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 35Publisher: 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)
3814.	Image from Amazon.com	ECOOP 2009 – Object-Oriented Programming [electronic resource] : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings / edited by Sophia Drossopoulou. by Drossopoulou, Sophia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5653Publisher: 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)
3815.	Image from Amazon.com	Domain-Specific Languages [electronic resource] : IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings / edited by Walid Mohamed Taha. by Taha, Walid Mohamed [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5658Publisher: 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)
3816.	Image from Amazon.com	Algorithms and Architectures for Parallel Processing [electronic resource] : 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings / edited by Arrems Hua, Shih-Liang Chang. by Hua, Arrems [editor.] Chang, Shih-Liang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5574Publisher: 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)
3817.	Image from Amazon.com	Language Engineering and Rigorous Software Development [electronic resource] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures / edited by Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto. by Bove, Ana [editor.] Barbosa, Luís Soares [editor.] Pardo, Alberto [editor.] Pinto, Jorge Sousa [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5520Publisher: 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)
3818.	Image from Amazon.com	Static Analysis [electronic resource] : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings / edited by Jens Palsberg, Zhendong Su. by Palsberg, Jens [editor.] Su, Zhendong [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5673Publisher: 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)
3819.	Image from Amazon.com	Formal Methods for Industrial Critical Systems [electronic resource] : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers / edited by Darren Cofer, Alessandro Fantechi. by Cofer, Darren [editor.] Fantechi, Alessandro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5596Publisher: 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)
3820.	Image from Amazon.com	Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / edited by Angelo Oddi, François Fages, Francesca Rossi. by Oddi, Angelo [editor.] Fages, François [editor.] Rossi, Francesca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5655Publisher: 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 4305 results.