1
Zhe Hou의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Hardcover)
  • Zhe Hou
  • Springer | 2021년 12월
  • 94,690원 (18% 할인 / 4,740원)
  • 택배로 주문하면 1월 27일 출고 변경
  • Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 202 (Paperback, 2020)
  • Brendan Mahoney, Shang-Wei Lin, Zhe Hou (엮은이)
  • Springer | 2020년 12월
  • 78,900원 (18% 할인 / 3,950원)
  • 택배로 주문하면 1월 27일 출고 변경
  • Sports Analytics: First International Conference, Isace 2024, Paris, France, July 12-13, 2024, Proceedings (Paperback, 2024)
  • Jin Song Dong, Masoumeh Izadi, Zhe Hou (엮은이)
  • Springer | 2024년 09월
  • 205,180원 (18% 할인 / 10,260원)
  • 택배로 주문하면 1월 27일 출고 변경
  • Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedi (Paperback)
  • Zhe Hou, Vijay Ganesh (엮은이)
  • Springer | 2021년 10월
  • 118,360원 (18% 할인 / 5,920원)
  • 택배로 주문하면 1월 27일 출고 변경
  • Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Paperback, 2021)
  • Zhe Hou
  • Springer | 2022년 12월
  • 94,690원 (18% 할인 / 4,740원)
  • 택배로 주문하면 1월 27일 출고 변경

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

뒤로가기
위로가기
로그인전체 메뉴회사 소개출판사 안내PC 버전

(주)알라딘커뮤니케이션

일반문의 (발신자 부담) 1544-2514

1:1 문의

FAQ

중고매장 위치, 영업시간 안내