MIT Press series in the foundations of computing

• 関連文献: 29件

MIT Press series in the foundations of computing

MIT Press

タイトル別名

Foundations of computing series

Foundations of computing

• WorldCat

関連文献: 29件中  1-20を表示

• 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

  所蔵館22館

• 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