Your search returned 4305 results.

Results
281.	Image from Amazon.com	Database and XML Technologies [electronic resource] : Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings / edited by Stéphane Bressan, Stefano Ceri, Ela Hunt, Zachary G. Ives, Zohra Bellahsène, Michael Rys, Rainer Unland. by Bressan, Stéphane [editor.] Ceri, Stefano [editor.] Hunt, Ela [editor.] Ives, Zachary G [editor.] Bellahsène, Zohra [editor.] Rys, Michael [editor.] Unland, Rainer [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3671Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
282.	Image from Amazon.com	Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings / edited by Doron A. Peled, Yih-Kuen Tsay. by Peled, Doron A [editor.] Tsay, Yih-Kuen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3707Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
283.	Image from Amazon.com	Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings / edited by Chris Hankin, Igor Siveroni. by Hankin, Chris [editor.] Siveroni, Igor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3672Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
284.	Image from Amazon.com	Embedded Systems Design [electronic resource] : The ARTIST Roadmap for Research and Development / by Bruno Bouyssounouse, Joseph Sifakis. by Bouyssounouse, Bruno [author.] Sifakis, Joseph [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3436Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
285.	Image from Amazon.com	Software Engineering and Middleware [electronic resource] : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers / edited by Thomas Gschwind, Cecilia Mascolo. by Gschwind, Thomas [editor.] Mascolo, Cecilia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3437Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
286.	Image from Amazon.com	Cooperative Design, Visualization, and Engineering [electronic resource] : Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3675Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
287.	Image from Amazon.com	Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings / edited by Robert Glück, Michael Lowry. by Glück, Robert [editor.] Lowry, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3676Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
288.	Image from Amazon.com	Information Security Practice and Experience [electronic resource] : First International Conference, ISPEC 2005, Singapore, April 11-14, 2005. Proceedings / edited by Robert H. Deng, Feng Bao, HweeHwa Pang, Jianying Zhou. by Deng, Robert H [editor.] Bao, Feng [editor.] Pang, HweeHwa [editor.] Zhou, Jianying [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3439Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
289.	Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck. by Halbwachs, Nicolas [editor.] Zuck, Lenore D [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3440Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
290.	Image from Amazon.com	Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I / edited by Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain. by Khosla, Rajiv [editor.] Howlett, Robert J [editor.] Jain, Lakhmi C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3681Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
291.	Image from Amazon.com	Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II / edited by Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain. by Khosla, Rajiv [editor.] Howlett, Robert J [editor.] Jain, Lakhmi C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3682Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
292.	Image from Amazon.com	Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Mooly Sagiv. by Sagiv, Mooly [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3444Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
293.	Image from Amazon.com	Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part III / edited by Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain. by Khosla, Rajiv [editor.] Howlett, Robert J [editor.] Jain, Lakhmi C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3683Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
294.	Image from Amazon.com	Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV / edited by Rajiv Khosla, Robert J. Howlett, Lakhmi C. Jain. by Khosla, Rajiv [editor.] Howlett, Robert J [editor.] Jain, Lakhmi C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3684Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
295.	Image from Amazon.com	Computer Safety, Reliability, and Security [electronic resource] : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings / edited by Rune Winther, Bjørn Axel Gran, Gustav Dahll. by Winther, Rune [editor.] Gran, Bjørn Axel [editor.] Dahll, Gustav [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3688Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
296.	Image from Amazon.com	Security in Pervasive Computing [electronic resource] : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings / edited by Dieter Hutter, Markus Ullmann. by Hutter, Dieter [editor.] Ullmann, Markus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3450Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
297.	Image from Amazon.com	Coordination Models and Languages [electronic resource] : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings / edited by Jean-Marie Jacquet, Gian Pietro Picco. by Jacquet, Jean-Marie [editor.] Picco, Gian Pietro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3454Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
298.	Image from Amazon.com	Operational Semantics for Timed Systems [electronic resource] : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems / by Heinrich Rust. by Rust, Heinrich [author.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3456Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
299.	Image from Amazon.com	Autonomic Communication [electronic resource] : First International IFIP Workshop, WAC 2004, Berlin, Germany, October 18-19, 2004, Revised Selected Papers / edited by Michael Smirnov. by Smirnov, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3457Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
300.	Image from Amazon.com	Scientific Applications of Grid Computing [electronic resource] : First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers / edited by Pilar Herrero, María S. Pérez, Víctor Robles. by Herrero, Pilar [editor.] Pérez, María S [editor.] Robles, Víctor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3458Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)