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

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

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

  • Johnsen, Einar Broch,国内・海外在庫あり

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

Service-Oriented and Cloud Computing

6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings

Lecture Notes in Computer Science .10465

Broch Johnsen, Einar Herausgegeben von De Paoli, Flavio Schulte, Stefan
出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：PAP 版次：1st ed. 2017. 2017. xii
税込価格：

11,719円

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

Formal Methods for Multicore Programming

Lecture Notes in Computer Science .9104

Herausgegeben von Bernardo, Marco Johnsen, Einar Broch
出版社：Springer, Berlin; Springer International Publishing 出版年月：2015年 05月
装丁：PAP 版次：2015. 2015. vii
税込価格：

11,254円

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

Service-Oriented and Cloud Computing

5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings

Lecture Notes in Computer Science .9846

Herausgegeben von Aiello, Marco Johnsen, Einar Broch Dustdar, Schahram
出版社：Springer, Berlin; Springer International Publishing 出版年月：2016年 08月
装丁：PAP 版次：1st ed. 2016. 2016. xii
税込価格：

11,719円

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

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Lecture Notes in Computer Science

Bonsangue, Marcello M. (EDT) Johnsen, Einar Broch (EDT)
出版社：Springer 出版年月：2007年 06月
装丁：PAP 言語：ENG
税込価格：

11,719円

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

Formal Methods for Executable Software Models

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

Herausgegeben von Bernardo, Marco Damiani, Ferruccio Haehnle, Reiner
出版社：Springer, Berlin; Springer International Publishing 出版年月：2014年 05月
装丁：PAP 言語：ENG 版次：2014. 2014. viii
税込価格：

11,719円

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

Tests and Proofs

11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Lecture Notes in Computer Science .10375

Herausgegeben von Gabmeyer, Sebastian Johnsen, Einar Broch
出版社：Springer, Berlin; Springer International Publishing 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. xi
税込価格：

11,719円

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

Fundamental Approaches to Software Engineering

Lecture Notes in Computer Science 13241

Herausgegeben:Johnsen, Einar Broch Wimmer, Manuel
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xiv
税込価格：

9,376円

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

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

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

Herausgegeben von Johnsen, Einar Broch Petre, Luigia
出版社：Springer, Berlin 出版年月：2013年 00月
装丁：PAP 版次：2013. XIV
税込価格：

11,719円

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

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Lecture Notes in Computer Science .10886

Herausgegeben von Johnsen, Einar Broch Schaefer, Ina
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 版次：1st ed. 2018. 2018. xiv
税込価格：

11,719円

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

The Logic of Software. A Tasting Menu of Formal Methods

Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Lecture Notes in Computer Science 13360

Herausgegeben:Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2022年 00月
装丁：PAP 版次：1st ed. 2022. 2022. xii
税込価格：

23,445円

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