Thomas Wies의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Networked Systems: 11th International Conference, Netys 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings (Paperback, 2023)
  • Thomas Wies, David Mohaisen (엮은이)
  • Springer | 2023년 07월
  • 93,130원 (10% 할인 / 2,800원)
  • 택배로 주문하면 8월 22일 출고 변경
  • Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proc (Paperback)
  • Bernd Finkbeiner, Thomas Wies (엮은이)
  • Springer | 2022년 01월
  • 138,350원 (18% 할인 / 6,920원)
  • 택배로 주문하면 9월 6일 출고 변경
  • Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Pro (Paperback)
  • Bernd Finkbeiner, Thomas Wies (엮은이)
  • Springer Nature B.V. | 2022년 01월
  • 62,080원 (10% 할인 / 3,110원)
  • 택배로 주문하면 8월 30일 출고 변경
  • Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Pr (Paperback)
  • Thomas Wies (엮은이)
  • Springer Nature B.V. | 2023년 04월
  • 72,950원 (18% 할인 / 3,650원)
  • 택배로 주문하면 8월 29일 출고 변경
  • Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Pra (Paperback, 2023)
  • Thomas Wies (엮은이)
  • Springer | 2023년 04월
  • 61,480원 (18% 할인 / 3,080원)
  • 택배로 주문하면 9월 6일 출고 변경
  • Verified Software. Theories, Tools, and Experiments: 9th International Conference, Vstte 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected (Paperback, 2017)
  • Andrei Paskevich, Thomas Wies (엮은이)
  • Springer | 2017년 12월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 9월 6일 출고 변경

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

뒤로가기
위로가기