1～5件／全5件 セーフサーチON
  •  
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,535（本体¥10,487）
  • Springer International Publishing AG（2017/01発売）
  • ポイント 104pt
  • オンデマンド(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,585（本体¥11,441）
  • Springer International Publishing AG（2018/04発売）
  • ポイント 114pt
  • 海外取次在庫
Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) （2004. VIII, 467 p.）
  • 洋書

Validation of Stochastic Systems : A Guide to Current Research (Lecture Notes in Computer Science Vol.2925) （2004. VIII, 467 p.）  Paperback

Ed. by Christel Baier, Boudewijn R. Haverkort, Joost-Pieter Katoen et al.

  • ウェブストア価格 ¥13,308（本体¥12,099）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 120pt
  • 海外取次在庫
Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, （2018）
  • 洋書
  • 電子版あり

Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, （2018）  Paperback,  言語：ENG

Baier, Christel (EDT)/ Caires, Luís (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer International Publishing AG（2018/05発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～5件／全5件
  •