4
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년 10월
  • 100,890원 (10% 할인 / 3,030원)
  • 예약판매
  • 택배로 주문하면 9월 23일 출고 변경
  • 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월
  • 77,600원 (10% 할인 / 2,330원)
  • 택배로 주문하면 8월 22일 출고 변경
  • 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,080원 (10% 할인 / 3,110원)
  • 택배로 주문하면 8월 30일 출고 변경
  • 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,080원 (10% 할인 / 3,110원)
  • 택배로 주문하면 8월 30일 출고 변경
  • 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월
  • 77,600원 (10% 할인 / 2,330원)
  • 택배로 주문하면 8월 22일 출고 변경
  • 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,080원 (10% 할인 / 3,110원)
  • 택배로 주문하면 8월 30일 출고 변경
  • 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월
  • 77,600원 (10% 할인 / 2,330원)
  • 택배로 주문하면 8월 22일 출고 변경
  • 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월
  • 76,850원 (18% 할인 / 3,850원)
  • 택배로 주문하면 9월 6일 출고 변경
  • 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,080원 (10% 할인 / 3,110원)
  • 택배로 주문하면 8월 30일 출고 변경

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

뒤로가기
위로가기