NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Deshmukh, Jyotirmoy V. (EDT)/ Havelund, Klaus (EDT)/ Perez, Ivan (EDT)

  • ウェブストア価格 ¥30,945(本体¥28,132)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 281pt
  • 海外取次在庫
Forensic Victimology and Femi(ni)cide : A Transdisciplinary Approach on Forensic Evidence and its Contexts (2024. xx, 765 S. XX, 765 p. 117 illus., 103 illus. in color. 2 volume-)
  • 洋書

Forensic Victimology and Femi(ni)cide : A Transdisciplinary Approach on Forensic Evidence and its Contexts (2024. xx, 765 S. XX, 765 p. 117 illus., 103 illus. in color. 2 volume-)  Hardcover,  言語:ENG

Cortes-Perez, Oscar Ivan

  • ウェブストア価格 ¥77,970(本体¥70,882)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 708pt
  • 海外からお取り寄せ(通常6~9週間)
NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Dutle, Aaron (EDT)/ Moscato, Mariano M. (EDT)/ Titolo, Laura (EDT)

  • ウェブストア価格 ¥22,102(本体¥20,093)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 200pt
  • 海外取次在庫