이전
전체보기

알라딘

장바구니
Roderick Bloem의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proc (Paperback, 2016)
  • Roderick Bloem, Eli Arbel (엮은이)
  • Springer | 2016년 11월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 5일 출고 변경
  • Trusted Systems: 5th International Conference, Intrust 2013, Graz, Austria, December 4-5, 2013, Proceedings (Paperback, 2013) - 5th International Conference, Intrust 2013, Graz, Austria, December 4-5, 2013, Proceedings
  • Peter Lipp, Roderick Bloem (엮은이)
  • Springer-Verlag New York Inc | 2013년 11월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 8월 5일 출고 변경
  • Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1 (Paperback, 2014)
  • Armin Biere, Roderick Bloem (엮은이)
  • Springer-Verlag New York Inc | 2014년 08월
  • 153,730원 (18% 할인 / 7,690원)
  • 택배로 주문하면 8월 5일 출고 변경
  • Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18- (Paperback)
  • Roderick Bloem, Biere Armin Biere (엮은이)
  • Springer Nature B.V. | 2014년 07월
  • 62,530원 (10% 할인 / 3,130원)
  • 택배로 주문하면 7월 29일 출고 변경

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

뒤로가기
위로가기