Your search returned 2153 results.

Results
321.	Image from Amazon.com	Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings / edited by Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau. by Gorton, Ian [editor.] Heineman, George T [editor.] Crnković, Ivica [editor.] Schmidt, Heinz W [editor.] Stafford, Judith A [editor.] Szyperski, Clemens [editor.] Wallnau, Kurt [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4063Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
322.	Image from Amazon.com	Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings / edited by Tarmo Uustalu. by Uustalu, Tarmo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4014Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
323.	Image from Amazon.com	ECOOP 2006 – Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings / edited by Dave Thomas. by Thomas, Dave [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4067Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
324.	Image from Amazon.com	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener. by Bugliesi, Michele [editor.] Preneel, Bart [editor.] Sassone, Vladimiro [editor.] Wegener, Ingo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4051Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
325.	Image from Amazon.com	Smart Graphics [electronic resource] : 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006. Proceedings / edited by Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier. by Butz, Andreas [editor.] Fisher, Brian [editor.] Krüger, Antonio [editor.] Olivier, Patrick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4073Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
326.	Image from Amazon.com	Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Sandro Etalle, Mirosław Truszczyński. by Etalle, Sandro [editor.] Truszczyński, Mirosław [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4079Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
327.	Image from Amazon.com	Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever. by Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] Graf, Susanne [editor.] Roever, Willem-Paul de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4111Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
328.	Image from Amazon.com	Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program / edited by Jürg Kohlas, Bertrand Meyer, André Schiper. by Kohlas, Jürg [editor.] Meyer, Bertrand [editor.] Schiper, André [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4028Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
329.	Image from Amazon.com	Wireless Algorithms, Systems, and Applications [electronic resource] : First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings / edited by Xiuzhen Cheng, Wei Li, Taieb Znati. by Cheng, Xiuzhen [editor.] Li, Wei [editor.] Znati, Taieb [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4138Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
330.	Image from Amazon.com	FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev [editor.] Nipkow, Tobias [editor.] Sekerinski, Emil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4085Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
331.	Image from Amazon.com	Computer Aided Verification [electronic resource] : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Thomas Ball, Robert B. Jones. by Ball, Thomas [editor.] Jones, Robert B [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4144Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
332.	Image from Amazon.com	Advanced Topics in Exception Handling Techniques [electronic resource] / edited by Christophe Dony, Jørgen Lindskov Knudsen, Alexander Romanovsky, Anand Tripathi. by Dony, Christophe [editor.] Knudsen, Jørgen Lindskov [editor.] Romanovsky, Alexander [editor.] Tripathi, Anand [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4119Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
333.	Image from Amazon.com	Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / edited by Welf Löwe, Mario Südholt. by Löwe, Welf [editor.] Südholt, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4089Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
334.	Image from Amazon.com	Automotive Software – Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers / edited by Manfred Broy, Ingolf H. Krüger, Michael Meisinger. by Broy, Manfred [editor.] Krüger, Ingolf H [editor.] Meisinger, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4147Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
335.	Image from Amazon.com	Electronic Government [electronic resource] : 5th International Conference, EGOV 2006, Kraków, Poland, September 4-8, 2006. Proceedings / edited by Maria A. Wimmer, Hans J. Scholl, Åke Grönlund, Kim Viborg Andersen. by Wimmer, Maria A [editor.] Scholl, Hans J [editor.] Grönlund, Åke [editor.] Andersen, Kim Viborg [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4084Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
336.	Image from Amazon.com	E-Commerce and Web Technologies [electronic resource] : 7th International Conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006. Proceedings / edited by Kurt Bauknecht, Birgit Pröll, Hannes Werthner. by Bauknecht, Kurt [editor.] Pröll, Birgit [editor.] Werthner, Hannes [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4082Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
337.	Image from Amazon.com	Ambient Intelligence in Everyday Life [electronic resource] : Foreword by Emile Aarts / edited by Yang Cai, Julio Abascal. by Cai, Yang [editor.] Abascal, Julio [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3864Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
338.	Image from Amazon.com	Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings / edited by Andrés Iglesias, Nobuki Takayama. by Iglesias, Andrés [editor.] Takayama, Nobuki [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4151Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
339.	Image from Amazon.com	From Animals to Animats 9 [electronic resource] : 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings / edited by Stefano Nolfi, Gianluca Baldassarre, Raffaele Calabretta, John C. T. Hallam, Davide Marocco, Jean-Arcady Meyer, Orazio Miglino, Domenico Parisi. by Nolfi, Stefano [editor.] Baldassarre, Gianluca [editor.] Calabretta, Raffaele [editor.] Hallam, John C. T [editor.] Marocco, Davide [editor.] Meyer, Jean-Arcady [editor.] Miglino, Orazio [editor.] Parisi, Domenico [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4095Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
340.	Image from Amazon.com	Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Laurence T. Yang, Hai Jin, Jianhua Ma, Theo Ungerer. by Yang, Laurence T [editor.] Jin, Hai [editor.] Ma, Jianhua [editor.] Ungerer, Theo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4158Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)