Thomas A. Henzinger의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings (Paperback)
  • Thomas A. Henzinger, Krishnendu Chatterjee (엮은이)
  • Springer | 2010년 08월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 15일 출고 변경
  • Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the Eacsl, Lausanne, Switzerland, September 11-15, 2007 (Paperback, 2007)
  • Jacques Duparc, Thomas A. Henzinger (엮은이)
  • Springer-Verlag New York Inc | 2007년 08월
  • 152,700원 (18% 할인 / 7,640원)
  • 택배로 주문하면 10월 15일 출고 변경
  • Computational Methods in Systems Biology: 11th International Conference, Cmsb 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Paperback, 2013) - 11th International Conference, Cmsb 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
  • Thomas A. Henzinger, Ashutosh Gupta (엮은이)
  • Springer-Verlag New York Inc | 2013년 08월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 15일 출고 변경
  • Hybrid Systems: Computation and Control: First International Workshop, Hscc'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Paperback, 1998)
  • T. A. Henzinger, Shankar Sastry , Thomas A. Henzinger (엮은이)
  • Springer Verlag | 1998년 03월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 15일 출고 변경
  • Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 201 (Paperback, 2013) - 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
  • Antonin Kucera, Thomas A. Henzinger (엮은이)
  • Springer-Verlag New York Inc | 2013년 01월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 15일 출고 변경

검색결과에 만족하시나요?

뒤로가기
위로가기