<図書>

Computation theory and logic / Egon Börger (ed.)

(Lecture notes in computer science;270)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 Germany 39:L:1.270 2012097750

保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1987
大きさ ix, 442 p. ; 25 cm
一般注記 "In memory of Dieter Rödding, 24.8.1937-4.6.1984, on the occasion of the 50th anniversary of his birth"--P. [iii]
Includes bibliographical references
著者標目 Börger, Egon, 1946-
件 名 LCSH:Machine theory
LCSH:Computational complexity
LCSH:Rödding, D. (Dieter), 1937-
NDLSH:機械論
分 類 LCC:QA267
DC19:511
NDC8:007.1
NDC8:418
本文言語 英語
書誌ID 2000031946
ISBN 3540181709
NCID BA00789713 WCLINK

類似資料

  1. 1 Theory of computation : formal languages, automata, and complexity / J. Glenn Brookshear
  2. 2 Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / edited by Andrzej Skowron
  3. 3 Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou
  4. 4 Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981 / edited by Ferenc Gécseg
  5. 5 Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia, August 31-September 4, 1981 / edited by J. Gruska and M. Chytil
  6. 6 Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen / edited by E. Börger, G. Hasenjaeger, and D. Rödding
  7. 7 Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann, (ed.)
  8. 8 Proceedings : structure in complexity theory : second annual conference, June 16-19, 1987, Cornell University, Ithaca, NY / [sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of
  9. 9 Theories of computational complexity / Cristian Calude
  10. 10 Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / edited by Alan L. Selman

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