Category Theory and Computer Science (Edinburgh, UK, September 7-9, 1987. Proceedings (Lecture Notes in Computer Science))

By David H. Pitt, Axel Poigne, David E. Rydeheard

Category Theory and Computer Science (Edinburgh, UK, September 7-9, 1987. Proceedings (Lecture Notes in Computer Science))

By David H. Pitt, Axel Poigne, David E. Rydeheard

£45.19

Colloquium on Trees in Algebra and Programming Caap '88 1988 (13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Max Dauchet, Maurice Nivat

Colloquium on Trees in Algebra and Programming Caap '88 1988 (13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Max Dauchet, Maurice Nivat

£45.01

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

European Symposium on Programming Esop '88 1988 (2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Harald Ganzinger

£44.99

Advances in Database Technology - Edbt '88 (International Conference on Extending Database Technology Venice, Italy, March 14-18, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joachim W. Schmidt, Stefano Ceri, Michele Missikoff

Advances in Database Technology - Edbt '88 (International Conference on Extending Database Technology Venice, Italy, March 14-18, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joachim W. Schmidt, Stefano Ceri, Michele Missikoff

£45.79

Experiences with Distributed Systems (International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings (Lecture Notes in Computer Science))

By Jrgen Nehmer, Ja1/4rgen Nehmer

Experiences with Distributed Systems (International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings (Lecture Notes in Computer Science))

By Jrgen Nehmer, Ja1/4rgen Nehmer

£44.99

Distributed Algorithms (2nd International Workshop, Amsterdam, the Netherlands, July 8-10, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan van Leeuwen

Distributed Algorithms (2nd International Workshop, Amsterdam, the Netherlands, July 8-10, 1987, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan van Leeuwen

£45.02

Coding Theory and Applications (2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986. Proceedings (Lecture Notes in Computer Science))

By Gerard Daniel Cohen, Philippe Godlewski

Coding Theory and Applications (2nd International Colloquium, Cachan-Paris, France, November 24-26, 1986. Proceedings (Lecture Notes in Computer Science))

By Gerard Daniel Cohen, Philippe Godlewski

£44.99

Composition of Secure Multi-Party Protocols (A Comprehensive Study (Lecture Notes in Computer Science))

By Lindell, Yehuda

Composition of Secure Multi-Party Protocols (A Comprehensive Study (Lecture Notes in Computer Science))

By Lindell, Yehuda

£44.99

Software and Compilers for Embedded Systems (7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings (Lecture Notes in Computer Science))

By Andreas Krall

Software and Compilers for Embedded Systems (7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings (Lecture Notes in Computer Science))

By Andreas Krall

£45.01

Information and Communications Security (5th International Conference, Icics 2003, Huhehaote, China, October 10-13, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Petra Perner, Dieter Gollmann, Jianying Zhou, Petra Perner

Information and Communications Security (5th International Conference, Icics 2003, Huhehaote, China, October 10-13, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Petra Perner, Dieter Gollmann, Jianying Zhou, Petra Perner

£45.02

Formal Techniques for Networked and Distributed Systems - Forte 2003 (23rd Ifip WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hartmut Konig, Monika Heiner, Adam Wolisz

Formal Techniques for Networked and Distributed Systems - Forte 2003 (23rd Ifip WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hartmut Konig, Monika Heiner, Adam Wolisz

£45.03

Information Security (6th International Conference, Isc 2003, Bristol, UK, October 1-3, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Colin Boyd, Wenbo Mao

Information Security (6th International Conference, Isc 2003, Bristol, UK, October 1-3, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Colin Boyd, Wenbo Mao

£45.03

Distributed Computing (17th International Conference, Disc 2003, Sorrento, Italy, October 1-3, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Faith Ellen Fich

Distributed Computing (17th International Conference, Disc 2003, Sorrento, Italy, October 1-3, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Faith Ellen Fich

£44.97

Communications and Multimedia Security. Advanced Techniques for Network and Data Protection (7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings (Lecture Notes in Computer Science))

By Antonio Lioy, Daniele Mazzocchi

Communications and Multimedia Security. Advanced Techniques for Network and Data Protection (7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings (Lecture Notes in Computer Science))

By Antonio Lioy, Daniele Mazzocchi

£44.99

Applied Cryptography and Network Security (First International Conference, Acns 2003. Kunming, China, October 16-19, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Yongfei Han, Moti Yung, Jianying Zhou

Applied Cryptography and Network Security (First International Conference, Acns 2003. Kunming, China, October 16-19, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Yongfei Han, Moti Yung, Jianying Zhou

£45.02

Embedded Software (Third International Conference, Emsoft 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science))

By Rajeev Alur, Lee Insup

Embedded Software (Third International Conference, Emsoft 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science))

By Rajeev Alur, Lee Insup

£44.97

Dependable Computing (First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Rogerio Le Lemos, Taisy Silva Weber, Joao Batista Camargo Jr

Dependable Computing (First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings (Lecture Notes in Computer Science))

By Rogerio Le Lemos, Taisy Silva Weber, Joao Batista Camargo Jr

£44.99

Ad-Hoc, Mobile, and Wireless Networks (Second International Conference, ADHOC-NOW 2003, Montreal, Canada, October 8-10, 2003, Proceedings (Lecture Notes in Computer Science))

By Samuel Pierre, Michel Barbeau, Evangelos Kranakis

Ad-Hoc, Mobile, and Wireless Networks (Second International Conference, ADHOC-NOW 2003, Montreal, Canada, October 8-10, 2003, Proceedings (Lecture Notes in Computer Science))

By Samuel Pierre, Michel Barbeau, Evangelos Kranakis

£45.18

Computer Security - ESORICS 2003 (8th European Symposium on Research in Computer Security, Gjovik, Norway, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science))

By Einar Snekkenes, Dieter Gollmann

Computer Security - ESORICS 2003 (8th European Symposium on Research in Computer Security, Gjovik, Norway, October 13-15, 2003, Proceedings (Lecture Notes in Computer Science))

By Einar Snekkenes, Dieter Gollmann

£45.51

UbiComp 2003 (Ubiquitous Computing: 5th International Conference, Seattle, WA, USA, October 12-15, 2003, Proceedings (Lecture Notes in Computer Science))

By Anind K. Dey, Albrecht Schmidt, Joseph F. McCarthy

UbiComp 2003 (Ubiquitous Computing: 5th International Conference, Seattle, WA, USA, October 12-15, 2003, Proceedings (Lecture Notes in Computer Science))

By Anind K. Dey, Albrecht Schmidt, Joseph F. McCarthy

£45.54

Formal Methods for Components and Objects (First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects (First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

£45.07

Self-Managing Distributed Systems (14th IFIP/IEEE International Workshop on Distributed Systems - Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings (Lecture Notes in Computer Science))

By Marcus Brunner, Alexander Keller

Self-Managing Distributed Systems (14th IFIP/IEEE International Workshop on Distributed Systems - Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings (Lecture Notes in Computer Science))

By Marcus Brunner, Alexander Keller

£45.16

Job Scheduling Strategies for Parallel Processing (9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers (Lecture Notes in Computer Science))

By Dror G. Feitelson, Larry Rudolph, Uwe Schwiegelshohn

Job Scheduling Strategies for Parallel Processing (9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers (Lecture Notes in Computer Science))

By Dror G. Feitelson, Larry Rudolph, Uwe Schwiegelshohn

£45.05

Formal Methods for Open Object-Based Distributed Systems (6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Uwe Nestmann, Perdita Stevens

Formal Methods for Open Object-Based Distributed Systems (6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (Lecture Notes in Computer Science))

By Elie Najm, Uwe Nestmann, Perdita Stevens

£45.02

View:
Safe Search(?):