Your search returned 2302 results.

Results
461.	Image from Amazon.com	Theory and Applications of Satisfiability Testing – SAT 2007 [electronic resource] : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings / edited by João Marques-Silva, Karem A. Sakallah. by Marques-Silva, João [editor.] Sakallah, Karem A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4501Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
462.	Image from Amazon.com	Computer Supported Cooperative Work in Design III [electronic resource] : 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers / edited by Weiming Shen, Junzhou Luo, Zongkai Lin, Jean-Paul A. Barthès, Qi Hao. by Shen, Weiming [editor.] Luo, Junzhou [editor.] Lin, Zongkai [editor.] Barthès, Jean-Paul A [editor.] Hao, Qi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4402Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
463.	Image from Amazon.com	Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Jadwiga Indulska, Kerry Raymond. by Indulska, Jadwiga [editor.] Raymond, Kerry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4531Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
464.	Image from Amazon.com	Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4468Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
465.	Image from Amazon.com	Distributed Computing in Sensor Systems [electronic resource] : Third IEEE International Conference, DCOSS 2007, Santa Fe, NM, USA, June 18-20, 2007. Proceedings / edited by James Aspnes, Christian Scheideler, Anish Arora, Samuel Madden. by Aspnes, James [editor.] Scheideler, Christian [editor.] Arora, Anish [editor.] Madden, Samuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4549Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
466.	Image from Amazon.com	Petri Nets and Other Models of Concurrency – ICATPN 2007 [electronic resource] : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings / edited by Jetty Kleijn, Alex Yakovlev. by Kleijn, Jetty [editor.] Yakovlev, Alex [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4546Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
467.	Image from Amazon.com	Ruby on Rails for PHP and Java Developers [electronic resource] / by Deepak Vohra. by Vohra, Deepak [author.] SpringerLink (Online service) Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
468.	Image from Amazon.com	Formal Techniques for Networked and Distributed Systems – FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings / edited by John Derrick, Jüri Vain. by Derrick, John [editor.] Vain, Jüri [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4574Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
469.	Image from Amazon.com	Usability and Internationalization. HCI and Culture [electronic resource] : Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Nuray Aykin. by Aykin, Nuray [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4559Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
470.	Image from Amazon.com	Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design [electronic resource] : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I / edited by Michael J. Smith, Gavriel Salvendy. by Smith, Michael J [editor.] Salvendy, Gavriel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4557Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
471.	Image from Amazon.com	Architecting Dependable Systems IV [electronic resource] / edited by Rogério de Lemos, Cristina Gacek, Alexander Romanovsky. by Lemos, Rogério de [editor.] Gacek, Cristina [editor.] Romanovsky, Alexander [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4615Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
472.	Image from Amazon.com	Recent Advances in Intrusion Detection [electronic resource] : 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings / edited by Christopher Kruegel, Richard Lippmann, Andrew Clark. by Kruegel, Christopher [editor.] Lippmann, Richard [editor.] Clark, Andrew [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4637Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
473.	Image from Amazon.com	Cryptographic Hardware and Embedded Systems - CHES 2007 [electronic resource] : 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings / edited by Pascal Paillier, Ingrid Verbauwhede. by Paillier, Pascal [editor.] Verbauwhede, Ingrid [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4727Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
474.	Image from Amazon.com	Cooperative Design, Visualization, and Engineering [electronic resource] : 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings / edited by Yuhua Luo. by Luo, Yuhua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4674Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
475.	Image from Amazon.com	Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007. Proceedings / edited by Keqiu Li, Chris Jesshope, Hai Jin, Jean-Luc Gaudiot. by Li, Keqiu [editor.] Jesshope, Chris [editor.] Jin, Hai [editor.] Gaudiot, Jean-Luc [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4672Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
476.	Image from Amazon.com	Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, 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 ; 4709Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
477.	Image from Amazon.com	Foundations of Security Analysis and Design IV [electronic resource] : FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri. by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4677Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
478.	Image from Amazon.com	Computer Security – ESORICS 2007 [electronic resource] : 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 — 26, 2007. Proceedings / edited by Joachim Biskup, Javier López. by Biskup, Joachim [editor.] López, Javier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4734Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
479.	Image from Amazon.com	Self-Organizing Systems [electronic resource] : Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007. Proceedings / edited by David Hutchison, Randy H. Katz. by Hutchison, David [editor.] Katz, Randy H [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4725Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
480.	Image from Amazon.com	Distributed Computing [electronic resource] : 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings / edited by Andrzej Pelc. by Pelc, Andrzej [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4731Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)