Your search returned 3663 results.

Results
701.	Image from Amazon.com	Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings / edited by Alan Mycroft, Andreas Zeller. by Mycroft, Alan [editor.] Zeller, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3923Publisher: 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)
702.	Image from Amazon.com	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. by Hermanns, Holger [editor.] Palsberg, Jens [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3920Publisher: 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)
703.	Image from Amazon.com	Information Security Practice and Experience [electronic resource] : Second International Conference, ISPEC 2006, Hangzhou, China, April 11-14, 2006. Proceedings / edited by Kefei Chen, Robert Deng, Xuejia Lai, Jianying Zhou. by Chen, Kefei [editor.] Deng, Robert [editor.] Lai, Xuejia [editor.] Zhou, Jianying [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3903Publisher: 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)
704.	Image from Amazon.com	Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Luciano Baresi, Reiko Heckel. by Baresi, Luciano [editor.] Heckel, Reiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3922Publisher: 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)
705.	Image from Amazon.com	Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings / edited by Peter Sestoft. by Sestoft, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3924Publisher: 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)
706.	Image from Amazon.com	Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / edited by Antti Valmari. by Valmari, Antti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3925Publisher: 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)
707.	Image from Amazon.com	Selected Areas in Cryptography [electronic resource] : 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers / edited by Bart Preneel, Stafford Tavares. by Preneel, Bart [editor.] Tavares, Stafford [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3897Publisher: 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)
708.	Image from Amazon.com	Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / edited by Pierre Collet, Marco Tomassini, Marc Ebner, Steven Gustafson, Anikó Ekárt. by Collet, Pierre [editor.] Tomassini, Marco [editor.] Ebner, Marc [editor.] Gustafson, Steven [editor.] Ekárt, Anikó [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3905Publisher: 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)
709.	Image from Amazon.com	Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung. by Song, Joo-Seok [editor.] Kwon, Taekyoung [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3786Publisher: 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)
710.	Image from Amazon.com	Software Engineering 2 [electronic resource] : Specification of Systems and Languages / by Dines Bjørner. by Bjørner, Dines [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATCS SeriesPublisher: 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)
711.	Image from Amazon.com	Smart Card Research and Advanced Applications [electronic resource] : 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006. Proceedings / edited by Josep Domingo-Ferrer, Joachim Posegga, Daniel Schreckling. by Domingo-Ferrer, Josep [editor.] Posegga, Joachim [editor.] Schreckling, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3928Publisher: 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)
712.	Image from Amazon.com	Engineering Self-Organising Systems [electronic resource] : Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers / edited by Sven A. Brueckner, Giovanna Di Marzo Serugendo, David Hales, Franco Zambonelli. by Brueckner, Sven A [editor.] Marzo Serugendo, Giovanna Di [editor.] Hales, David [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3910Publisher: 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)
713.	Image from Amazon.com	Information Security and Cryptology - ICISC 2005 [electronic resource] : 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers / edited by Dong Ho Won, Seungjoo Kim. by Won, Dong Ho [editor.] Kim, Seungjoo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3935Publisher: 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)
714.	Image from Amazon.com	Security in Pervasive Computing [electronic resource] : Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings / edited by John A. Clark, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke. by Clark, John A [editor.] Paige, Richard F [editor.] Polack, Fiona A. C [editor.] Brooke, Phillip J [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3934Publisher: 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)
715.	Image from Amazon.com	Parallel and Distributed Logic Programming [electronic resource] : Towards the Design of a Framework for the Next Generation Database Machines / by Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal. by Bhattacharya, Alakananda [author.] Konar, Amit [author.] Mandal, Ajit K [author.] SpringerLink (Online service) Series: Studies in Computational Intelligence ; 24Publisher: 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)
716.	Image from Amazon.com	Applied Parallel Computing. State of the Art in Scientific Computing [electronic resource] : 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers / edited by Jack Dongarra, Kaj Madsen, Jerzy Waśniewski. by Dongarra, Jack [editor.] Madsen, Kaj [editor.] Waśniewski, Jerzy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3732Publisher: 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)
717.	Image from Amazon.com	Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications / edited by Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky. by Garcia, Alessandro [editor.] Choren, Ricardo [editor.] Lucena, Carlos [editor.] Giorgini, Paolo [editor.] Holvoet, Tom [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3914Publisher: 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)
718.	Image from Amazon.com	Software Engineering 3 [electronic resource] : Domains, Requirements, and Software Design / by Dines Bjøner. by Bjøner, Dines [author.] SpringerLink (Online service) Series: Texts in Theoretical Computer Science An EATC SeriesPublisher: 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)
719.	Image from Amazon.com	Construction and Analysis of Safe, Secure, and Interoperable Smart Devices [electronic resource] : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet. by Barthe, Gilles [editor.] Grégoire, Benjamin [editor.] Huisman, Marieke [editor.] Lanet, Jean-Louis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3956Publisher: 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)
720.	Image from Amazon.com	Pervasive Computing [electronic resource] : 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings / edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley. by Fishkin, Kenneth P [editor.] Schiele, Bernt [editor.] Nixon, Paddy [editor.] Quigley, Aaron [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3968Publisher: 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)