Your search returned 4305 results.

Results
3381.	Image from Amazon.com	Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / edited by Jan Vitek. by Vitek, Jan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6141Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3382.	Image from Amazon.com	Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings / edited by Gordon Fraser, Angelo Gargantini. by Fraser, Gordon [editor.] Gargantini, Angelo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6143Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3383.	Image from Amazon.com	Mechanisms for Autonomous Management of Networks and Services [electronic resource] : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings / edited by Burkhard Stiller, Filip De Turck. by Stiller, Burkhard [editor.] Turck, Filip De [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6155Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3384.	Image from Amazon.com	Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings / edited by Benoît Baudry, Eric Wohlstadter. by Baudry, Benoît [editor.] Wohlstadter, Eric [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6144Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3385.	Image from Amazon.com	ECOOP 2010 – Object-Oriented Programming [electronic resource] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings / edited by Theo D’Hondt. by D’Hondt, Theo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6183Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3386.	Image from Amazon.com	Euro-Par 2009 – Parallel Processing Workshops [electronic resource] : HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers / edited by Hai-Xiang Lin, Michael Alexander, Martti Forsell, Andreas Knüpfer, Radu Prodan, Leonel Sousa, Achim Streit. by Lin, Hai-Xiang [editor.] Alexander, Michael [editor.] Forsell, Martti [editor.] Knüpfer, Andreas [editor.] Prodan, Radu [editor.] Sousa, Leonel [editor.] Streit, Achim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6043Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3387.	Image from Amazon.com	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. by Abramsky, Samson [editor.] Gavoille, Cyril [editor.] Kirchner, Claude [editor.] Meyer auf der Heide, Friedhelm [editor.] Spirakis, Paul G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6199Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3388.	Image from Amazon.com	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis. by Abramsky, Samson [editor.] Gavoille, Cyril [editor.] Kirchner, Claude [editor.] Meyer auf der Heide, Friedhelm [editor.] Spirakis, Paul G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6198Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3389.	Image from Amazon.com	Recent Trends in Wireless and Mobile Networks [electronic resource] : Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings / edited by Abdulkadir Özcan, Nabendu Chaki, Dhinaharan Nagamalai. by Özcan, Abdulkadir [editor.] Chaki, Nabendu [editor.] Nagamalai, Dhinaharan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 84Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3390.	Image from Amazon.com	Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings / edited by Roel Wieringa, Anne Persson. by Wieringa, Roel [editor.] Persson, Anne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6182Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3391.	Image from Amazon.com	Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu de Jager, Katrin Schulz. by Aloni, Maria [editor.] Bastiaanse, Harald [editor.] Jager, Tikitu de [editor.] Schulz, Katrin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6042Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3392.	Image from Amazon.com	Networked Digital Technologies [electronic resource] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh. by Zavoral, Filip [editor.] Yaghob, Jakub [editor.] Pichappan, Pit [editor.] El-Qawasmeh, Eyas [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 87Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3393.	Image from Amazon.com	Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson. by Touili, Tayssir [editor.] Cook, Byron [editor.] Jackson, Paul [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6174Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3394.	Image from Amazon.com	Networked Digital Technologies [electronic resource] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh. by Zavoral, Filip [editor.] Yaghob, Jakub [editor.] Pichappan, Pit [editor.] El-Qawasmeh, Eyas [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 88Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3395.	Image from Amazon.com	A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli. by Dovier, Agostino [editor.] Pontelli, Enrico [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6125Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3396.	Image from Amazon.com	Exploring Services Science [electronic resource] : First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers / edited by Jean-Henry Morin, Jolita Ralyté, Mehdi Snene. by Morin, Jean-Henry [editor.] Ralyté, Jolita [editor.] Snene, Mehdi [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 53Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3397.	Image from Amazon.com	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook. by Borba, Paulo [editor.] Cavalcanti, Ana [editor.] Sampaio, Augusto [editor.] Woodcook, Jim [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6153Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3398.	Image from Amazon.com	Balanced Automation Systems for Future Manufacturing Networks [electronic resource] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings / edited by Ángel Ortiz, Rubén Darío Franco, Pedro Gómez Gasquet. by Ortiz, Ángel [editor.] Franco, Rubén Darío [editor.] Gasquet, Pedro Gómez [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 322Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3399.	Image from Amazon.com	New Modeling Concepts for Today’s Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer. by Münch, Jürgen [editor.] Yang, Ye [editor.] Schäfer, Wilhelm [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6195Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
3400.	Image from Amazon.com	Advances in Wireless Networks and Information Systems [electronic resource] / edited by Qi Luo. by Luo, Qi [editor.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 72Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010 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.