<図書>

Foundations of software science and computation structures : First International Conference, FoSSaCS ʾ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 / Maurice Nivat (ed.)

(Lecture notes in computer science;1378)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c1998
大きさ x, 287 p. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *FOSSACS (1998 : Lisbon, Portugal)
Nivat, Maurice
European Conferences on Theory and Practice of Software (8th : 1998 : Lisbon, Portugal)
件 名 LCSH:Computer software -- Congresses
LCSH:System analysis -- Congresses
分 類 LCC:QA76.751
DC21:005.1
本文言語 英語
書誌ID 2000758466
ISBN 3540643001
NCID BA35367956 WCLINK

類似資料

  1. 1 Foundations of software science and computation structures : second international conference, FOSSACS '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 / Wolfgang Thomas (ed.)
  2. 2 Software engineering - ESEC/FSE '97 : 6th European Software Engineering Conference held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997 : proceedings / Mehdi Jazayeri, Helmut Schauer (eds.)
  3. 3 Software architecture : 2nd European workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005 : proceedings / Ron Morrison, Flavio Oquendo (eds.)
  4. 4 Foundations of software science and computation structures : third International Conference, FOSSACS 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 / Jerzy Tiuryn (ed.)
  5. 5 Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell, Marino Miculan (eds.)
  6. 6 Software process technology : Second European Workshop, EWSPT '92, Trondheim, Norway, September 7-8, 1992 : proceedings / J.C. Derniame, ed
  7. 7 Foundations of software science and computation structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Vladimiro Sassone (ed.)
  8. 8 Foundations of software science and computation structures : 7th International Conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Igor Walukiewicz (ed.)
  9. 9 Foundations of Software Technology and Theoretical Computer Science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings / V. Arvind, R. Ramanujam (eds.)
  10. 10 Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.)

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