Programming Languages - Implementations, Logics, and Programs: 8th International Symposium, Plilp '96, Aachen, Germany, September 24 - 27, 1996, Proceedings (8th: International Symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 - Proceedings (Le)

By Herbert R. Kuchen, S. Doaitse Swierstra

Programming Languages - Implementations, Logics, and Programs: 8th International Symposium, Plilp '96, Aachen, Germany, September 24 - 27, 1996, Proceedings (8th: International Symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 - Proceedings (Le)

By Herbert R. Kuchen, S. Doaitse Swierstra

£45.08

TAPSOFT'97: Theory and Practice of Software Development (7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings (Lecture Notes in Computer Science))

By Michel Bidoit, Max Dauchet

TAPSOFT'97: Theory and Practice of Software Development (7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings (Lecture Notes in Computer Science))

By Michel Bidoit, Max Dauchet

£99.97

Automata, Languages and Programming (24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings (Lecture Notes in Computer Science))

By Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela

Automata, Languages and Programming (24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings (Lecture Notes in Computer Science))

By Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela

£99.95

Programming Languages (Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Compu ..)

By Hugh Glaser, Peter Hartel, Herbert R. Kuchen

Programming Languages (Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Compu ..)

By Hugh Glaser, Peter Hartel, Herbert R. Kuchen

£45.02

Foundations of Software Science and Computation Structures (First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (L)

By Maurice Nivat

Foundations of Software Science and Computation Structures (First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (L)

By Maurice Nivat

£44.99

Fundamental Approaches to Software Engineering (First International Conference, FASE '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Lecture Notes)

By Egidio Astesiano

Fundamental Approaches to Software Engineering (First International Conference, FASE '98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings (Lecture Notes)

By Egidio Astesiano

£45.02

Principles of Declarative Programming (10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : Proceedings (Lecture Notes in Computer Science))

By Catuscia Palamidessi, Hugh Glaser, Karl Meinke

Principles of Declarative Programming (10th International Symposium, PLILP'98, Held Jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : Proceedings (Lecture Notes in Computer Science))

By Catuscia Palamidessi, Hugh Glaser, Karl Meinke

£45.67

Recent Advances in Parallel Virtual Machine and Message Passing Interface (5th European PVM/MPI User's Group Meeting, Liverpool, UK, September 7-9, 1998 : Proceedings (Lecture Notes in Computer Science))

By Vassil Alexandrov, Jack Dongarra

Recent Advances in Parallel Virtual Machine and Message Passing Interface (5th European PVM/MPI User's Group Meeting, Liverpool, UK, September 7-9, 1998 : Proceedings (Lecture Notes in Computer Science))

By Vassil Alexandrov, Jack Dongarra

£45.02

STACS 99 (16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Christoph Meinel, Sophie Tison

STACS 99 (16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Christoph Meinel, Sophie Tison

£88.74

Foundations of Software Science and Computation Structures (Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed ..)

By Wolfgang Thomas

Foundations of Software Science and Computation Structures (Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed ..)

By Wolfgang Thomas

£44.95

Constraint Databases

By Gabriel Kuper, Leonid Libkin, Jan Paredaens

Constraint Databases

By Gabriel Kuper, Leonid Libkin, Jan Paredaens

£128

CONCUR'99. Concurrency Theory (10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science))

By Jos C.M. Baeten, Sjouke Mauw

CONCUR'99. Concurrency Theory (10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science))

By Jos C.M. Baeten, Sjouke Mauw

£89.36

Software Engineering - ESEC/FSE '99 (7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings (Lecture Notes in Computer ..)

By Oskar Nierstrasz, Michel Lemoine

Software Engineering - ESEC/FSE '99 (7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings (Lecture Notes in Computer ..)

By Oskar Nierstrasz, Michel Lemoine

£45.09

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

FM'99 - Formal Methods (World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

£101

Perspectives of System Informatics (Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings: Third International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, J)

By Dines Bjorner, Manfred Broy, Alexandre V. Zamulin

Perspectives of System Informatics (Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings: Third International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, J)

By Dines Bjorner, Manfred Broy, Alexandre V. Zamulin

£88.74

Foundation of Software Science and Computation Structures (Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings ..)

By Jerzy Tiuryn

Foundation of Software Science and Computation Structures (Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings ..)

By Jerzy Tiuryn

£45.02

Fundamental Approaches to Software Engineering (Third International Conference, Fase 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings: FASE 2000 Held as)

By Tom Maibaum

Fundamental Approaches to Software Engineering (Third International Conference, Fase 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings: FASE 2000 Held as)

By Tom Maibaum

£44.99

Essentials of Constraint Programming (Cognitive Technologies)

By Abdennadher, Slim, Frühwirth, Thom

Essentials of Constraint Programming (Cognitive Technologies)

By Abdennadher, Slim, Frühwirth, Thom

£45.03

Rewriting Techniques and Applications (11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))

By Leo Bachmair

Rewriting Techniques and Applications (11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))

By Leo Bachmair

£44.92

Languages and Compilers for Parallel Computing (12th International Workshop, LCPC'99 LA Jolla, Ca, USA, August 4-6, 1999 Proceedings (Lecture Notes in Computer Science))

By Larry Carter, Jeanne Ferrante

Languages and Compilers for Parallel Computing (12th International Workshop, LCPC'99 LA Jolla, Ca, USA, August 4-6, 1999 Proceedings (Lecture Notes in Computer Science))

By Larry Carter, Jeanne Ferrante

£45.07

Mathematical Foundations of Computer Science (25th International Symposium, Mfcs 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Mogens Nielsen, Branislav Rovan

Mathematical Foundations of Computer Science (25th International Symposium, Mfcs 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Mogens Nielsen, Branislav Rovan

£89.50

Formal Methods for Computational Systems Biology (8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 (Programming and Software Engineering))

By Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

Formal Methods for Computational Systems Biology (8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 (Programming and Software Engineering))

By Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

£45.12

Practical Aspects of Declarative Languages (9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science))

By Michael Hanus

Practical Aspects of Declarative Languages (9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science))

By Michael Hanus

£45.04

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

Mathematics of Program Construction (9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Philippe Audebaud, Christine Paulin-Mohring

£52.07

View:
Safe Search(?):