Formal Techniques in Real-Time and Fault Tolerant Systems (6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Mathai Joseph

Formal Techniques in Real-Time and Fault Tolerant Systems (6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Mathai Joseph

£44.94

Integrated Formal Methods (Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolfgang Grieskamp, Thomas Santen, Bill Stoddart

Integrated Formal Methods (Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Wolfgang Grieskamp, Thomas Santen, Bill Stoddart

£45.03

Compiler Optimizations for Scalable Parallel Systems (Languages, Compilation Techniques and Run Time Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Santosh Pande, Dharma P. Agrawal

Compiler Optimizations for Scalable Parallel Systems (Languages, Compilation Techniques and Run Time Systems (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Santosh Pande, Dharma P. Agrawal

£45.52

Concur 2001 Concurrency Theory (12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kim G. Larsen, Mogens Nielsen

Concur 2001 Concurrency Theory (12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kim G. Larsen, Mogens Nielsen

£45.76

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

CONCUR 2002 - Concurrency Theory (13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

£89.59

Category Theory and Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts

Category Theory and Computer Science (Manchester, UK, September 5-8, 1989, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts

£40.60

ICDT '90 (Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Serge Abiteboul, Paris C. Kanellakis

ICDT '90 (Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Serge Abiteboul, Paris C. Kanellakis

£45.09

Theoretical Aspects of Computer Software (International Conference Tacs '91, Sendai, Japan, September 24-27, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Takayasu Ito, Albert R. Meyer

Theoretical Aspects of Computer Software (International Conference Tacs '91, Sendai, Japan, September 24-27, 1991. Proceedings: 1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Takayasu Ito, Albert R. Meyer

£88.96

Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings (1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Axel van Lamsweerde, Alfonso Fuggetta

Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings (1991 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Axel van Lamsweerde, Alfonso Fuggetta

£45.08

CONCUR '92 (Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Walter R. Cleaveland

CONCUR '92 (Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Walter R. Cleaveland

£89.37

Formal Methods in Programming and Their Applications (International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

Formal Methods in Programming and Their Applications (International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Lecture Notes in Computer Science))

By Dines Bjørner, Manfred Broy, Igor V. Pottosin

£45.61

Programming Languages and System Architectures (International Conference, Zurich, Switzerland, March 2-4, 1994 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jürg Gutknecht

Programming Languages and System Architectures (International Conference, Zurich, Switzerland, March 2-4, 1994 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jürg Gutknecht

£45.03

Logic, Language and Computation (Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Neil D. Jones, Masami Hagiya, Masahiko Sato

Logic, Language and Computation (Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Neil D. Jones, Masami Hagiya, Masahiko Sato

£44.99

ADA in Europe (Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marcel Toussaint

ADA in Europe (Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Marcel Toussaint

£46.11

Concur'97, Concurrency Theory (8th International Conference, Warsaw, Poland, July 1-4, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Antoni Mazurkiewicz, Jozef Winkowski

Concur'97, Concurrency Theory (8th International Conference, Warsaw, Poland, July 1-4, 1997: Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Antoni Mazurkiewicz, Jozef Winkowski

£45.02

Concur'98: Concurrency Theory (9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Davide Sangiorgi, Robert de Simone

Concur'98: Concurrency Theory (9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Davide Sangiorgi, Robert de Simone

£89.45

Concur 2000. Concurrency Theory (11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Catuscia Palamidessi

Concur 2000. Concurrency Theory (11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Catuscia Palamidessi

£88.77

Rough Sets and Current Trends in Computing (6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko

Rough Sets and Current Trends in Computing (6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko

£45.12

Mathematical Software - ICMS 2018 (6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science))

By James H. Davenport, Manuel Kauers, George Labahn, Josef Urban

Mathematical Software - ICMS 2018 (6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings (Lecture Notes in Computer Science))

By James H. Davenport, Manuel Kauers, George Labahn, Josef Urban

£45.11

Tools and Algorithms for the Construction and Analysis of Systems (16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings ( ..)

By Javier Esparza, Rupak Majumdar

Tools and Algorithms for the Construction and Analysis of Systems (16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings ( ..)

By Javier Esparza, Rupak Majumdar

£53.70

Inductive Logic Programming (19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Luc De Raedt

Inductive Logic Programming (19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Luc De Raedt

£45.04

Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Le ..)

By Nir Piterman, Scott Smolka

Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Le ..)

By Nir Piterman, Scott Smolka

£45.32

Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)

By Erika Abraham, Klaus Havelund

Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)

By Erika Abraham, Klaus Havelund

£45.66

Hardware Description Languages and their Applications (Specification, modelling, verification and synthesis of microelectronic systems (IFIP Advances in Information and Communication Technology))

By Carlos Delgado Kloos, Eduard Cerny

Hardware Description Languages and their Applications (Specification, modelling, verification and synthesis of microelectronic systems (IFIP Advances in Information and Communication Technology))

By Carlos Delgado Kloos, Eduard Cerny

£128

View:
Safe Search(?):