<図書>

Distributed algorithms : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997 : proceedings / Marios Mavronicolas, Philippas Tsigas (eds.)

(Lecture notes in computer science;1320)

所蔵情報を非表示

1

本郷キャンパス

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

8702/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer
出版年 c1997
大きさ x, 332 p. : 24 cm
一般注記 Includes bibliographical references and index
著者標目 *International Workshop on Distributed Algorithms (11th : 1997 : Saarbrücken, Germany)
Mavronicolas, Marios
Tsigas, Philippas
件 名 LCSH:Electronic data processing -- Distributed processing -- Congresses
LCSH:Computer algorithms -- Congresses
分 類 LCC:QA76.9.D5
DC21:004/.36
本文言語 英語
書誌ID 2000628933
ISBN 3540635750
NCID BA32429128 WCLINK

類似資料

  1. 1 Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France / edited by Stan Budkowski, Ana Cavalli, Elie Najm
  2. 2 Formal description techniques and protocol specification, testing, and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing, and Verification (PSTV XVII) : 18-21 November 1997, Osaka, Japan / edited by Tadanori Mizuno [et al.]
  3. 3 Networks in distributed computing : DIMACS Workshop, October 27-30, 1997 / Marios Mavronicolas, Michael Merritt, Nir Shavit, editors
  4. 4 Formal methods for distributed system development : FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella
  5. 5 Architecture and design of distributed embedded systems : IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloβ Eringerfeld, Germany / edited by Bernd Kleinjohann
  6. 6 Application of Petri nets to communication networks : advances in Petri nets / Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.)
  7. 7 Distributed computing : 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003 : proceedings / Faith Ellen Fich (ed.)
  8. 8 Distributed computing : 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001 : proceedings / Jennifer Welch (ed.)
  9. 9 Distributed computing : 16th International Conference, DISC 2002, Toulouse, France, October 28-30, 2002 : proceedings / Dahlia Malkhi (ed.)
  10. 10 Elements of distributed algorithms : modeling and analysis with Petri nets / [by] Wolfgang Reisig

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