Browse Books: Mathematics / Logic

Philosophy of Science for Scientists (Springer Undergraduate Texts in Philosophy) By Lars-Göran Johansson Cover Image

Philosophy of Science for Scientists (Springer Undergraduate Texts in Philosophy) (Paperback)
By Lars-Göran Johansson
$64.99
Usually arrives at our store within 4-7 days

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. an Eatcs) By Simona Ronchi Della Rocca, Luca Paolini Cover Image

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. an Eatcs) (Hardcover)
By Simona Ronchi Della Rocca, Luca Paolini
$54.99
Usually arrives at our store within 4-7 days

Unconventional Programming Paradigms: International Workshop Upp 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invit By Jean-Pierre Banâtre (Editor), Pascal Fradet (Editor), Jean-Louis Giavitto (Editor) Cover Image

Unconventional Programming Paradigms: International Workshop Upp 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invit (Paperback)
By Jean-Pierre Banâtre (Editor), Pascal Fradet (Editor), Jean-Louis Giavitto (Editor)
$54.99
Usually arrives at our store within 4-7 days

Fuzzy Logic and Applications: 6th International Workshop, Wilf 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers By Isabelle Bloch (Editor), Alfredo Petrosino (Editor), Andrea G. B. Tettamanzi (Editor) Cover Image

Fuzzy Logic and Applications: 6th International Workshop, Wilf 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers (Paperback)
By Isabelle Bloch (Editor), Alfredo Petrosino (Editor), Andrea G. B. Tettamanzi (Editor)
$54.99
Usually arrives at our store within 4-7 days

Colog-88: International Conference on Computer Logic, Tallinn, Ussr, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science #417) By Per Martin-Löf (Editor), Grigori Mints (Editor) Cover Image

Colog-88: International Conference on Computer Logic, Tallinn, Ussr, December 12-16, 1988, Proceedings (Lecture Notes in Computer Science #417) (Paperback)
By Per Martin-Löf (Editor), Grigori Mints (Editor)
$54.99
Usually arrives at our store within 4-7 days

On the Shape of Mathematical Arguments (Lecture Notes in Computer Science #445) By Antonetta J. M. Van Gasteren, Edsger W. Dijkstra (Foreword by) Cover Image

On the Shape of Mathematical Arguments (Lecture Notes in Computer Science #445) (Paperback)
By Antonetta J. M. Van Gasteren, Edsger W. Dijkstra (Foreword by)
$54.99
Usually arrives at our store within 4-7 days

Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way (Lecture Notes in Logic #4) By Arnold Miller Cover Image

Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way (Lecture Notes in Logic #4) (Paperback)
By Arnold Miller
$54.99
Usually arrives at our store within 4-7 days

Formal Correctness of Security Protocols (Information Security and Cryptography) By Giampaolo Bella Cover Image

Formal Correctness of Security Protocols (Information Security and Cryptography) (Hardcover)
By Giampaolo Bella
$54.99
Usually arrives at our store within 4-7 days

Modelling Distributed Systems (Texts in Theoretical Computer Science. an Eatcs) By Wan Fokkink Cover Image

Modelling Distributed Systems (Texts in Theoretical Computer Science. an Eatcs) (Hardcover)
By Wan Fokkink
$54.99
Usually arrives at our store within 4-7 days

Annotating, Extracting and Reasoning about Time and Events: International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005, Revised Papers By Frank Schilder (Editor), Graham Katz (Editor), James Pustejovsky (Editor) Cover Image

Annotating, Extracting and Reasoning about Time and Events: International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005, Revised Papers (Paperback)
By Frank Schilder (Editor), Graham Katz (Editor), James Pustejovsky (Editor)
$54.99
Usually arrives at our store within 4-7 days

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. an Eatcs) By Klaus Schneider Cover Image

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. an Eatcs) (Paperback)
By Klaus Schneider
$54.99
Usually arrives at our store within 4-7 days

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. an Eatcs) By Simona Ronchi Della Rocca, Luca Paolini Cover Image

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. an Eatcs) (Paperback)
By Simona Ronchi Della Rocca, Luca Paolini
$54.99
Usually arrives at our store within 4-7 days

Pages