MIT Press series in the foundations of computing

Material type: 図書

Author: -

Publisher: MIT Press

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

Exploring interior-point linear programming : algorithms and software Dynamic logic Equational logic as a programming language The structure of typed programming languages Realistic compiler generation Resource allocation problems : algorithmic approaches Theoretical aspects of object-oriented programming : types, semantics, and language design Algebraic semantics of imperative programs The formal semantics of programming languages : an introduction Circuit complexity and neural networks Proof, language, and interaction : essays in honour of Robin Milner The formal semantics of programming languages : an introduction Hilbert's tenth problem PX, a computational logic The stable marriage problem : structure and algorithms Computability and complexity : from a programming perspective Complexity issues in VLSI : optimal layouts for the shuffle-exchange graph and other networks Efficient algorithms Theory of deductive systems and its applications Foundations for programming languages Basic category theory for computer scientists Control flow semantics Algebraic theory of processes Logic and information flow Semantics of programming languages : structures and techniques Categories, types, and structures : an introduction to category theory for the working computer scientist Single-layer wire routing and compaction From logic to logic programming Efficient algorithms

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: MIT Press series in the foundations of computing
Publication, Distribution, etc.: MIT Press
Alternative Title: Foundations of computing series
Foundations of computing
Place of Publication (Country Code): us
Target Audience: 一般
Related Material: Exploring interior-point linear programming : algorithms and software
https://cir.nii.ac.jp/crid/1130000794599960064
Dynamic logic
https://cir.nii.ac.jp/crid/1130000794858261248
Equational logic as a programming language
https://cir.nii.ac.jp/crid/1130000795074730496
The structure of typed programming languages
https://cir.nii.ac.jp/crid/1130000795091607680
Realistic compiler generation
https://cir.nii.ac.jp/crid/1130000795096747264
Resource allocation problems : algorithmic approaches
https://cir.nii.ac.jp/crid/1130000795494065280
Theoretical aspects of object-oriented programming : types, semantics, and language design
https://cir.nii.ac.jp/crid/1130000795689615488
Algebraic semantics of imperative programs
https://cir.nii.ac.jp/crid/1130000795886711936
The formal semantics of programming languages : an introduction
https://cir.nii.ac.jp/crid/1130000796381754880
Circuit complexity and neural networks
https://cir.nii.ac.jp/crid/1130000796962194048
Proof, language, and interaction : essays in honour of Robin Milner
https://cir.nii.ac.jp/crid/1130000797230487808
The formal semantics of programming languages : an introduction
https://cir.nii.ac.jp/crid/1130015088731512719
Hilbert's tenth problem
https://cir.nii.ac.jp/crid/1130282268754189824
PX, a computational logic
https://cir.nii.ac.jp/crid/1130282268784704640
The stable marriage problem : structure and algorithms
https://cir.nii.ac.jp/crid/1130282268994360192
Computability and complexity : from a programming perspective
https://cir.nii.ac.jp/crid/1130282269068007552
Complexity issues in VLSI : optimal layouts for the shuffle-exchange graph and other networks
https://cir.nii.ac.jp/crid/1130282269616980480
Efficient algorithms
https://cir.nii.ac.jp/crid/1130282270502360192
Theory of deductive systems and its applications
https://cir.nii.ac.jp/crid/1130282271235862528
Foundations for programming languages
https://cir.nii.ac.jp/crid/1130282271272438272
Basic category theory for computer scientists
https://cir.nii.ac.jp/crid/1130282271649484288
Control flow semantics
https://cir.nii.ac.jp/crid/1130282272008351616
Algebraic theory of processes
https://cir.nii.ac.jp/crid/1130282272181067776
Logic and information flow
https://cir.nii.ac.jp/crid/1130282272438571264
Semantics of programming languages : structures and techniques
https://cir.nii.ac.jp/crid/1130282272717984384
Categories, types, and structures : an introduction to category theory for the working computer scientist
https://cir.nii.ac.jp/crid/1130282273030042624
Single-layer wire routing and compaction
https://cir.nii.ac.jp/crid/1130282273109783040
From logic to logic programming
https://cir.nii.ac.jp/crid/1130282273198068864
Efficient algorithms
https://cir.nii.ac.jp/crid/1130298422450793275
Related Material (URI): https://ci.nii.ac.jp/ncid/BA0001568X#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA0001568X : BA0001568X