<図書>

Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / Joseph H. Fasel, Robert M. Keller (eds.)

(Lecture notes in computer science;279)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工6・計数 : us 18:F:25 1010035150


工6・計数 : us 18:F:26 1010087813


理7・CS図 Germany 39:L:1.279 2012112419

4074/保存書庫
4

駒場Ⅱキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
先端研・図書
681.3:L471 7600058320

集密書架別置

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1987
大きさ xvi, 450 p. : ill. ; 25 cm.
一般注記 "Sponsored by the Los Alamos National Laboratory of the University of California and Microelectronics and Computer Technology Corporation (MCC)"--Pref
Includes bibliographies
著者標目 Fasel, Joseph H.
Keller, Robert M.
Los Alamos Scientific Laboratory
Microelectronics and Computer Technology Corporation
件 名 LCSH:Functional programming languages -- Congresses
LCSH:Graph grammars -- Congresses
LCSH:Computer architecture -- Congresses
分 類 LCC:QA76.6
DC19:511/.5
本文言語 英語
書誌ID 2000034383
ISBN 3540184201
NCID BA01241414 WCLINK

類似資料

  1. 1 Ninth Colloquium on Trees in Algebra and Programming : 5-7 March 1984, Bordeaux, France : [proceedings] / edited by B. Courcelle
  2. 2 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto Filé (eds.)
  3. 3 Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.)
  4. 4 Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Mooly Sagiv (ed.)
  5. 5 Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / David Sands (ed.)
  6. 6 CAAP '88 : 13th Colloquium on Trees in Algebra and Programming, Nancy, France, March 21-24, 1988 : proceedings / M. Dauchet, M. Nivat (eds.)
  7. 7 CAAP '81 : trees in algebra and programming : 6th Colloquium, Genoa, March 5-7, 1981 : proceedings / edited by E. Astesiano and C. Böhm
  8. 8 Proceedings of the Tenth Southeastern Conference on Combinatorics, Graph Theory, and Computing : Florida Atlantic University, Boca Raton, April 2-6, 1979 / edited by F. Hoffman ... [et al.]
  9. 9 Proceedings of the First Japan Conference on Graph Theory and Applications, Hakone, Japan, June 1-5, 1986 / [edited by] J. Akiyama, Y. Egawa, H. Enomoto
  10. 10 Graphs and applications : proceedings of the First Colorado Symposium on Graph Theory / Frank Harary, John S. Maybee, editors

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