<図書>

Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings / Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)

(Lecture notes in computer science;1490)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1998
大きさ xi, 497 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Symposium, PLILP (10th : 1998 : Pisa, Italy)
Palamidessi, Catuscia
Glaser, Hugh
Meinke, Karl
件 名 LCSH:Programming languages (Electronic computers) -- Congresses
LCSH:Electronic digital computers -- Programming -- Congresses
本文言語 英語
書誌ID 2000787830
ISBN 3540650121
NCID BA38085214 WCLINK

類似資料

  1. 1 Algorithm specification : Courant Computer Science Symposium 4, March 1-2, 1971 / edited by Randall Rustin
  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 International Computing Symposium, 1975 : proceedings of the International Computing Symposium, 1975, Antibes, France, 2-4 June 1975 / organized by the French Chapter of the Association for Computing Machinery (ACM), Association française pour la cybernétique économique et technique (AFCET) and sponsored by the chapters of the ACM European region, European Cooperation in Informatics (E.C.I.) ; edited by E. Gelenbe and D. Potier
  4. 4 ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.)
  5. 5 ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings / H. Ganzinger (ed.)
  6. 6 Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
  7. 7 Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings / Hanne Riis Nielson, (ed.)
  8. 8 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings / Radhia Cousot, David A. Schmidt (eds.)
  9. 9 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings / Herbert Kuchen, S. Doaitse Swierstra (eds.)
  10. 10 Static analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25-27, 1995 : proceedings / Alan Mycroft (ed.)

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