Automata, Languages and Programming (15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Timo Lepistoe, Arto Salomaa

Automata, Languages and Programming (15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Timo Lepistoe, Arto Salomaa

£88.95

Verification, Model Checking, and Abstract Interpretation (5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Bernhard Steffen, Giorgio Levi

Verification, Model Checking, and Abstract Interpretation (5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Bernhard Steffen, Giorgio Levi

£45.02

Soft Computing in Software Engineering (Studies in Fuzziness and Soft Computing)

By Ernesto Damiani, Mauro Madravio, Mauro Madravio

Soft Computing in Software Engineering (Studies in Fuzziness and Soft Computing)

By Ernesto Damiani, Mauro Madravio, Mauro Madravio

£128

Automated Reasoning (Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By David Basin, Michael Rusinowitch

Automated Reasoning (Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By David Basin, Michael Rusinowitch

£89.48

Theorem Proving in Higher Order Logics (17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science))

By Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

Theorem Proving in Higher Order Logics (17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science))

By Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

£45.03

Parallel Computing Technologies (7th International Conference, Pact 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Victor Malyshkin

Parallel Computing Technologies (7th International Conference, Pact 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Victor Malyshkin

£45.11

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

Applied Parallel Computing. New Paradigms for HPC in Industry and Academia (5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Tor Sorevik, Fredrik Manne, Randi Moe

Applied Parallel Computing. New Paradigms for HPC in Industry and Academia (5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Tor Sorevik, Fredrik Manne, Randi Moe

£45

Tools and Algorithms for the Construction and Analysis of Systems (7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture N)

By Tiziana Margaria, Wang Yi

Tools and Algorithms for the Construction and Analysis of Systems (7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture N)

By Tiziana Margaria, Wang Yi

£88.74

Concurrent Object-oriented Programming and Petri Nets (Advances in Petri Nets (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg

Concurrent Object-oriented Programming and Petri Nets (Advances in Petri Nets (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg

£89.34

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

Lectures on Formal Methods and Performance Analysis (First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000. Revised Lectures: First EEF Summer School on Trends in Computer Science Berg En Dal, the Netherla)

By Ed. Brinksma, Holger Hermanns, Jost-Pieter Katoen

Lectures on Formal Methods and Performance Analysis (First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000. Revised Lectures: First EEF Summer School on Trends in Computer Science Berg En Dal, the Netherla)

By Ed. Brinksma, Holger Hermanns, Jost-Pieter Katoen

£45.03

Large-scale Scientific Computing (Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Svetozar D. Margenov, Jerzy Wasniewski, Plamen Yalamov

Large-scale Scientific Computing (Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Svetozar D. Margenov, Jerzy Wasniewski, Plamen Yalamov

£45.07

Unifying Petri Nets (Advances in Petri Nets (Lecture Notes in Computer Science))

By Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg

Unifying Petri Nets (Advances in Petri Nets (Lecture Notes in Computer Science))

By Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg

£45.06

Theorem Proving in Higher Order Logics (15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : Proceedings (Lecture Notes in Computer Science))

By Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar

Theorem Proving in Higher Order Logics (15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : Proceedings (Lecture Notes in Computer Science))

By Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar

£44.97

Interactive Markov Chains (The Quest for Quantified Quality (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hermanns, Holger

Interactive Markov Chains (The Quest for Quantified Quality (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hermanns, Holger

£45.20

Rough Sets and Current Trends in Computing (Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By James J. Alpigini, James F. Peters, Andrzeij Skowron, Ning Zhong

Rough Sets and Current Trends in Computing (Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By James J. Alpigini, James F. Peters, Andrzeij Skowron, Ning Zhong

£88.81

Foundations of Software Technology and Theoretical Computer Science (Eighth Conference, Pune, India, December 21-23, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kesav V. Nori, Sanjeev Kumar

Foundations of Software Technology and Theoretical Computer Science (Eighth Conference, Pune, India, December 21-23, 1988, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Kesav V. Nori, Sanjeev Kumar

£45.70

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

Automatic Verification Methods for Finite State Systems (International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joseph Sifakis

Automatic Verification Methods for Finite State Systems (International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joseph Sifakis

£45.56

Colog-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (1988 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Per Martin-Löf, Grigori Mints

Colog-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (1988 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Per Martin-Löf, Grigori Mints

£45.02

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

Intelligent Tutoring Systems (Second International Conference, ITS '92, Montreal, Canada, June 10-12, 1992 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Claude Frasson, Gilles Gauthier, Gordon I. McCalla

Intelligent Tutoring Systems (Second International Conference, ITS '92, Montreal, Canada, June 10-12, 1992 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Claude Frasson, Gilles Gauthier, Gordon I. McCalla

£88.81

View:
Safe Search(?):