Dirk Pattinson의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (Paperback)
  • Jasmin Blanchette, Dirk Pattinson, Kovacs, Laura (엮은이)
  • Springer | 2022년 07월
  • 61,890원 (18% 할인 / 3,100원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Recent Trends in Algebraic Development Techniques: 16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Sel (Paperback, 2003)
  • Rolf Hennicker , Martin Wirsing, Dirk Pattinson (엮은이)
  • Springer Verlag | 2003년 11월
  • 77,360원 (18% 할인 / 3,870원)
  • 택배로 주문하면 12월 2일 출고 변경
  • Coalgebraic Methods in Computer Science: 11th International Workshop, Cmcs 2012, Colocated with Etaps 2012, Tallinn, Estonia, March 31 -- April 1, 201 (Paperback, 2012) - 11th International Workshop, Cmcs 2012, Colocated With Etaps 2012, Tallin, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
  • Dirk Pattinson, Lutz Schroder (엮은이)
  • Springer Verlag | 2012년 08월
  • 82,780원 (18% 할인 / 4,140원)
  • 택배로 주문하면 12월 2일 출고 변경

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

뒤로가기
위로가기