<図書>

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Gert Smolka (ed.)

(Lecture notes in computer science;1782)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xiii, 428 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *European Symposium on Programming (9th : 2000 : Berlin, Germany)
Smolka, Gert
European Conferences on Theory and Practice of Software (2000 : Berlin, Germany)
件 名 LCSH:Computer programming -- Congresses
分 類 LCC:QA76.6
本文言語 英語
書誌ID 2001095944
ISBN 3540672621
NCID BA46076831 WCLINK

類似資料

  1. 1 Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings / Walid Taha (ed.)
  2. 2 Semantics, applications, and implementation of program generation : Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.)
  3. 3 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto Filé (eds.)
  4. 4 Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.)
  5. 5 Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings / Roland Backhouse, José Nuno Oliveira (eds.)
  6. 6 Mathematics of program construction : 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings / Eerke A. Boiten, Bernhard Möller (eds.)
  7. 7 Mathematics of program construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings / Dexter Kozen (ed.)
  8. 8 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.)
  9. 9 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.)
  10. 10 PEPM'04 : proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : August 24-25, 2004, Verona, Italy / sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)

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