Oleg Sokolsky의 신간 소식을 구독하세요.
ㆍㆍㆍ
  • Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings (Paperback, 2020)
  • Dang Van Hung, Oleg Sokolsky (엮은이)
  • Springer | 2020년 10월
  • 81,680원 (18% 할인 / 4,090원)
  • 택배로 주문하면 10월 17일 출고 변경
  • From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (Paperback, 2019)
  • Oleg Sokolsky, Ezio Bartocci, Rance Cleaveland, Radu Grosu (엮은이)
  • Springer | 2019년 09월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 17일 출고 변경
  • Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P (Paperback, 2017)
  • Ji Wang, Kim G. Larsen, Oleg Sokolsky (엮은이)
  • Springer-Verlag New York Inc | 2017년 10월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 17일 출고 변경
  • Runtime Verification (Paperback) - 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
  • Oleg Sokolsky, Serdar Tasiran (엮은이)
  • Springer-Verlag New York Inc | 2007년 12월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 17일 출고 변경
  • Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Pap (Paperback, 2008)
  • Fabrice Kordon, Oleg Sokolsky (엮은이)
  • Springer-Verlag New York Inc | 2008년 01월
  • 76,340원 (18% 할인 / 3,820원)
  • 택배로 주문하면 10월 17일 출고 변경
  • Emerging Directions in Embedded and Ubiquitous Computing: EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, (Paperback)
  • Xiaobo Zhou, Lu Yan, Oleg Sokolsky (엮은이)
  • Springer-Verlag New York Inc | 2006년 07월
  • 229,060원 (18% 할인 / 11,460원)
  • 택배로 주문하면 10월 17일 출고 변경

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

뒤로가기
위로가기