Your search returned 3663 results.

Results
761.	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)
762.	Image from Amazon.com	Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings / edited by Sandro Etalle, Mirosław Truszczyński. by Etalle, Sandro [editor.] Truszczyński, Mirosław [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4079Publisher: 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)
763.	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)
764.	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)
765.	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)
766.	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)
767.	Image from Amazon.com	FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev [editor.] Nipkow, Tobias [editor.] Sekerinski, Emil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4085Publisher: 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)
768.	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)
769.	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)
770.	Image from Amazon.com	Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / edited by Welf Löwe, Mario Südholt. by Löwe, Welf [editor.] Südholt, Mario [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4089Publisher: 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)
771.	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)
772.	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)
773.	Image from Amazon.com	Static Analysis [electronic resource] : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings / edited by Kwangkeun Yi. by Yi, Kwangkeun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4134Publisher: 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)
774.	Image from Amazon.com	Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings / edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner. by Nagel, Wolfgang E [editor.] Walter, Wolfgang V [editor.] Lehner, Wolfgang [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4128Publisher: 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)
775.	Image from Amazon.com	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings / edited by Josep Díaz, Klaus Jansen, José D. P. Rolim, Uri Zwick. by Díaz, Josep [editor.] Jansen, Klaus [editor.] Rolim, José D. P [editor.] Zwick, Uri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4110Publisher: 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)
776.	Image from Amazon.com	Security and Cryptography for Networks [electronic resource] : 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006. Proceedings / edited by Roberto De Prisco, Moti Yung. by Prisco, Roberto De [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4116Publisher: 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)
777.	Image from Amazon.com	Ubiquitous Intelligence and Computing [electronic resource] : Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Jianhua Ma, Hai Jin, Laurence T. Yang, Jeffrey J.-P. Tsai. by Ma, Jianhua [editor.] Jin, Hai [editor.] Yang, Laurence T [editor.] Tsai, Jeffrey J.-P [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4159Publisher: 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)
778.	Image from Amazon.com	Information Security [electronic resource] : 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings / edited by Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel. by Katsikas, Sokratis K [editor.] López, Javier [editor.] Backes, Michael [editor.] Gritzalis, Stefanos [editor.] Preneel, Bart [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4176Publisher: 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)
779.	Image from Amazon.com	Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Laurence T. Yang, Hai Jin, Jianhua Ma, Theo Ungerer. by Yang, Laurence T [editor.] Jin, Hai [editor.] Ma, Jianhua [editor.] Ungerer, Theo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4158Publisher: 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)
780.	Image from Amazon.com	Algorithms – ESA 2006 [electronic resource] : 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings / edited by Yossi Azar, Thomas Erlebach. by Azar, Yossi [editor.] Erlebach, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4168Publisher: 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)