Constantin Enea의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Networked Systems: 12th International Conference, Netys 2024, Rabat, Morocco, May 29-31, 2024, Proceedings (Paperback, 2024)
  • Constantin Enea, Nirupam Gupta, Armando Casta?da (엮은이)
  • Springer | 2024년 08월
  • 90,340원 (18% 할인 / 4,520원)
  • 택배로 주문하면 11월 21일 출고 변경
  • Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Paperback, 2023)
  • Akash Lal, Constantin Enea (엮은이)
  • Springer | 2023년 07월
  • 78,730원 (10% 할인 / 2,370원)
  • 택배로 주문하면 11월 6일 출고 변경
  • Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceed (Paperback)
  • Ruzica Piskac, Constantin Enea (엮은이)
  • Springer Nature B.V. | 2019년 01월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 11월 14일 출고 변경
  • Computer Aided Verification (Paperback) - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
  • Constantin Enea
  • Springer Nature B.V. | 2023년 07월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 11월 14일 출고 변경
  • Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Paperback, 2023)
  • Akash Lal, Constantin Enea (엮은이)
  • Springer | 2023년 07월
  • 78,730원 (10% 할인 / 2,370원)
  • 택배로 주문하면 11월 6일 출고 변경
  • Computer Aided Verification (Paperback) - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
  • Constantin Enea
  • Springer Nature B.V. | 2023년 07월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 11월 14일 출고 변경
  • Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Paperback, 2023)
  • Akash Lal, Constantin Enea (엮은이)
  • Springer | 2023년 07월
  • 78,730원 (10% 할인 / 2,370원)
  • 택배로 주문하면 11월 6일 출고 변경
  • Verification, Model Checking, and Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedi (Paperback, 2019)
  • Ruzica Piskac, Constantin Enea (엮은이)
  • Springer | 2019년 01월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 11월 21일 출고 변경
  • Computer Aided Verification (Paperback) - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
  • Constantin Enea
  • Springer Nature B.V. | 2023년 07월
  • 62,980원 (10% 할인 / 3,150원)
  • 택배로 주문하면 11월 14일 출고 변경

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

뒤로가기
위로가기