Twisted Dark Volume 5 (Twisted Dark Gn (New Ptg))
  • 洋書

Twisted Dark Volume 5 (Twisted Dark Gn (New Ptg))  Paperback,  言語:ENG

Gibson, Neil/ Wijngaard, Caspar/ Antoniou, Seb

  • ウェブストア価格 ¥4,521(本体¥4,110)
  • T Publications(2016/11発売)
  • ポイント 41pt
  • 海外からお取り寄せ(通常6~9週間)
Data Engineering with Google Cloud Platform : A guide to leveling up as a data engineer by building a scalable data platform with Google Cloud (2ND)
  • 洋書

Data Engineering with Google Cloud Platform : A guide to leveling up as a data engineer by building a scalable data platform with Google Cloud (2ND)  Paperback,  言語:ENG

Wijaya, Adi/ Vilares, António (FRW)

  • ウェブストア価格 ¥8,395(本体¥7,632)
  • Packt Publishing Limited(2024/04発売)
  • ポイント 76pt
  • 海外取次在庫
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bošnački, Dragan (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2016/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Knowledge Integration : The Practice of Knowledge Management in Small and Medium Enterprises
  • 洋書

Knowledge Integration : The Practice of Knowledge Management in Small and Medium Enterprises  Paperback

Herausgegeben von Jetter, Antonie/ Kraaijenbrink, Jeroen/ Schroeder, Hans-Horst/ Wijnhoven, Fons

  • Springer(2010/10発売)
  • ご注文いただけません
ソフトウェア認証コンサイスガイド(テキスト)<br>Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023. 2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235)
  • 洋書

ソフトウェア認証コンサイスガイド(テキスト)
Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023. 2023. ix, 248 S. IX, 248 p. 146 illus., 127 illus. in color. 235)
 Hardcover,  言語:ENG

Huisman, Marieke/Wijs, Anton

  • ウェブストア価格 ¥21,173(本体¥19,249)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2023発売)
  • ポイント 192pt
  • 海外からお取り寄せ(通常6~9週間)
Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023)
  • 洋書

Concise Guide to Software Verification : From Model Checking to Annotation Checking (Texts in Computer Science) (2023)  Paperback,  言語:ENG

Huisman, Marieke/ Wijs, Anton

  • Springer International Publishing AG(2024/07発売)
  • ご注文いただけません
Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Model Checking Software : 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Neele, Thomas (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 104pt
  • 海外取次在庫
iFM 2023 : 18th International Conference, iFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

iFM 2023 : 18th International Conference, iFM 2023, Leiden, the Netherlands, November 13-15, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Herber, Paula (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥27,270(本体¥24,791)
  • Springer International Publishing AG(2023/11発売)
  • ポイント 247pt
  • 海外取次在庫
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Salaün, Gwen (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 95pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。