Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings  言語:ENG

Biondi, Fabrizio (EDT)/Given-Wilson, Thomas (EDT)/Legay, Axel (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2019/10/02発売)
  • ポイント 2,730pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Tools and Algorithms for the Construction and Analysis of Systems〈1st ed. 2017〉 : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems〈1st ed. 2017〉 : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I  言語:ENG

Legay, Axel (EDT)/Margaria, Tiziana (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2017/03/30発売)
  • ポイント 2,730pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Tools and Algorithms for the Construction and Analysis of Systems〈1st ed. 2017〉 : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems〈1st ed. 2017〉 : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II  言語:ENG

Legay, Axel (EDT)/Margaria, Tiziana (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2017/03/30発売)
  • ポイント 2,730pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers  言語:ENG

Cuppens, Nora (EDT)/Cuppens, Frédéric (EDT)/Lanet, Jean-Louis (EDT)/Legay, Axel (EDT)/Garcia-Alfaro, Joaquin (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2018/03/09発売)
  • ポイント 2,730pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Models, Algorithms, Logics and Tools〈1st ed. 2017〉 : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Models, Algorithms, Logics and Tools〈1st ed. 2017〉 : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday  言語:ENG

Aceto, Luca (EDT)/Bacci, Giorgio (EDT)/Bacci, Giovanni (EDT)/Ingólfsdóttir, Anna (EDT)/Legay, Axel (EDT)/Mardare, Radu (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2017/08/17発売)
  • ポイント 2,730pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Automated Technology for Verification and Analysis〈1st ed. 2016〉 : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Automated Technology for Verification and Analysis〈1st ed. 2016〉 : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings  言語:ENG

Artho, Cyrille (EDT)/Legay, Axel (EDT)/Peled, Doron (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2016/10/07発売)
  • ポイント 2,730pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Risks and Security of Internet and Systems〈1st ed. 2017〉 : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Risks and Security of Internet and Systems〈1st ed. 2017〉 : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers  言語:ENG

Cuppens, Frédéric (EDT)/Cuppens, Nora (EDT)/Lanet, Jean-Louis (EDT)/Legay, Axel (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2017/03/01発売)
  • ポイント 2,730pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)