<図書>

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

(Lecture notes in computer science;1576)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫
3

駒場Ⅰキャンパス

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


書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1999
大きさ x, 305 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *European Symposium on Programming (8th : 1999 : Amsterdam, Netherlands)
Swierstra, S. Doaitse
European Conferences on Theory and Practice of Software (1999 : Amsterdam, Netherlands)
件 名 LCSH:Computer programming Congresses
LCSH:Programming languages -- Electronic computers -- Congresses
分 類 LCC:QA76.6
DC21:005.1
本文言語 英語
書誌ID 2000952251
ISBN 3540656995
NCID BA40723947 WCLINK

類似資料

  1. 1 Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000 Vancouver, Canada, June 18, 2000 : proceedings / Jack Davidson, Sang Lyul Min (eds.)
  2. 2 Declarative programming, Sasbachwalden 1991 : Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 / John Darlington and Roland Dietrich (eds.)
  3. 3 ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.)
  4. 4 Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings / Donald Sannella, ed
  5. 5 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Chris Hankin (ed.)
  6. 6 Static analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993 : proceedings / Patrick Cousot ... [et al.], (eds.)
  7. 7 Seminumerical algorithms / Donald E. Knuth
  8. 8 Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 / edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones
  9. 9 Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms
  10. 10 Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms

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