Author(s)
Bibliographic Information
MIT Press series in the foundations of computing
MIT Press
- Other Title
-
Foundations of computing series
Foundations of computing
Search this Book/Journal
Related Books： 1-20 of 29
- 1
- 2
- 1 / 2
-
1
- Dynamic logic
-
David Harel, Dexter Kozen, Jerzy Tiuryn
MIT Press 2000 MIT Press series in the foundations of computing
Available at 31 libraries
-
2
- Proof, language, and interaction : essays in honour of Robin Milner
-
edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
MIT Press c2000 MIT Press series in the foundations of computing
: hc
Available at 26 libraries
-
3
- Computability and complexity : from a programming perspective
-
Neil D. Jones
MIT Press c1997 MIT Press series in the foundations of computing
Available at 47 libraries
-
4
- Efficient algorithms
-
Eric Bach and Jeffrey Shallit
MIT Press c1996 MIT Press series in the foundations of computing . Algorithmic number theory ; v. 1
: pbk
Available at 1 libraries
-
5
- Foundations for programming languages
-
John C. Mitchell
MIT Press c1996 MIT Press series in the foundations of computing
Available at 45 libraries
-
6
- Efficient algorithms
-
Eric Bach and Jeffrey Shallit
MIT Press c1996 MIT Press series in the foundations of computing . Algorithmic number theory ; v. 1
Available at 57 libraries
-
7
- Algebraic semantics of imperative programs
-
Joseph A. Goguen and Grant Malcolm
MIT Press c1996 MIT Press series in the foundations of computing
Available at 28 libraries
-
8
- Control flow semantics
-
Jaco de Bakker and Erik de Vink
MIT Press c1996 MIT Press series in the foundations of computing
Available at 29 libraries
-
9
- Circuit complexity and neural networks
-
Ian Parberry
MIT Press c1994 MIT Press series in the foundations of computing
Available at 33 libraries
-
10
- Theoretical aspects of object-oriented programming : types, semantics, and language design
-
edited by Carl A. Gunter and John C. Mitchell
MIT Press c1994 MIT Press series in the foundations of computing
Available at 38 libraries
-
11
- Logic and information flow
-
edited by Jan van Eijck and Albert Visser
MIT Press c1994 MIT Press series in the foundations of computing
Available at 28 libraries
-
12
- The structure of typed programming languages
-
David A. Schmidt
MIT Press c1994 MIT Press series in the foundations of computing
Available at 40 libraries
-
13
- From logic to logic programming
-
Kees Doets
MIT Press c1994 MIT Press series in the foundations of computing
Available at 43 libraries
-
14
- The formal semantics of programming languages : an introduction
-
Glynn Winskel
MIT Press c1993 MIT Press series in the foundations of computing
Available at 1 libraries
-
15
- Exploring interior-point linear programming : algorithms and software
-
Ami Arbel
MIT Press c1993 MIT Press series in the foundations of computing
Available at 23 libraries
-
16
- Hilbert's tenth problem
-
Yuri V. Matiyasevich ; with a foreword by Martin Davis
MIT Press c1993 MIT Press series in the foundations of computing
Available at 42 libraries
-
17
- The formal semantics of programming languages : an introduction
-
Glynn Winskel
MIT Press c1993 MIT Press series in the foundations of computing
: pbk
Available at 63 libraries
-
18
- Semantics of programming languages : structures and techniques
-
Carl A. Gunter
MIT Press c1992 MIT Press series in the foundations of computing
Available at 49 libraries
-
19
- Basic category theory for computer scientists
-
Benjamin C. Pierce
MIT Press c1991 MIT Press series in the foundations of computing
Available at 68 libraries
-
20
- Categories, types, and structures : an introduction to category theory for the working computer scientist
-
Andrea Asperti, Giuseppe Longo
MIT Press c1991 MIT Press series in the foundations of computing
Available at 32 libraries
- 1
- 2
- 1 / 2