Logic Gates, Circuits, Processors, Compilers and Computers
  • 洋書

Logic Gates, Circuits, Processors, Compilers and Computers  Paperback

Groote, Jan Friso/ Morel, Rolf/ Schmaltz, Julien

  • ウェブストア価格 ¥9,311(本体¥8,465)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 84pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tales of Electrologica : Computers, Software and People (History of Computing) (2023)
  • 洋書

Tales of Electrologica : Computers, Software and People (History of Computing) (2023)  Hardcover,  言語:ENG

Alberts, Gerard (EDT)/ Groote, Jan Friso (EDT)

  • ウェブストア価格 ¥7,862(本体¥7,148)
  • Springer International Publishing AG(2023/01発売)
  • ポイント 71pt
  • 海外取次在庫
Tales of Electrologica : Computers, Software and People (History of Computing)
  • 洋書

Tales of Electrologica : Computers, Software and People (History of Computing)  Paperback

Alberts, Gerard (EDT)/ Groote, Jan Friso (EDT)

  • ウェブストア価格 ¥7,862(本体¥7,148)
  • Springer International Publishing AG(2024/01発売)
  • ポイント 71pt
  • 海外取次在庫
Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control)
  • 洋書

Understanding Behaviour of Distributed Systems Using mCRL2 (Studies in Systems, Decision and Control)  Paperback

Atif, Muhammad/ Groote, Jan Friso

  • ウェブストア価格 ¥44,436(本体¥40,397)
  • Springer International Publishing AG(2024/02発売)
  • ポイント 403pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Groote, Jan Friso (EDT)/ Huisman, Marieke (EDT)

  • ウェブストア価格 ¥16,555(本体¥15,050)
  • Springer International Publishing AG(2022/08発売)
  • ポイント 150pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri  Paperback,  言語:ENG

Groote, Jan Friso (EDT)/ Larsen, Kim Guldstrand (EDT)

  • ウェブストア価格 ¥10,346(本体¥9,406)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 94pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - Apri  Paperback,  言語:ENG

Groote, Jan Friso (EDT)/ Larsen, Kim Guldstrand (EDT)

  • ウェブストア価格 ¥10,346(本体¥9,406)
  • Springer Nature Switzerland AG(2021/03発売)
  • ポイント 94pt
  • 海外取次在庫