Your search returned 3663 results.

Results
441.	Image from Amazon.com	Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh. by Bacchus, Fahiem [editor.] Walsh, Toby [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3569Publisher: 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)
442.	Image from Amazon.com	Financial Cryptography and Data Security [electronic resource] : 9th International Conference, FC 2005, Roseau, The Commonwealth Of Dominica, February 28 – March 3, 2005. Revised Papers / edited by Andrew S. Patrick, Moti Yung. by Patrick, Andrew S [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3570Publisher: 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)
443.	Image from Amazon.com	Information Security and Privacy [electronic resource] : 10th Australasian Conference, ACISP 2005, Brisbane, Australia, July 4-6, 2005. Proceedings / edited by Colin Boyd, Juan Manuel González Nieto. by Boyd, Colin [editor.] González Nieto, Juan Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3574Publisher: 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)
444.	Image from Amazon.com	Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / edited by Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung. by Caires, Luís [editor.] Italiano, Giuseppe F [editor.] Monteiro, Luís [editor.] Palamidessi, Catuscia [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3580Publisher: 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)
445.	Image from Amazon.com	Computer Supported Cooperative Work in Design I [electronic resource] : 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers / edited by Weiming Shen, Zongkai Lin, Jean-Paul A. Barthès, Tangqiu Li. by Shen, Weiming [editor.] Lin, Zongkai [editor.] Barthès, Jean-Paul A [editor.] Li, Tangqiu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3168Publisher: 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)
446.	Image from Amazon.com	Global Computing [electronic resource] : IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers / edited by Corrado Priami, Paola Quaglia. by Priami, Corrado [editor.] Quaglia, Paola [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3267Publisher: 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)
447.	Image from Amazon.com	Job Scheduling Strategies for Parallel Processing [electronic resource] : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers / edited by Dror G. Feitelson, Larry Rudolph, Uwe Schwiegelshohn. by Feitelson, Dror G [editor.] Rudolph, Larry [editor.] Schwiegelshohn, Uwe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3277Publisher: 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)
448.	Image from Amazon.com	Trust, Privacy, and Security in Digital Business [electronic resource] : Second International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings / edited by Sokratis Katsikas, Javier López, Günther Pernul. by Katsikas, Sokratis [editor.] López, Javier [editor.] Pernul, Günther [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3592Publisher: 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)
449.	Image from Amazon.com	Digital Watermarking [electronic resource] : Third International Workshop, IWDW 2004, Seoul, South Korea, October 30 - November 1, 2004, Revised Selected Papers / edited by Ingemar J. Cox, Ton Kalker, Heung-Kyu Lee. by Cox, Ingemar J [editor.] Kalker, Ton [editor.] Lee, Heung-Kyu [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3304Publisher: 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)
450.	Image from Amazon.com	Information Security Applications [electronic resource] : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / edited by Chae Hoon Lim, Moti Yung. by Lim, Chae Hoon [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3325Publisher: 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)
451.	Image from Amazon.com	Embedded Software and Systems [electronic resource] : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / edited by Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu. by Wu, Zhaohui [editor.] Chen, Chun [editor.] Guo, Minyi [editor.] Bu, Jiajun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3605Publisher: 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)
452.	Image from Amazon.com	Parallel Computing Technologies [electronic resource] : 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3606Publisher: 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)
453.	Image from Amazon.com	Shared Memory Parallel Programming with Open MP [electronic resource] : 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers / edited by Barbara M. Chapman. by Chapman, Barbara M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3349Publisher: 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)
454.	Image from Amazon.com	Security Protocols [electronic resource] : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce [editor.] Crispo, Bruno [editor.] Malcolm, James A [editor.] Roe, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3364Publisher: 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)
455.	Image from Amazon.com	Multiparadigm Programming in Mozart/Oz [electronic resource] : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers / edited by Peter Van Roy. by Roy, Peter Van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3389Publisher: 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)
456.	Image from Amazon.com	Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings / edited by Stefan Kramer, Bernhard Pfahringer. by Kramer, Stefan [editor.] Pfahringer, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3625Publisher: 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)
457.	Image from Amazon.com	High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / edited by Michel Daydé, Jack Dongarra, Vicente Hernández, José M. L. M. Palma. by Daydé, Michel [editor.] Dongarra, Jack [editor.] Hernández, Vicente [editor.] Palma, José M. L. M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3402Publisher: 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)
458.	Image from Amazon.com	Advances in Cryptology – CRYPTO 2005 [electronic resource] : 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005. Proceedings / edited by Victor Shoup. by Shoup, Victor [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3621Publisher: 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)
459.	Image from Amazon.com	Advanced Functional Programming [electronic resource] : 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures / edited by Varmo Vene, Tarmo Uustalu. by Vene, Varmo [editor.] Uustalu, Tarmo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3622Publisher: 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)
460.	Image from Amazon.com	Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings / edited by Patrice Godefroid. by Godefroid, Patrice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3639Publisher: 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)