Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ( (2015)
  • 洋書
  • ポイントキャンペーン

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ( (2015)  Paperback

Baier, Christel (EDT)/ Tinelli, Cesare (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2015/04発売)
  • ご注文いただけません
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Steffen, Bernhard (EDT)/ Baier, Christel (EDT)/ van den Brand, Mark (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer International Publishing AG(2017/01発売)
  • ポイント 212pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedi (2018)
  • 洋書
  • ポイントキャンペーン

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedi (2018)  Paperback,  言語:ENG

Baier, Christel (EDT)/ Dal Lago, Ugo (EDT)

  • ウェブストア価格 ¥12,838(本体¥11,671)
  • Springer International Publishing AG(2018/04発売)
  • ポイント 232pt
  • 海外取次在庫