<図書>

Algebraic methodology and software technology : 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings / Teodor Rus (ed.)

(Lecture notes in computer science;1816)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xi, 544 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Conference on Algebraic Methodology and Software Technology (8th : 2000 : Iowa, USA)
Rus, Teodor
件 名 LCSH:Software engineering -- Congresses
LCSH:Abstract data types (Computer science) -- Congresses
分 類 LCC:QA76.758
本文言語 英語
書誌ID 2001203787
ISBN 3540675302
NCID BA46589778 WCLINK

類似資料

  1. 1 Algebraic methodology and software technology : 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings / Hélène Kirchner, Christophe Ringeissen (eds.)
  2. 2 Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings / Charles Rattray, Savitri Maharaj, Carron Shankland (eds.)
  3. 3 Algebraic methodology and software technology (AMAST'93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June 1993 / M. Nivat ... [et al.] (eds.)
  4. 4 Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991 / M. Nivat ... [et al.] (eds.)
  5. 5 Algebraic methodology and software technology : 6th international conference, AMAST'97, Sydney, Australia, December 13-17, 1997 : proceedings / Michael Johnson (ed.)
  6. 6 Algebraic methodology and software technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / V.S. Alagar, Maurice Nivat, (eds.)
  7. 7 Algebraic methodology and software technology : 7th International Conference, AMAST '98, Amazonia, Brazil, January 4-8, 1999 : proceedings / Armando Martín Haeberer (ed.)
  8. 8 Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / Martin Wirsing, Maurice Nivat (eds.)
  9. 9 Learning software organizations : methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE '99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings / Günther Ruhe, Frank Bomarius (eds.)
  10. 10 Advances in learning software organizations : Third International Workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings / Klaus-Dieter Althoff, Raimund L. Feldmann, Wolfgang Müller (eds.)

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