全国書店ネットワーク e-hon洋書販売

全国書店ネットワーク e-hon洋書販売

　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN
こだわり検索
　
  • 書名
  • 著者
  • 出版社
  • ISBN

  • Wijs, Anton,国内・海外在庫あり

    による検索結果
  • 1件〜8件（全8件）
書名
著者
出版社
ISBN
出版年月
年 月 〜
年 月
装丁
選択してください
  • 選択してください
  • PAP
  • HRD
  • CMD
  • CD
  • LIB
  • CAS
  • SAL
  • PBD
  • TBK
  • CDR
  • DVD
  • PLA
言語
選択してください
  • 選択してください
  • 英語
  • ドイツ語
  • フランス語
  • スペイン語
在庫状況
書籍表紙

Concise Guide to Software Verification

From Model Checking to Annotation Checking

Texts in Computer Science

Huisman, Marieke Wijs, Anton
出版社：Springer International Publishing Ag 出版年月：2024年 07月
装丁：PAP 言語：ENG 版次：2023
税込価格：

14,473円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Concise Guide to Software Verification

From Model Checking to Annotation Checking

Texts in Computer Science

Huisman, Marieke Wijs, Anton
出版社：Springer 出版年月：2023年 06月
装丁：HRD 言語：ENG
税込価格：

19,298円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Data Engineering with Google Cloud Platform

A guide to leveling up as a data engineer by building a scalable data platform with Google Cloud
Wijaya, Adi Vilares, António (FRW)
出版社：Packt Publishing Limited 出版年月：2024年 04月
装丁：PAP 言語：ENG 版次：2ND
税込価格：

10,549円

海外在庫あり 通常２～４週間で出荷
書籍表紙

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 Vol.9641

Herausgegeben von Bosnacki, Dragan Wijs, Anton
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 04月
装丁：PAP 言語：ENG 版次：1st ed. 2016. xvi
税込価格：

12,064円

海外在庫あり 通常２～５週間で出荷
書籍表紙

iFM 2023

18th International Conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

Lecture Notes in Computer Science 14300

Herausgegeben:Herber, Paula Wijs, Anton
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2023年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2024. 2023. xix
税込価格：

28,950円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

Lecture Notes in Computer Science 14624

Model Checking Software Herausgegeben:Neele, Thomas Wijs, Anton
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 版次：2024. 2024. xiv
税込価格：

12,060円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Formal Aspects of Component Software

17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings

Lecture Notes in Computer Science 13077

Herausgegeben:Wijs, Anton Salauen, Gwen
出版社：Springer, Berlin; Springer; Springer International Pu 出版年月：2021年 00月
装丁：PAP 版次：1st ed. 2021. 2021. xii
税込価格：

10,854円

海外在庫あり 通常２～５週間で出荷
書籍表紙

Knowledge Integration

The Practice of Knowledge Management in Small and Medium Enterprises
Herausgegeben von Jetter, Antonie Kraaijenbrink, Jeroen Schroeder, Hans-Horst
出版社：Springer 出版年月：2010年 10月
装丁：PAP
税込価格：

31,730円

海外在庫あり 通常２～５週間で出荷