Specification, Algebra, and Software (Essays Dedicated to Kokichi Futatsugi (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Shusaku Iida, José Meseguer, Kazuhiro Ogata

Specification, Algebra, and Software (Essays Dedicated to Kokichi Futatsugi (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Shusaku Iida, José Meseguer, Kazuhiro Ogata

£45.32

Computer Algorithms for Solving Linear Algebraic Equations (The State of the Art (NATO Asi Series / NATO Asi Subseries F:))

By Emilio Goiuseppe Spedicato

Computer Algorithms for Solving Linear Algebraic Equations (The State of the Art (NATO Asi Series / NATO Asi Subseries F:))

By Emilio Goiuseppe Spedicato

£88.65

Quantitative Methods of Data Analysis for the Physical Sciences and Engineering

By Martinson, Professor Douglas G.

Quantitative Methods of Data Analysis for the Physical Sciences and Engineering

By Martinson, Professor Douglas G.

£49.49 Elsewhere ~~£54.99~~ Save £5.50 (10%)

A Journey from Process Algebra via Timed Automata to Model Learning (Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science))

By Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

A Journey from Process Algebra via Timed Automata to Model Learning (Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (Lecture Notes in Computer Science))

By Nils Jansen, Mariëlle Stoelinga, Petra van den Bos

£45.16

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science))

By Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (Lecture Notes in Computer Science))

By Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

£99.97 Elsewhere ~~£109.99~~ Save £10.02 (9%)

11th International Conference on Analysis and Optimization of Systems (Discrete Event Systems: Sophia-Antipolis, June 15-16-17, 1994 (Lecture Notes in Control and Information Sciences))

By Guy Cohen, Jean-Pierre Quadrat

11th International Conference on Analysis and Optimization of Systems (Discrete Event Systems: Sophia-Antipolis, June 15-16-17, 1994 (Lecture Notes in Control and Information Sciences))

By Guy Cohen, Jean-Pierre Quadrat

£45.52

Concept Lattices (Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Peter W. Eklund

Concept Lattices (Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Peter W. Eklund

£45.01

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

Formal Modeling and Analysis of Timed Systems (First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science))

By Kim G. Larsen, Peter Niebert

£45.17

Static Analysis (11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (Lecture Notes in Computer Science))

By Roberto Giacobazzi

Static Analysis (11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (Lecture Notes in Computer Science))

By Roberto Giacobazzi

£45.01

Automated Technology for Verification and Analysis (Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science))

By Farn Wang

Automated Technology for Verification and Analysis (Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science))

By Farn Wang

£88.72

Formal Concept Analysis (Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Bernhard Ganter, Robert Godin

Formal Concept Analysis (Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Bernhard Ganter, Robert Godin

£45.02

Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Chris Hankin, Igor Siveroni

Static Analysis (12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Chris Hankin, Igor Siveroni

£45.54

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

£45.68

Formal Concept Analysis (4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings (Lecture Notes in Artificial Intelligence))

By Rokia Missaoui, Jurg Schmid

Formal Concept Analysis (4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings (Lecture Notes in Artificial Intelligence))

By Rokia Missaoui, Jurg Schmid

£45.31

Static Analysis (9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Manuel Hermenegildo, German Puebla

Static Analysis (9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Manuel Hermenegildo, German Puebla

£45.08

Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))

By Eugene Asarin, Patricia Bouyer

Formal Modeling and Analysis of Timed Systems (4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Theoretical Computer Science and General Issues))

By Eugene Asarin, Patricia Bouyer

£45.55

Variations on Constants (Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science / Programming and Software Engineering))

By Markus Muller-Olm

Variations on Constants (Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science / Programming and Software Engineering))

By Markus Muller-Olm

£45.14

Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings (3rd: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in)

By Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy

Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings (3rd: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in)

By Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy

£44.99

Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (4th: International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 - Proceedings (Lecture Notes in Computer Science))

By Giorgio Levi, Mario Rodriguez-Artalejo

Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (4th: International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 - Proceedings (Lecture Notes in Computer Science))

By Giorgio Levi, Mario Rodriguez-Artalejo

£45

Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (1st: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 - Proceedings (Lecture Notes)

By Baudoin LeCharlier

Static Analysis: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (1st: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 - Proceedings (Lecture Notes)

By Baudoin LeCharlier

£45.05

Static Analysis (4th International Symposium, SAS '97, Paris, France, September 8-10, 1997: Proceedings (Lecture Notes in Computer Science))

By Pascal Van Hentenryck

Static Analysis (4th International Symposium, SAS '97, Paris, France, September 8-10, 1997: Proceedings (Lecture Notes in Computer Science))

By Pascal Van Hentenryck

£45.60

Formal Concept Analysis (5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Sergei O. Kuznetsov, Stefan Schmidt

Formal Concept Analysis (5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Sergei O. Kuznetsov, Stefan Schmidt

£45.34

Formal Concept Analysis (6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Raoul Medina, Sergei Obiedkov

Formal Concept Analysis (6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Raoul Medina, Sergei Obiedkov

£45.04

Automated Technology for Verification and Analysis (6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Sungdeok, Jin-Young Choi, Moonzoo Kim, Insup Lee

Automated Technology for Verification and Analysis (6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Sungdeok, Jin-Young Choi, Moonzoo Kim, Insup Lee

£45.05

View:
Safe Search(?):