Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Sankaranarayanan, Sriram (EDT)/ Vicario, Enrico (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 101pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shankaranarayanan, Krishna (EDT)/ Sankaranarayanan, Sriram (EDT)/ Trivedi, Ashutosh (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 119pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shankaranarayanan, Krishna (EDT)/ Sankaranarayanan, Sriram (EDT)/ Trivedi, Ashutosh (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 119pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Akshay, S. (EDT)/ Niemetz, Aina (EDT)/ Sankaranarayanan, Sriram (EDT)

  • Springer International Publishing AG(2025/02発売)
  • ご注文いただけません
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II (Lecture Notes in Computer Science 15055) (2025. xx, 276 S. XX, 276 p. 91 illus., 64 illus. in color. 235 mm)
  • 洋書

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II (Lecture Notes in Computer Science 15055) (2025. xx, 276 S. XX, 276 p. 91 illus., 64 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Akshay, S./ Niemetz, Aina/ Sankaranarayanan, Sriram

  • ウェブストア価格 ¥37,637(本体¥34,216)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 342pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding  Paperback,  言語:ENG

Sankaranarayanan, Sriram (EDT)/ Sharygina, Natasha (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 92pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding  Paperback,  言語:ENG

Sankaranarayanan, Sriram (EDT)/ Sharygina, Natasha (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 92pt
  • 海外取次在庫