Engineering of Computer-Based Systems〈1st ed. 2024〉 : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
  • 洋書電子書籍
  • 電子書籍

Engineering of Computer-Based Systems〈1st ed. 2024〉 : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings  言語:ENG

Kofroň, Jan (EDT)/Margaria, Tiziana (EDT)/Seceleanu, Cristina (EDT)

  • 価格 ¥13,153(本体¥11,958)
  • Springer(2023/11/28発売)
  • ポイント 119pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Tests and Proofs〈1st ed. 2023〉 : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
  • 洋書電子書籍
  • 電子書籍

Tests and Proofs〈1st ed. 2023〉 : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings  言語:ENG

Prevosto, Virgile (EDT)/Seceleanu, Cristina (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2023/07/19発売)
  • ポイント 91pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
DevOps環境でのサイバーセキュリティ<br>CyberSecurity in a DevOps Environment : From Requirements to Monitoring
  • 洋書電子書籍
  • 電子書籍

DevOps環境でのサイバーセキュリティ
CyberSecurity in a DevOps Environment : From Requirements to Monitoring
 言語:ENG

Sadovykh, Andrey (EDT)/Truscan, Dragos (EDT)/Mallouli, Wissam (EDT)/Cavalli, Ana Rosa (EDT)/Seceleanu, Cristina (EDT)/Bagnato, Alessandra (EDT)

  • 価格 ¥38,453(本体¥34,958)
  • Springer(2023/12/15発売)
  • ポイント 349pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Critical Systems: Formal Methods and Automated Verification〈1st ed. 2017〉 : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
  • 洋書電子書籍
  • 電子書籍

Critical Systems: Formal Methods and Automated Verification〈1st ed. 2017〉 : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings  言語:ENG

Petrucci, Laure (EDT)/Seceleanu, Cristina (EDT)/Cavalcanti, Ana (EDT)

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