Theoretical Computer Science (Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings (Lecture Notes in Computer Science))

By J. van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses

Theoretical Computer Science (Exploring New Frontiers of Theoretical Informatics: International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings (Lecture Notes in Computer Science))

By J. van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses

£89.63

Automated Theorem Proving in Software Engineering

By Johann M. Schumann, D. Loveland

Automated Theorem Proving in Software Engineering

By Johann M. Schumann, D. Loveland

£45.02

OpenMP Shared Memory Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski

OpenMP Shared Memory Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski

£45.07

Algorithmic Aspects of Wireless Sensor Networks (Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers (Computer Communication Networks and Telecommunications))

By Sotiris Nikoletseas, Jose D. P. Rolim

Algorithmic Aspects of Wireless Sensor Networks (Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers (Computer Communication Networks and Telecommunications))

By Sotiris Nikoletseas, Jose D. P. Rolim

£45.01

Intelligence and Security Informatics (Biosurveillance: Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Daniel D. Zeng, I. Gotham, K. Komatsu, C. Lynch

Intelligence and Security Informatics (Biosurveillance: Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Daniel D. Zeng, I. Gotham, K. Komatsu, C. Lynch

£44.96

Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)

By D'Avila Garcez, Artur S., Lamb, Luis C., Dov M. Gabbay

Neural-Symbolic Cognitive Reasoning (Cognitive Technologies)

By D'Avila Garcez, Artur S., Lamb, Luis C., Dov M. Gabbay

£72.99

Embedded Computer Systems - Architectures, Modeling, and Simulation (7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hamalainen

Embedded Computer Systems - Architectures, Modeling, and Simulation (7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hamalainen

£45.09

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings (Lecture Notes in Computer)

By Moses Charikar, Klaus Jansen, Omer Reingold, Jose D. P. Rolim

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings (Lecture Notes in Computer)

By Moses Charikar, Klaus Jansen, Omer Reingold, Jose D. P. Rolim

£88.81

Independent Component Analysis and Signal Separation (7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Mike E. Davies, Christopher C. James, Samer A. Abdallah, Mark D. Plumbley

Independent Component Analysis and Signal Separation (7th International Conference, ICA 2007, London, UK, September 9-12, 2007, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Mike E. Davies, Christopher C. James, Samer A. Abdallah, Mark D. Plumbley

£89.20

UbiComp 2007 (Ubiquitous Computing: 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By John Krumm, Gregory D. Abowd, Aruna Seneviratne, Thomas Strang

UbiComp 2007 (Ubiquitous Computing: 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By John Krumm, Gregory D. Abowd, Aruna Seneviratne, Thomas Strang

£45.13

Progress in Gestural Interaction (Proceedings of Gesture Workshop '96, March 19th 1996, University of York, UK)

By Philip A. Harling, Alistair D. N. Edwards

Progress in Gestural Interaction (Proceedings of Gesture Workshop '96, March 19th 1996, University of York, UK)

By Philip A. Harling, Alistair D. N. Edwards

£86.73 Elsewhere ~~£89.99~~ Save £3.26 (4%)

Verification, Model Checking, and Abstract Interpretation (9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Francesco Logozzo, Doron A. Peled, Leonore D. Zuck

Verification, Model Checking, and Abstract Interpretation (9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Francesco Logozzo, Doron A. Peled, Leonore D. Zuck

£45.04

Information Security (11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Tzong-Chen Wu, Chin-Laung Lei, Vincent Rijmen, D. T. Lee

Information Security (11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008, Proceedings (Lecture Notes in Computer Science) (Information Systems and Applications, incl. Internet/Web, and HCI))

By Tzong-Chen Wu, Chin-Laung Lei, Vincent Rijmen, D. T. Lee

£53.97

Computer Safety, Reliability, and Security (27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings (Lecture Notes in Computer Science))

By Michael D. Harrison, Mark-Alexander Sujan

Computer Safety, Reliability, and Security (27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings (Lecture Notes in Computer Science))

By Michael D. Harrison, Mark-Alexander Sujan

£45.06

The Open Knowledge Society (A Computer Science and Information Systems Manifesto (Communications in Computer and Information Science))

By Miltiadis D. Lytras, John M. Carroll, Ernesto Damiani, Robert D. Tennyson

The Open Knowledge Society (A Computer Science and Information Systems Manifesto (Communications in Computer and Information Science))

By Miltiadis D. Lytras, John M. Carroll, Ernesto Damiani, Robert D. Tennyson

£89.16

Information and Communications Security (10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings (Lecture Notes in Computer Science) (Security and Cryptology))

By Liqun Chen, Mark D. Ryan, Guilin Wang

Information and Communications Security (10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings (Lecture Notes in Computer Science) (Security and Cryptology))

By Liqun Chen, Mark D. Ryan, Guilin Wang

£45.06

Biosurveillance and Biosecurity (International Workshop, BioSecure 2008, Raleigh, NC, USA, December 2, 2008. Proceedings (Lecture Notes in Bioinformatics) (Lecture Notes in Computer Science))

By Daniel D. Zeng, Hsinchun Chen, Henry Rolka, William B. Lober

Biosurveillance and Biosecurity (International Workshop, BioSecure 2008, Raleigh, NC, USA, December 2, 2008. Proceedings (Lecture Notes in Bioinformatics) (Lecture Notes in Computer Science))

By Daniel D. Zeng, Hsinchun Chen, Henry Rolka, William B. Lober

£45.06

Uncertainty Reasoning for the Semantic Web (ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers: Pt. 1 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Paulo Cesar G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey

Uncertainty Reasoning for the Semantic Web (ISWC International Workshop, URSW 2005-2007, Revised Selected and Invited Papers: Pt. 1 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Paulo Cesar G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey

£46.10

Verification, Model Checking, and Abstract Interpretation (10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Neil D. Jones, Markus Muller-Olm

Verification, Model Checking, and Abstract Interpretation (10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Neil D. Jones, Markus Muller-Olm

£45.02

Modern Genome Annotation (The Biosapiens Network)

By D. Frishman, Alfonso Valencia

Modern Genome Annotation (The Biosapiens Network)

By D. Frishman, Alfonso Valencia

£177

Adaptive Signal Processing (CISM International Centre for Mechanical Sciences)

By L. D. Davisson, G. Longo

Adaptive Signal Processing (CISM International Centre for Mechanical Sciences)

By L. D. Davisson, G. Longo

£51.17

Mechanical Theorem Proving in Geometries (Basic Principles (Texts and Monographs in Symbolic Computation))

By Wen Tsun Wu, X. Jin, D. Wang

Mechanical Theorem Proving in Geometries (Basic Principles (Texts and Monographs in Symbolic Computation))

By Wen Tsun Wu, X. Jin, D. Wang

£50.58

Computer - Human Interaction in Symbolic Computation (Texts & Monographs in Symbolic Computation)

By D. S. Scott, N. Kajler

Computer - Human Interaction in Symbolic Computation (Texts & Monographs in Symbolic Computation)

By D. S. Scott, N. Kajler

£88.61

Design, Specification and Verification of Interactive Systems (Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997: '97 (Eurographics))

By M.D. Harrison, J. C. Torres

Design, Specification and Verification of Interactive Systems (Proceedings of the Eurographics Workshop in Granada, Spain, June 4-6, 1997: '97 (Eurographics))

By M.D. Harrison, J. C. Torres

£45.11

View:
Safe Search(?):