Your search returned 2302 results.

Results
401.	Image from Amazon.com	Petri Nets and Other Models of Concurrency - ICATPN 2006 [electronic resource] : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings / edited by Susanna Donatelli, P. S. Thiagarajan. by Donatelli, Susanna [editor.] Thiagarajan, P. S [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4024Publisher: 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)
402.	Image from Amazon.com	Applied Cryptography and Network Security [electronic resource] : 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006. Proceedings / edited by Jianying Zhou, Moti Yung, Feng Bao. by Zhou, Jianying [editor.] Yung, Moti [editor.] Bao, Feng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3989Publisher: 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)
403.	Image from Amazon.com	Privacy Enhancing Technologies [electronic resource] : 5th International Workshop, PET 2005, Cavtat, Croatia, May 30-June 1, 2005, Revised Selected Papers / edited by George Danezis, David Martin. by Danezis, George [editor.] Martin, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3856Publisher: 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)
404.	Image from Amazon.com	Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart. by Dunne, Steve [editor.] Stoddart, Bill [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4010Publisher: 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)
405.	Image from Amazon.com	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Roberto Gorrieri, Heike Wehrheim. by Gorrieri, Roberto [editor.] Wehrheim, Heike [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4037Publisher: 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)
406.	Image from Amazon.com	Distributed Applications and Interoperable Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings / edited by Frank Eliassen, Alberto Montresor. by Eliassen, Frank [editor.] Montresor, Alberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4025Publisher: 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)
407.	Image from Amazon.com	Distributed Computing in Sensor Systems [electronic resource] : Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings / edited by Phillip B. Gibbons, Tarek Abdelzaher, James Aspnes, Ramesh Rao. by Gibbons, Phillip B [editor.] Abdelzaher, Tarek [editor.] Aspnes, James [editor.] Rao, Ramesh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4026Publisher: 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)
408.	Image from Amazon.com	Information Security and Privacy [electronic resource] : 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings / edited by Lynn Margaret Batten, Reihaneh Safavi-Naini. by Batten, Lynn Margaret [editor.] Safavi-Naini, Reihaneh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4058Publisher: 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)
409.	Image from Amazon.com	Architecting Systems with Trustworthy Components [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers / edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski. by Reussner, Ralf H [editor.] Stafford, Judith A [editor.] Szyperski, Clemens A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3938Publisher: 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)
410.	Image from Amazon.com	Digital Rights Management. Technologies, Issues, Challenges and Systems [electronic resource] : First International Conference, DRMTICS 2005, Sydney, Australia, October 31 - November 2, 2005. Revised Selected Papers / edited by Reihaneh Safavi-Naini, Moti Yung. by Safavi-Naini, Reihaneh [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3919Publisher: 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)
411.	Image from Amazon.com	Detection of Intrusions and Malware & Vulnerability Assessment [electronic resource] : Third International Conference, DIMVA 2006, Berlin, Germany, July 13-14, 2006. Proceedings / edited by Roland Büschkes, Pavel Laskov. by Büschkes, Roland [editor.] Laskov, Pavel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4064Publisher: 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)
412.	Image from Amazon.com	Principles of Distributed Systems [electronic resource] : 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers / edited by James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer. by Anderson, James H [editor.] Prencipe, Giuseppe [editor.] Wattenhofer, Roger [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3974Publisher: 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)
413.	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)
414.	Image from Amazon.com	Data and Applications Security XX [electronic resource] : 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings / edited by Ernesto Damiani, Peng Liu. by Damiani, Ernesto [editor.] Liu, Peng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4127Publisher: 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)
415.	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)
416.	Image from Amazon.com	Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes. by Biere, Armin [editor.] Gomes, Carla P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4121Publisher: 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)
417.	Image from Amazon.com	Advances in Cryptology - CRYPTO 2006 [electronic resource] : 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings / edited by Cynthia Dwork. by Dwork, Cynthia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4117Publisher: 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)
418.	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)
419.	Image from Amazon.com	Self-Organizing Systems [electronic resource] : First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings / edited by Hermann de Meer, James P. G. Sterbenz. by Meer, Hermann de [editor.] Sterbenz, James P. G [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4124Publisher: 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)
420.	Image from Amazon.com	Trust and Privacy in Digital Business [electronic resource] : Third International Conference, TrustBus 2006, Kraków, Poland, September 4-8, 2006. Proceedings / edited by Simone Fischer-Hübner, Stevel Furnell, Costas Lambrinoudakis. by Fischer-Hübner, Simone [editor.] Furnell, Stevel [editor.] Lambrinoudakis, Costas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4083Publisher: 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)