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

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

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

  • Herausgegeben von Beyer, Dirk,国内・海外在庫あり

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

Voices of Africa - Nigeria

Buch mit digitalen Extras. Inkl. Extras für Smartphone + Tablet

The Bigger Picture

Herausgegeben von Beyer, Dirk Mitarbeit: Abani, Chris Achebe, Chinua
出版社：Klett Sprachen; Klett Sprachen GmbH 出版年月：2019年 00月
装丁：PAP 版次：2019. 184 S. 198 mm
税込価格：

2,822円

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

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Lecture Notes in Computer Science 11990

Herausgegeben von Beyer, Dirk Zufferey, Damien
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2020年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2020. 2020. xiv
税込価格：

19,298円

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

Formal Techniques for Distributed Systems

Lecture Notes in Computer Science / Programming and Software Engineering .7892

Herausgegeben von Beyer, Dirk Boreale, Michele
出版社：Springer, Berlin 出版年月：2013年 00月
装丁：PAP 版次：2013. xiv
税込価格：

12,060円

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

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Lecture Notes in Computer Science .11429

Herausgegeben von Beyer, Dirk Huisman, Marieke Kordon, Fabrice
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 版次：1st ed. 2019. 2019. xxvii
税込価格：

12,060円

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

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings

Lecture Notes in Computer Science 11823

Herausgegeben von Beyer, Dirk Keller, Chantal
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2019. 2019. x
税込価格：

12,060円

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

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science 10805

Herausgegeben von Beyer, Dirk Huisman, Marieke
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. xx
税込価格：

12,060円

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

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science 10806

Herausgegeben von Beyer, Dirk Huisman, Marieke
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. xx
税込価格：

12,060円

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