Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Finkbeiner, Bernd (EDT)/ Wies, Thomas (EDT)

  • ウェブストア価格 ¥21,962(本体¥19,966)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 199pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 99pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 99pt
  • 海外取次在庫
Lautes Denken, "Stimulated Recall" und Dokumentarische Methode : Rekonstruktive Verfahren in der Fremdsprachenlehr- und -lernforschung (LaCuLi. Language Culture Literacy .10) (2018. 204 S. 8 Abb. 210 mm)
  • 洋書

Lautes Denken, "Stimulated Recall" und Dokumentarische Methode : Rekonstruktive Verfahren in der Fremdsprachenlehr- und -lernforschung (LaCuLi. Language Culture Literacy .10) (2018. 204 S. 8 Abb. 210 mm)  Hardcover,  言語:GER

Herausgegeben:Finkbeiner, Claudia/ Aguado, Karin/ Tesch, Bernd

  • ウェブストア価格 ¥16,513(本体¥15,012)
  • PETER LANG(2018発売)
  • ポイント 150pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。