著者
書誌事項
MIT Press series in the foundations of computing
MIT Press
- タイトル別名
-
Foundations of computing series
Foundations of computing
この図書・雑誌をさがす
関連文献： 29件中 1-20を表示
- 1
- 2
- 1 / 2
-
1
- Dynamic logic
-
David Harel, Dexter Kozen, Jerzy Tiuryn
MIT Press 2000 MIT Press series in the foundations of computing
所蔵館31館
-
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
所蔵館26館
-
3
- Computability and complexity : from a programming perspective
-
Neil D. Jones
MIT Press c1997 MIT Press series in the foundations of computing
所蔵館47館
-
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
所蔵館1館
-
5
- Foundations for programming languages
-
John C. Mitchell
MIT Press c1996 MIT Press series in the foundations of computing
所蔵館45館
-
6
- Efficient algorithms
-
Eric Bach and Jeffrey Shallit
MIT Press c1996 MIT Press series in the foundations of computing . Algorithmic number theory ; v. 1
所蔵館55館
-
7
- Algebraic semantics of imperative programs
-
Joseph A. Goguen and Grant Malcolm
MIT Press c1996 MIT Press series in the foundations of computing
所蔵館28館
-
8
- Control flow semantics
-
Jaco de Bakker and Erik de Vink
MIT Press c1996 MIT Press series in the foundations of computing
所蔵館29館
-
9
- Circuit complexity and neural networks
-
Ian Parberry
MIT Press c1994 MIT Press series in the foundations of computing
所蔵館33館
-
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
所蔵館38館
-
11
- Logic and information flow
-
edited by Jan van Eijck and Albert Visser
MIT Press c1994 MIT Press series in the foundations of computing
所蔵館28館
-
12
- The structure of typed programming languages
-
David A. Schmidt
MIT Press c1994 MIT Press series in the foundations of computing
所蔵館40館
-
13
- From logic to logic programming
-
Kees Doets
MIT Press c1994 MIT Press series in the foundations of computing
所蔵館43館
-
14
- The formal semantics of programming languages : an introduction
-
Glynn Winskel
MIT Press c1993 MIT Press series in the foundations of computing
所蔵館1館
-
15
- Exploring interior-point linear programming : algorithms and software
-
Ami Arbel
MIT Press c1993 MIT Press series in the foundations of computing
所蔵館23館
-
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
所蔵館42館
-
17
- The formal semantics of programming languages : an introduction
-
Glynn Winskel
MIT Press c1993 MIT Press series in the foundations of computing
: pbk
所蔵館63館
-
18
- Semantics of programming languages : structures and techniques
-
Carl A. Gunter
MIT Press c1992 MIT Press series in the foundations of computing
所蔵館49館
-
19
- Basic category theory for computer scientists
-
Benjamin C. Pierce
MIT Press c1991 MIT Press series in the foundations of computing
所蔵館68館
-
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
所蔵館32館
- 1
- 2
- 1 / 2
