<図書>

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.)

(Lecture notes in computer science;2028)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2001
大きさ xiii, 431 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *European Symposium on Programming (10th : 2001 : Genova, Italy)
Sands, David
European Conferences on Theory and Practice of Software (2001 : Genova, Italy)
件 名 LCSH:Computer programming -- Congresses
LCSH:Programming languages (Electronic computers)
分 類 LCC:QA76.6
本文言語 英語
書誌ID 2001367366
ISBN 3540418628
NCID BA51590787 WCLINK

類似資料

  1. 1 Static analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / Agostino Cortesi, Gilberto Filé (eds.)
  2. 2 Static analysis : 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings / Jens Palsberg (ed.)
  3. 3 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.)
  4. 4 Programming languages and systems : 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / S. Doaitse Swierstra (ed.)
  5. 5 Software systems engineering
  6. 6 Static analysis : 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / Patrick Cousot (ed.)
  7. 7 Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings / Jürg Gutknecht, Wolfgang Weck (eds.)
  8. 8 Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min (eds.)
  9. 9 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt (eds.)
  10. 10 Conference record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 11-13, 1989 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)

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