Zhiming Liu의 신간 소식을 구독하세요.
신청
ㆍㆍㆍ
  • Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Paperback)
  • Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이)
  • Springer Nature B.V. | 2013년 11월
  • 65,680원 (10% 할인 / 3,290원)
  • 택배로 주문하면 2025년 1월 13일 출고 변경
  • Mechanical and Electronics Engineering VI (Paperback)
  • Zhiming Liu (엮은이)
  • Trans Tech Pubn | 2014년 11월
  • 194,750원 (18% 할인 / 9,740원)
  • 택배로 주문하면 2025년 1월 14일 출고 변경
  • Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Paperback, 2013) - 10th International Colloquium Ictac 2013
  • Zhiming Liu (엮은이)
  • Springer-Verlag New York Inc | 2013년 07월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Foundations of Health Informatics Engineering and Systems: First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011. (Paperback, 2012) - First International Symposium, Fhies 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
  • Zhiming Liu, Alan Wassyng (엮은이)
  • Springer-Verlag New York Inc | 2012년 07월
  • 71,660원 (18% 할인 / 3,590원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Pro (Paperback)
  • Zhiming Liu, Jifeng He (엮은이)
  • Springer-Verlag New York Inc | 2006년 10월
  • 155,780원 (18% 할인 / 7,790원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Theoretical Aspects of Computing - Ictac 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Paperback, 2005)
  • Zhiming Liu, Keijiro Araki (엮은이)
  • Springer Verlag | 2005년 03월
  • 166,680원 (18% 할인 / 8,340원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Paperback, 2007)
  • Cliff B. Jones, Zhiming Liu, Jim Woodcock (엮은이)
  • Springer-Verlag New York Inc | 2007년 09월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Theoretical Aspects of Computing - Ictac 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Paperback, 2022)
  • Zhiming Liu, Helmut Seidl, Corina S Pasareanu (엮은이)
  • Springer | 2022년 10월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, Setta 2015, Nanjing, China, November 4-6, 2015, Pro (Paperback, 2015)
  • Zhiming Liu, Wang Yi, Xuandong Li (엮은이)
  • Springer International Publishing | 2015년 10월
  • 74,780원 (18% 할인 / 3,740원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Paperback, 2013) - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
  • Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이)
  • Springer-Verlag New York Inc | 2013년 07월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Engineering Trustworthy Software Systems: First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Paperback, 2016)
  • Zhiming Liu, Zili Zhang (엮은이)
  • Springer International Publishing | 2016년 03월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Hardcover) - Models for Analysis and Synthesis
  • Zhiming Liu, He Jifeng (엮은이)
  • World Scientific Pub Co Inc | 2006년 11월
  • 254,400원 (18% 할인 / 12,720원)
  • 택배로 주문하면 2025년 1월 10일 출고 변경
  • Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, (Paperback)
  • Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이)
  • Springer Nature B.V. | 2013년 11월
  • 65,680원 (10% 할인 / 3,290원)
  • 택배로 주문하면 2025년 1월 13일 출고 변경
  • Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures (Paperback, 2020)
  • Zhiming Liu, Zili Zhang, Jonathan P. Bowen (엮은이)
  • Springer | 2020년 08월
  • 83,330원 (18% 할인 / 4,170원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai, (Paperback, 2013)
  • Zhiming Liu (엮은이)
  • Springer-Verlag New York Inc | 2013년 07월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Theoretical Aspects of Computing - Ictac 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Paperback, 2007) - 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
  • Cliff B. Jones, Zhiming Liu, 존 우드콕 (엮은이)
  • Springer-Verlag New York Inc | 2007년 09월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경
  • Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Paperback)
  • Zhiming Liu, Anders P. Ravn (엮은이)
  • Springer-Verlag New York Inc | 2009년 09월
  • 77,880원 (18% 할인 / 3,900원)
  • 택배로 주문하면 2025년 1월 20일 출고 변경

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

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

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

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

1:1 문의

FAQ

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