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

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

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

  • Steffen, Bernhard,国内・海外在庫あり

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

Formal Methods for Industrial Critical Systems

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Lecture Notes in Computer Science

Remke, Anne (EDT) Steffen, Bernhard (EDT)
出版社：Springer 出版年月：2025年 09月
装丁：PAP 言語：ENG
税込価格：

14,290円

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

Mathematical Foundations of Advanced Informatics

Volume 1: Inductive Approaches
Steffen, Bernhard Rüthing, Oliver Huth, Michael
出版社：Springer Nature Switzerland Ag 出版年月：2019年 01月
装丁：PAP 言語：ENG
税込価格：

8,129円

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

Mathematical Foundations of Advanced Informatics, Volume 1

Inductive Approaches
Steffen, Bernhard Rüthing, Oliver Huth, Michael
出版社：Springer 出版年月：2018年 03月
装丁：HRD 言語：ENG
税込価格：

8,129円

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

Computing and Software Science

State of the Art and Perspectives

Lecture Notes in Computer Science

Steffen, Bernhard (EDT) Woeginger, Gerhard (EDT)
出版社：Springer 出版年月：2018年 06月
装丁：PAP 言語：ENG
税込価格：

7,389円

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

Jahrbuch der Deutschen Schillergesellschaft. Band 64 2020
Martini, Fritz Herausgegeben:Zeller, Bernhard Mueller-Seidel, Walter
出版社：De Gruyter 出版年月：2020年 10月
版次：2020. VII
税込価格：

13,047円

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

Grundlagen der höheren Informatik

Induktives Vorgehen

eXamen.press

Steffen, Bernhard Ruething, Oliver Isberner, Malte
出版社：Springer, Berlin 出版年月：2013年 10月
装丁：HRD 版次：2014. xxv
税込価格：

8,746円

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

Jahrbuch der Deutschen Schillergesellschaft. Band 62 2018 Bd.62

Jahrbuch der Deutschen Schillergesellschaft Band 62

Martini, Fritz Herausgegeben:Zeller, Bernhard Mueller-Seidel, Walter
出版社：De Gruyter 出版年月：2018年 11月
版次：2018. VI
税込価格：

13,602円

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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Lecture Notes in Computer Science .9952

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 10月
装丁：PAP 版次：1st ed. 2016. 2016. xxiii
税込価格：

24,640円

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

Leveraging Applications of Formal Methods, Verification and Validation

Discussion, Dissemination, Applications

Lecture Notes in Computer Science .9953

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 10月
装丁：PAP 版次：1st ed. 2016. 2016. xxiv
税込価格：

12,318円

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8803

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2014年 10月
装丁：PAP 版次：2014. 2014. xviii
税込価格：

12,318円

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

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8802

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2014年 10月
装丁：PAP 版次：2014. 2014. xviii
税込価格：

12,318円

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

Baukonstruktion im Klimawandel
Weller, Bernhard Fahrion, Marc-Steffen Horn, Sebastian
出版社：Springer, Berlin; Springer Fachmedien Wiesbaden; View 出版年月：2016年 06月
装丁：HRD 言語：GER 版次：1. Aufl. 2016. 2016. x
税込価格：

19,571円

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

Leveraging Applications of Formal Methods

First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Theoretical Computer Science and General Issues

Maragria, Tiziana (EDT) Steffen, Bernhard (EDT)
出版社：Springer 出版年月：2006年 12月
装丁：PAP 言語：ENG
税込価格：

12,318円

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

The Combined Power of Research, Education, and Dissemination

Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Lecture Notes in Computer Science 15240

Herausgegeben:Hinchey, Mike Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 版次：2025. 2024. xxiv
税込価格：

16,259円

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

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I

Lecture Notes in Computer Science 13701

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xiii
税込価格：

20,944円

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

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III

Lecture Notes in Computer Science 13703

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Author 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xiii
税込価格：

17,246円

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

Leveraging Applications of Formal Methods, Verification and Validation. Practice

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV

Lecture Notes in Computer Science 13704

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Author 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xiii
税込価格：

16,016円

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II

Lecture Notes in Computer Science 13702

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Author 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xiii
税込価格：

17,246円

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

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola

Lecture Notes in Computer Science 15219

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 版次：2025. 2024. xv
税込価格：

18,233円

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

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Lecture Notes in Computer Science 15221

Herausgegeben:Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：2024. xvii
税込価格：

18,233円

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