<図書>

MIT Press series in the foundations of computing

子書誌情報を非表示

1 Basic category theory for computer scientists / Benjamin C. Pierce Cambridge, Mass. : MIT Press , c1991
2 Semantics of programming languages : structures and techniques / Carl A. Gunter Cambridge, Mass. : MIT Press , c1992
3 The formal semantics of programming languages : an introduction / Glynn Winskel Cambridge, Mass. : MIT Press , c1993
4 Theory of deductive systems and its applications / S.Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz Cambridge, Mass. : MIT Press , c1987
5 Resource allocation problems : algorithmic approaches / Toshihide Ibaraki and Naoki Katoh Cambridge, Mass. : MIT Press , c1988
6 Algebraic theory of processes / Matthew Hennessy Cambridge, Mass. : MIT Press , c1988
7 PX, a computational logic / Susumu Hayashi, Hiroshi Nakano Cambridge, Mass. : MIT Press , c1988
8 The stable marriage problem : structure and algorithms / Dan Gusfield and Robert W. Irving Cambridge, Mass. : MIT Press , c1989
9 Equational logic as a programming language / Michael J. O'Donnell Cambridge, Mass. : MIT Press , c1985

書誌詳細を非表示

出版者 Cambridge, Mass. : MIT Press
別書名 異なりアクセスタイトル:Foundations of computing series
異なりアクセスタイトル:Foundations of computing
本文言語 言語名不明
書誌ID 2000031490
NCID BA0001568X WCLINK

検索結果一覧に戻る ページトップ