<図書>

Methods of algorithmic language implementation / edited by A. Ershov and C.H.A. Koster

(Lecture notes in computer science;47)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工2・図書室 : gw 548.2:L49:47 1000363539


理7・CS図 : gw 39:L:1.47 2006041301

RECON/保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Methods 8001026650


数理科学・保存基数
BE:LNCS:47 8001463812


5

柏キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
柏数物・書庫(別置S)
RO:Methods 8950130859


書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 1977
大きさ viii, 351 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 Ershov, Andreĭ Petrovich, 1931-
Koster, Cornelis H. A., 1943-
件 名 LCSH:Programming languages (Electronic Computers) -- Congresses
LCSH:Formal languages -- Congresses
分 類 LCC:QA76.7
DC19:519.7
本文言語 英語
書誌ID 2000866912
ISBN 3540080651
NCID BA03615865 WCLINK

類似資料

  1. 1 Proceedings of the TLDI 2007 : 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation : papers presented at the workshop, January 16, 2007, French Riviera, Nice, France, co-located with POPL 2007 / sponsored by Association for Computing Machinery's Special Interest Group on Programming Languages (SIGPlAN)
  2. 2 Logics of programs : workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen
  3. 3 The relationship between numerical computation and programming languages : proceedings of the IFIP TC2 Working Conference on the Relationship between Numerical Computation and Programming Languages, Boulder, Colorado, U.S.A., 3-7 August, 1981 / edited by John K. Reid
  4. 4 Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings / Manuel Hermenegildo, Daniel Cabeza (eds.)
  5. 5 Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings / Shriram Krishnamurthi, C.R. Ramakrishnan (eds.)
  6. 6 Practical aspects of declarative languages : third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings / I.V. Ramakrishnan (ed.)
  7. 7 Practical aspects of declarative languages : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings / Bharat Jayaraman (eds.)
  8. 8 Practical aspects of declarative languages : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings / Veronica Dahl, Philip Wadler (eds.)
  9. 9 Practical aspects of declarative languages : second International Workshop , PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings / Enrico Pontelli, Vítor Santos Costa (eds.)
  10. 10 Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / edited by G. Ausiello and C. Böhm

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