Your search returned 3663 results.

Results
481.	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)
482.	Image from Amazon.com	Computer Security – ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings / edited by Sabrina de Capitani di Vimercati, Paul Syverson, Dieter Gollmann. by Vimercati, Sabrina de Capitani di [editor.] Syverson, Paul [editor.] Gollmann, Dieter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3679Publisher: 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)
483.	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)
484.	Image from Amazon.com	Computer Network Security [electronic resource] : Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings / edited by Vladimir Gorodetsky, Igor Kotenko, Victor Skormin. by Gorodetsky, Vladimir [editor.] Kotenko, Igor [editor.] Skormin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3685Publisher: 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)
485.	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)
486.	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)
487.	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)
488.	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)
489.	Image from Amazon.com	Scenarios: Models, Transformations and Tools [electronic resource] : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers / edited by Stefan Leue, Tarja Johanna Systä. by Leue, Stefan [editor.] Systä, Tarja Johanna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3466Publisher: 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)
490.	Image from Amazon.com	Pervasive Computing [electronic resource] : Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings / edited by Hans -W. Gellersen, Roy Want, Albrecht Schmidt. by Gellersen, Hans -W [editor.] Want, Roy [editor.] Schmidt, Albrecht [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3468Publisher: 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)
491.	Image from Amazon.com	Advances in Grid Computing - EGC 2005 [electronic resource] : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers / edited by Peter M. A. Sloot, Alfons G. Hoekstra, Thierry Priol, Alexander Reinefeld, Marian Bubak. by Sloot, Peter M. A [editor.] Hoekstra, Alfons G [editor.] Priol, Thierry [editor.] Reinefeld, Alexander [editor.] Bubak, Marian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3470Publisher: 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)
492.	Image from Amazon.com	Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part I / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngsong [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3480Publisher: 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)
493.	Image from Amazon.com	Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngsong [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3481Publisher: 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)
494.	Image from Amazon.com	Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part III / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Gervasi, Osvaldo [editor.] Gavrilova, Marina L [editor.] Kumar, Vipin [editor.] Laganà, Antonio [editor.] Lee, Heow Pueh [editor.] Mun, Youngsong [editor.] Taniar, David [editor.] Tan, Chih Jeng Kenneth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3482Publisher: 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)
495.	Image from Amazon.com	Principles and Practice of Constraint Programming - CP 2005 [electronic resource] : 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings / edited by Peter van Beek. by Beek, Peter van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3709Publisher: 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)
496.	Image from Amazon.com	Digital Watermarking [electronic resource] : 4th International Workshop, IWDW 2005, Siena, Italy, September 15-17, 2005. Proceedings / edited by Mauro Barni, Ingemar Cox, Ton Kalker, Hyoung-Joong Kim. by Barni, Mauro [editor.] Cox, Ingemar [editor.] Kalker, Ton [editor.] Kim, Hyoung-Joong [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3710Publisher: 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)
497.	Image from Amazon.com	Advances in Cryptology – EUROCRYPT 2005 [electronic resource] : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005. Proceedings / edited by Ronald Cramer. by Cramer, Ronald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3494Publisher: 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)
498.	Image from Amazon.com	Quality of Software Architectures and Software Quality [electronic resource] : First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings / edited by Ralf Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder. by Reussner, Ralf [editor.] Mayer, Johannes [editor.] Stafford, Judith A [editor.] Overhage, Sven [editor.] Becker, Steffen [editor.] Schroeder, Patrick J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3712Publisher: 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)
499.	Image from Amazon.com	Software Product Lines [electronic resource] : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings / edited by Henk Obbink, Klaus Pohl. by Obbink, Henk [editor.] Pohl, Klaus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3714Publisher: 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)
500.	Image from Amazon.com	Conceptual Modeling – ER 2005 [electronic resource] : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings / edited by Lois Delcambre, Christian Kop, Heinrich C. Mayr, John Mylopoulos, Oscar Pastor. by Delcambre, Lois [editor.] Kop, Christian [editor.] Mayr, Heinrich C [editor.] Mylopoulos, John [editor.] Pastor, Oscar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3716Publisher: 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)