<図書>

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings / Miquel Bertran, Teodor Rus, (eds.)

(Lecture notes in computer science;1231)

所蔵情報を非表示

1

本郷キャンパス

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

8520/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c1997
大きさ xi, 429 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (4th : 1997 : Mallorca, Spain)
Bertran, Miquel
Rus, Teodor
件 名 LCSH:Real-time data processing -- Congresses
LCSH:Parallel processing (Electronic computers) -- Congresses
LCSH:Electronic data processing -- Distributed processing -- Congresses
分 類 LCC:QA76.54
DC21:005.2/73
本文言語 英語
書誌ID 2000613154
ISBN 3540630104
NCID BA31016268 WCLINK

類似資料

  1. 1 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.)
  2. 2 NAPAW 92 : proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 / S. Purushothaman and Amy Zwarico (eds.)
  3. 3 Real time programming, 1977 : proceedings of the IFAC/IFIP Workshop, Eindhoven, Netherlands, 20-22 June 1977 / edited by C.H. Smedema
  4. 4 Real-time systems : design principles for distributed embedded applications / by Hermann Kopetz
  5. 5 Proceedings : 25th IEEE International Real-Time Systems Symposium, 5-8 December 2004, Lisbon, Portugal / [sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems]
  6. 6 Proceedings Real-Time Systems Symposium, December 6-8, 1988, Huntsville, Alabama / sponsor, IEEE Computer Society TC Real-Time Systems
  7. 7 RTSS 2002 : 23rd IEEE Real-Time Systems Symposium, 3-5 December 2002, Austin, Texas / sponsored by IEEE Computer Society Technical Committee on Real-Time Systems
  8. 8 Proceedings : 16th IEEE Real-Time Systems Symposium, December 5-7, 1995, Pisa, Italy / sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
  9. 9 Proceedings : Real-time Systems Symposium, San Juan, Puerto Rico, December 7-9, 1994 / sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems
  10. 10 Proceedings : Real-time Systems Symposium, Phoenix, Arizona, December 2-4, 1992 / sponsored by the IEEE Computer Society Technical Committee on Real-Time Systems

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