Your search returned 1359 results.

Results
1021.	Image from Amazon.com	Formal Methods: State of the Art and New Directions [electronic resource] / edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. by Boca, Paul [editor.] Bowen, Jonathan P [editor.] Siddiqi, Jawed [editor.] SpringerLink (Online service) Publisher: London : Springer London : 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)
1022.	Image from Amazon.com	Programming Languages: Principles and Paradigms [electronic resource] / by Maurizio Gabbrielli, Simone Martini. by Gabbrielli, Maurizio [author.] Martini, Simone [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer SciencePublisher: London : Springer London, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1023.	Image from Amazon.com	Tabletops - Horizontal Interactive Displays [electronic resource] / edited by Christian Müller-Tomfelde. by Müller-Tomfelde, Christian [editor.] SpringerLink (Online service) Series: Human-Computer Interaction SeriesPublisher: London : Springer London : 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)
1024.	Image from Amazon.com	Thriving Systems Theory and Metaphor-Driven Modeling [electronic resource] / by Leslie J. Waguespack. by Waguespack, Leslie J [author.] SpringerLink (Online service) Publisher: London : Springer London : 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)
1025.	Image from Amazon.com	Reliable and Autonomous Computational Science [electronic resource] : International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010 / edited by Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong. by Shin, Sung Y [editor.] Gantenbein, Rex [editor.] Kuo, Tei-Wei [editor.] Hong, Jiman [editor.] SpringerLink (Online service) Series: Autonomic SystemsPublisher: Basel : Springer Basel, 2010 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
1026.	Image from Amazon.com	Architecture-Based Design of Multi-Agent Systems [electronic resource] / by Danny Weyns. by Weyns, Danny [author.] SpringerLink (Online service) Publisher: 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)
1027.	Image from Amazon.com	Test-Driven Development [electronic resource] : An Empirical Evaluation of Agile Practice / by Lech Madeyski. by Madeyski, Lech [author.] SpringerLink (Online service) Publisher: 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)
1028.	Image from Amazon.com	SOFSEM 2010: Theory and Practice of Computer Science [electronic resource] : 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings / edited by Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe. by Leeuwen, Jan van [editor.] Muscholl, Anca [editor.] Peleg, David [editor.] Pokorný, Jaroslav [editor.] Rumpe, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5901Publisher: 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)
1029.	Image from Amazon.com	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo. by Barthe, Gilles [editor.] Hermenegildo, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5944Publisher: 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)
1030.	Image from Amazon.com	Web Dynpro ABAP for Practitioners [electronic resource] / by Ulrich Gellert, Ana Daniela Cristea. by Gellert, Ulrich [author.] Cristea, Ana Daniela [author.] SpringerLink (Online service) Publisher: 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)
1031.	Image from Amazon.com	Distributed Computing and Internet Technology [electronic resource] : 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings / edited by Tomasz Janowski, Hrushikesha Mohanty. by Janowski, Tomasz [editor.] Mohanty, Hrushikesha [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5966Publisher: 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)
1032.	Image from Amazon.com	Access Networks [electronic resource] : 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers / edited by Xiao Jun Hei, Lawrence Cheung. by Hei, Xiao Jun [editor.] Cheung, Lawrence [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 37Publisher: 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)
1033.	Image from Amazon.com	Ad Hoc Networks [electronic resource] : First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers / edited by Jun Zheng, Shiwen Mao, Scott F. Midkiff, Hua Zhu. by Zheng, Jun [editor.] Mao, Shiwen [editor.] Midkiff, Scott F [editor.] Zhu, Hua [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 28Publisher: 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)
1034.	Image from Amazon.com	Task Models and Diagrams for User Interface Design [electronic resource] : 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers / edited by David England, Philippe Palanque, Jean Vanderdonckt, Peter J. Wild. by England, David [editor.] Palanque, Philippe [editor.] Vanderdonckt, Jean [editor.] Wild, Peter J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5963Publisher: 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)
1035.	Image from Amazon.com	Mobile Networks and Management [electronic resource] : First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers / edited by Kostas Pentikousis, Oliver Blume, Ramón Agüero Calvo, Symeon Papavassiliou. by Pentikousis, Kostas [editor.] Blume, Oliver [editor.] Agüero Calvo, Ramón [editor.] Papavassiliou, Symeon [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 32Publisher: 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)
1036.	Image from Amazon.com	Sensor Applications, Experimentation, and Logistics [electronic resource] : First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers / edited by Nikos Komninos. by Komninos, Nikos [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 29Publisher: 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)
1037.	Image from Amazon.com	RoboCup 2009: Robot Soccer World Cup XIII [electronic resource] / edited by Jacky Baltes, Michail G. Lagoudakis, Tadashi Naruse, Saeed Shiry Ghidary. by Baltes, Jacky [editor.] Lagoudakis, Michail G [editor.] Naruse, Tadashi [editor.] Ghidary, Saeed Shiry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5949Publisher: 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)
1038.	Image from Amazon.com	Architecture of Computing Systems - ARCS 2010 [electronic resource] : 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings / edited by Christian Müller-Schloer, Wolfgang Karl, Sami Yehia. by Müller-Schloer, Christian [editor.] Karl, Wolfgang [editor.] Yehia, Sami [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5974Publisher: 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)
1039.	Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / edited by Javier Esparza, Rupak Majumdar. by Esparza, Javier [editor.] Majumdar, Rupak [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6015Publisher: 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)
1040.	Image from Amazon.com	Human Benefit through the Diffusion of Information Systems Design Science Research [electronic resource] : IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings / edited by Jan Pries-Heje, John Venable, Deborah Bunker, Nancy L. Russo, Janice I. DeGross. by Pries-Heje, Jan [editor.] Venable, John [editor.] Bunker, Deborah [editor.] Russo, Nancy L [editor.] DeGross, Janice I [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 318Publisher: 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)