Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (263)
Age Range
All Ranges
15+ (58)
All Ages (11)
Country
All Countries
Germany (206)
Switzerland (30)
United States (12)
Netherlands (5)
United Kingdom (4)
More...
    Results for "Algebras In Analysis"
    Algebras In Analysis
    281 results
    Sold By
    All Sellers
    Fishpond (263)
    Age Range
    All Ranges
    15+ (58)
    All Ages (11)
    Country
    All Countries
    Germany (206)
    Switzerland (30)
    United States (12)
    Netherlands (5)
    United Kingdom (4)
    More...
      281 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      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
      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.59
      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
      Automated Technology for ­Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))
      By Dang van Hung, Mizuhito Ogawa
      Automated Technology for ­Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))
      By Dang van Hung, Mizuhito Ogawa
      £45.12
      Numeric Computation and ­Statistical Data Analysis ­on the Java Platform (Advanced Information and Knowledge Processing)
      By Chekanov, Sergei V.
      Numeric Computation and ­Statistical Data Analysis ­on the Java Platform (Advanced Information and Knowledge Processing)
      By Chekanov, Sergei V.
      £89.13
      Automated Technology for ­Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Cyrille Artho, Axel Legay, Doron Peled
      Automated Technology for ­Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
      By Cyrille Artho, Axel Legay, Doron Peled
      £47.95
      Numeric Computation and ­Statistical Data Analysis ­on the Java Platform (Advanced Information and Knowledge Processing)
      By Chekanov, Sergei V.
      Numeric Computation and ­Statistical Data Analysis ­on the Java Platform (Advanced Information and Knowledge Processing)
      By Chekanov, Sergei V.
      £99.97
      Formal Modeling and ­Analysis of Timed Systems (7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Joel Ouaknine, Frits W. Vaandrager
      Formal Modeling and ­Analysis of Timed Systems (7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
      By Joel Ouaknine, Frits W. Vaandrager
      £45.01
      Developments in Reliable ­Computing
      By Tibor Csendes
      Developments in Reliable ­Computing
      By Tibor Csendes
      £88.71
      Modeling Languages in ­Mathematical Optimization (Applied Optimization)
      By Josef Kallrath
      Modeling Languages in ­Mathematical Optimization (Applied Optimization)
      By Josef Kallrath
      £180
      Modeling Languages in ­Mathematical Optimization (Applied Optimization)
      By Josef Kallrath
      Modeling Languages in ­Mathematical Optimization (Applied Optimization)
      By Josef Kallrath
      £175
      Developments in Reliable ­Computing
      By Tibor Csendes
      Developments in Reliable ­Computing
      By Tibor Csendes
      £88.62
      Automated Reasoning (10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))
      By Nicolas Peltier, Viorica Sofronie-Stokkermans
      Automated Reasoning (10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))
      By Nicolas Peltier, Viorica Sofronie-Stokkermans
      £64.82
      Mathematical Foundations of ­Computer Science 1978 (7th Symposium Zakopane, Poland, September 4-8, 1978, Proceedings: v. 64 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By J. Winkowski
      Mathematical Foundations of ­Computer Science 1978 (7th Symposium Zakopane, Poland, September 4-8, 1978, Proceedings: v. 64 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By J. Winkowski
      £45.10
      Automata, Languages, and ­Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By J. Paredaens
      Automata, Languages, and ­Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By J. Paredaens
      £44.13
      Parle Parallel Architectures­ and Languages Europe (Proceedings of the Parle Parallel Architectures Conference Europe: Vol 2 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
      Parle Parallel Architectures­ and Languages Europe (Proceedings of the Parle Parallel Architectures Conference Europe: Vol 2 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Jacobus W. de Bakker, A.J. Nijman, Philip C. Treleaven
      £43.08
      Functional Programming ­Languages and Computer ­Architecture (Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Gilles Kahn
      Functional Programming ­Languages and Computer ­Architecture (Portland, Oregon, USA, September 14-16, 1987. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By Gilles Kahn
      £43.07
      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
      First Steps in Maple
      By Werner Burkhardt, M.J. Stewart
      First Steps in Maple
      By Werner Burkhardt, M.J. Stewart
      £44.94
      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
      Previous Page 12345678910 Next Page
      Previous Page 12345678910 Next Page
      We use essential and some optional cookies to provide you the best shopping experience. Visit our cookies policy page for more information.