Transactions on Petri Nets and Other Models of Concurrency : Transactions on Petri Nets and Other Models of Concurrency XVIII (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Transactions on Petri Nets and Other Models of Concurrency : Transactions on Petri Nets and Other Models of Concurrency XVIII (Lecture Notes in Computer Science)  Paperback

Kordon, FabriceEDT/ Petrucci, LaureEDT/ Desel, JoergEDT

  • ウェブストア価格 ¥21,112(本体¥19,193)
  • Springer, Berlin; Springer Berlin Heidelberg; Springer(2026/08発売)
  • ポイント 191pt
  • ご予約受付中。出版後の入荷・発送
Tools and Algorithms for the Construction and Analysis of Systems
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems  Paperback

Steffen, Bernhard/ Kordon, Fabrice/ Huisman, Marieke

  • ウェブストア価格 ¥10,080(本体¥9,164)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 91pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems  Hardcover

Steffen, Bernhard/ Kordon, Fabrice/ Huisman, Marieke

  • ウェブストア価格 ¥12,657(本体¥11,507)
  • Saint Philip Street Press(2020/10発売)
  • ポイント 115pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Enbedded Systems : Analysis and Modeling with Sysml, Uml and Aadl (Electronics Engineering Series)
  • 洋書
  • 電子版あり

Enbedded Systems : Analysis and Modeling with Sysml, Uml and Aadl (Electronics Engineering Series)  Hardcover,  言語:ENG

Kordon, Fabrice (EDT)/ Hugues, Jerome (EDT)/ Canals , Agusti (EDT)/ Do

  • ウェブストア価格 ¥40,088(本体¥36,444)
  • Iste/Hermes Science Pub(2013/05発売)
  • ポイント 364pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods for Embedded Distributed Systems : How to Master the Complexity
  • 洋書

Formal Methods for Embedded Distributed Systems : How to Master the Complexity  Paperback,  言語:ENG

Kordon, Fabrice/ Lemoine, Michel (EDT)

  • ウェブストア価格 ¥24,777(本体¥22,525)
  • Springer(2010/10発売)
  • ポイント 225pt
  • 海外取次在庫
Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005 Laguna Beach, CA, USA, September 22-24, 2005 Revised Selected Papers. Lecture Notes in Computer Science, Volume 4322. (Lecture Notes in Computer Science)
  • 洋書
Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5570〉
  • 洋書

Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5570〉  Paperback,  言語:ENG

Kordon, Fabrice (EDT)/ Kermarrec, Yvon (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer(2009/06発売)
  • ポイント 112pt
  • 海外取次在庫
Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, USA, September, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4322〉
  • 洋書

Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, USA, September, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4322〉  Paperback,  言語:ENG

Kordon, Fabrice (EDT)/ Sztipanovits, Janos (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer(2007/03発売)
  • ポイント 112pt
  • 海外取次在庫
Reliable Software Technologies ADA-Europe 2007: 12th ADA-Europe International Conference on Reliable Software Technologies Geneva, Switzerland, June 25-29, 2007 Proceedings (Lecture Notes in Computer Science)
  • 洋書
Distibuted Systems : Design and Algorithms
  • 洋書
  • 電子版あり

Distibuted Systems : Design and Algorithms  Hardcover,  言語:ENG

Haddad, Serge (EDT)/ Kordon, Fabrice (EDT)/ Pautet, Laurent (EDT)/ Pet

  • ウェブストア価格 ¥41,664(本体¥37,877)
  • Wiley-ISTE(2011/08発売)
  • ポイント 378pt
  • 海外からお取り寄せ(通常6~9週間)