CONCUR 2011 -- Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6901) (2011. XV, 530 S.)
  • 洋書

CONCUR 2011 -- Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .6901) (2011. XV, 530 S.)  Paperback,  言語:ENG

Herausgegeben von Katoen, Joost-Pieter/ Koenig, Barbara

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7214) (2012. 2012. XIX, 560 S. 162 SW-Abb. 235 mm)
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7214) (2012. 2012. XIX, 560 S. 162 SW-Abb. 235 mm)  Paperback

Herausgegeben von Flanagan, Cormac/ Koenig, Barbara

  • ウェブストア価格 ¥13,308(本体¥12,099)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫
Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)
  • 洋書

Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings (Theoretical Computer Science and General Issues) (2014)  Paperback,  言語:ENG

Giese, Holger (EDT)/ König, Barbara (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 104pt
  • 海外取次在庫