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

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

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

  • Tiziana, Margaria,国内・海外在庫あり

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

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
税込価格：

23,713円

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

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
税込価格：

11,853円

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

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
税込価格：

11,853円

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

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
税込価格：

11,853円

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

Formal Methods for Industrial Critical Systems

A Survey of Applications
Gnesi, Stefania Margaria, Tiziana
出版社：IEEE Computer Society 出版年月：2013年 03月
装丁：PAP 言語：ENG
税込価格：

21,016円

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

Software Business. From Physical Products to Software Services and Solutions

4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013, Proceedings

Lecture Notes in Business Information Processing .150

Herausgegeben von Herzwurm, Georg Tiziana, Margaria
出版社：Springer, Berlin 出版年月：2013年 07月
装丁：PAP 版次：2013. 2013. xiii
税込価格：

10,907円

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

SOFSEM 2015

Theory and Practice of Computer Science

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

Herausgegeben von Italiano, Giuseppe Margaria-Steffen, Tiziana Pokorn&yacute
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2015年 01月
装丁：PAP 版次：2015. 2015. xvi
税込価格：

11,853円

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

Semantic Web Services Challenge

Results from the First Year

Semantic Web and Beyond

Petrie, Charles Margaria, Tiziana (EDT) Lausen, Holger
出版社：Springer 出版年月：2010年 02月
装丁：PAP 言語：ENG
税込価格：

35,571円

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

Leveraging Applications of Formal Methods, Verification and Validation

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

Herausgegeben von Margaria, Tiziana Steffen, Bernhard Merten, Maik
出版社：Springer, Berlin; Springer 出版年月：2012年 00月
装丁：PAP 版次：2012. 2012. XIII
税込価格：

11,853円

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

Leveraging Applications of Formal Methods, Verification and Validation

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

Herausgegeben von Margaria, Tiziana Steffen, Bernhard Merten, Maik
出版社：Springer, Berlin; Springer 出版年月：2012年 00月
装丁：PAP 版次：2012. 2012. XIII
税込価格：

11,853円

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

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Lecture Notes in Computer Science .11244

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. xv
税込価格：

11,853円

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

Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Lecture Notes in Computer Science 11245

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

11,853円

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

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Lecture Notes in Computer Science 11247

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. xiv
税込価格：

11,853円

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

Models, Mindsets, Meta: The What, the How, and the Why Not?

Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science .11200

Herausgegeben von Margaria, Tiziana Graf, Susanne Larsen, Kim G.
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2019年 00月
装丁：PAP 版次：1st ed. 2019. 2019. xv
税込価格：

11,853円

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

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Lecture Notes in Computer Science 11246

Herausgegeben von Margaria, Tiziana Steffen, Bernhard
出版社：Springer, Berlin; Springer International Publishing; 出版年月：2018年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2018. 2018. xiv
税込価格：

11,853円

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

Engineering of Computer-Based Systems

8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

Lecture Notes in Computer Science 14390

Herausgegeben:Kofron, Jan Margaria, Tiziana Seceleanu, Cristina
出版社：Springer, Berlin; Springer Nature Switzerland; Spring 出版年月：2024年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2024. 2024. xi
税込価格：

15,411円

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

Leveraging Applications of Formal Methods, Verification and Validation

10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings

Lecture Notes in Computer Science 13036

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

16,597円

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

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science .10205

Herausgegeben von Legay, Axel Margaria, Tiziana
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. xxiv
税込価格：

11,853円

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

Tools and Algorithms for the Construction and Analysis of Systems

Lecture Notes in Computer Science .10206

Herausgegeben von Legay, Axel Margaria, Tiziana
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe 出版年月：2017年 00月
装丁：PAP 言語：ENG 版次：1st ed. 2017. 2017. xxiv
税込価格：

11,853円

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

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,153円

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