<図書>

Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.)

(Lecture notes in computer science;1019)

所蔵情報を非表示

1

本郷キャンパス

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

7890/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c1995
大きさ 289 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 Brinksma, Ed
*TACAS (1st : 1995 : Aarhus, Denmark)
件 名 LCSH:System design -- Congresses
LCSH:Computer software -- Development -- Congresses
LCSH:Electronic data processing -- Distributed processing -- Congress
分 類 NDC9:007.61
LCC:QA76.9.S88
DC20:005.2
本文言語 英語
書誌ID 2000412955
ISBN 3540606300
NCID BA26610088 WCLINK

類似資料

  1. 1 Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings / Tiziana Margaria, Bernhard Steffen, (eds.)
  2. 2 The design of computer supported cooperative work and groupware systems / edited by Dan Shapiro, Michael Tauber, and Roland Traunmüller
  3. 3 Object-based distributed programming : ECOOP '93 Workshop, Kaiserslautern, Germany, July 26-27, 1993 : proceedings / Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill (eds.)
  4. 4 Introduction to distributed algorithms / Gerard Tel
  5. 5 Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 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 / Susanne Graf, Michael Schwartzbach (eds.)
  6. 6 Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.)
  7. 7 Object-based parallel and distributed computation : France-Japan workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers / Jean-Pierre Briot ... [et al.], (eds.)
  8. 8 Task scheduling in parallel and distributed systems / Hesham El-Rewini, Theodore G. Lewis, Hesham H. Ali
  9. 9 Programming environments for massively parallel distributed systems : working conference of the IFIP WG10.3, April 25-29, 1994 / edited by K.M. Decker, R.M. Rehmann
  10. 10 Software for parallel computation / edited by Janusz S. Kowalik, Lucio Grandinetti

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