Warehouse Stock Clearance Sale

Grab a bargain today!

  1. Search
  2. All Products
Sold By
All Sellers
Fishpond (16)
Country
All Countries
Germany (10)
United States (3)
United Kingdom (2)
UK (1)
    Results for "Algebraic Logic Algebra"
    Algebraic Logic Algebra
    18 results
    Sold By
    All Sellers
    Fishpond (16)
    Country
    All Countries
    Germany (10)
    United States (3)
    United Kingdom (2)
    UK (1)
      18 results
      • Bestselling
      • Relevance
      • Price: Lowest
      Sort By
      View:
      Mathematical Logic (A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems)
      By Rene, Daniel, Donald Pelletier
      Mathematical Logic (A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems)
      By Rene, Daniel, Donald Pelletier
      HK$639 Elsewhere HK$741.52 Save HK$102.52 (14%)
      Mathematical Logic (A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems)
      By Rene Cori, Daniel Lascar, Donald Pelletier
      Mathematical Logic (A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems)
      By Rene Cori, Daniel Lascar, Donald Pelletier
      HK$1,196 Elsewhere HK$1,802.31 Save HK$606.31 (34%)
      Fundamentals of Algebraic ­Specification 2 (Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series))
      By Ehrig, Hartmut, Mahr, Bernd
      Fundamentals of Algebraic ­Specification 2 (Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series))
      By Ehrig, Hartmut, Mahr, Bernd
      HK$583
      Fundamentals of Algebraic ­Specification 2 (Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series))
      By Mahr, Bernd, Ehrig, Hartmut
      Fundamentals of Algebraic ­Specification 2 (Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series))
      By Mahr, Bernd, Ehrig, Hartmut
      HK$556
      Mathematical Foundations of ­Software Development. ­Proceedings of the ­International Joint ­Conference on Theory and ­Practice of Software ­Development (TAPSOFT), ­Berlin, March 25-29, 1985 (Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) (Le)
      By Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
      Mathematical Foundations of ­Software Development. ­Proceedings of the ­International Joint ­Conference on Theory and ­Practice of Software ­Development (TAPSOFT), ­Berlin, March 25-29, 1985 (Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) (Le)
      By Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
      HK$560
      Logics and Models of ­Concurrent Systems (Nato ASI Subseries F:)
      By Krzysztof R. Apt
      Logics and Models of ­Concurrent Systems (Nato ASI Subseries F:)
      By Krzysztof R. Apt
      HK$992
      Structured Computer ­Organization (International Edition)
      By Andrew S. Tanenbaum, Todd Austin
      Structured Computer ­Organization (International Edition)
      By Andrew S. Tanenbaum, Todd Austin
      HK$1,300
      578
      Lectures in Pattern Theory (Volume 2: Pattern Analysis (Applied Mathematical Sciences))
      By Grenander, Ulf
      Lectures in Pattern Theory (Volume 2: Pattern Analysis (Applied Mathematical Sciences))
      By Grenander, Ulf
      HK$1,151
      The Carnegie-Mellon ­Curriculum for Undergraduate­ Computer Science
      By Mauldin, M., Brookes, S. D., M. Donner
      The Carnegie-Mellon ­Curriculum for Undergraduate­ Computer Science
      By Mauldin, M., Brookes, S. D., M. Donner
      HK$492
      Advances in Data Base ­Theory (Volume 2)
      By Gallaire, Hervé, Minker, Jack, Jean Marie Nicolas
      Advances in Data Base ­Theory (Volume 2)
      By Gallaire, Hervé, Minker, Jack, Jean Marie Nicolas
      HK$559
      Formalization of Programming­ Concepts (International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings: v. 107 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By J. Diaz, I. Ramos
      Formalization of Programming­ Concepts (International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings: v. 107 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By J. Diaz, I. Ramos
      HK$540
      International Symposium on ­Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By M. Dezani-Ciancaglini, U. Montanari
      International Symposium on ­Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
      By M. Dezani-Ciancaglini, U. Montanari
      HK$537
      STACS 84 (Symposium of Theoretical Aspects of Computer Science Paris, April 11-13, 1984 (Lecture Notes in Computer Science))
      By M. Fontet, Kurt Mehlhorn
      STACS 84 (Symposium of Theoretical Aspects of Computer Science Paris, April 11-13, 1984 (Lecture Notes in Computer Science))
      By M. Fontet, Kurt Mehlhorn
      HK$305
      Semantics of Data Types (International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science))
      By G. Kahn, D. B. MacQueen, G. Plotkin
      Semantics of Data Types (International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science))
      By G. Kahn, D. B. MacQueen, G. Plotkin
      HK$532
      Foundations of Software ­Technology and Theoretical ­Computer Science (Fourth Conference, Bangalore, India December 13-15, 1984, Proceedings: v. 181 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By M. Joseph, Rudrapatna K. Shyamasundar
      Foundations of Software ­Technology and Theoretical ­Computer Science (Fourth Conference, Bangalore, India December 13-15, 1984, Proceedings: v. 181 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
      By M. Joseph, Rudrapatna K. Shyamasundar
      HK$540
      Information Systems and ­Data Analysis (Prospects, Foundations, Applications - Proceedings of the 17th Annual Conference of the Gesellschaft fur Klassifikation e.V., University of Kaiserslautern, March 3-5, 1993 (Studies in Classification, Data Analysis, a)
      By Hans-Hermann Bock, Wolfgang Lenski, Michael M. Richter, M.M. Richter
      Information Systems and ­Data Analysis (Prospects, Foundations, Applications - Proceedings of the 17th Annual Conference of the Gesellschaft fur Klassifikation e.V., University of Kaiserslautern, March 3-5, 1993 (Studies in Classification, Data Analysis, a)
      By Hans-Hermann Bock, Wolfgang Lenski, Michael M. Richter, M.M. Richter
      HK$985
      New Concepts and ­Technologies in Parallel ­Information Processing (NATO Science Series E:)
      By E.R. Caianiello
      New Concepts and ­Technologies in Parallel ­Information Processing (NATO Science Series E:)
      By E.R. Caianiello
      Currently
      Unavailable
      New Concepts and ­Technologies in Parallel ­Information Processing (Nato Science Series E:)
      By E.R. Caianiello
      New Concepts and ­Technologies in Parallel ­Information Processing (Nato Science Series E:)
      By E.R. Caianiello
      Currently
      Unavailable