Zhiming Liu 저자의 출간 도서 : 알라딘

일본어 입력기
	ㅇ	ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야	ㄹ	와
ㅏ	あ	ぁ	か	が	さ	ざ	た	だ		な	は	ば	ぱ	ま	や	ゃ	ら	わ	ん
ア	ァ	カ	ガ	サ	ザ	タ	ダ		ナ	ハ	バ	パ	マ	ヤ	ャ	ラ	ワ	ン
ㅣ	い	ぃ	き	ぎ	し	じ	ち	ぢ		に	ひ	び	ぴ	み			り
イ	ィ	キ	ギ	シ	ジ	チ	ヂ		ニ	ヒ	ビ	ピ	ミ			リ
ㅜ	う	ぅ	く	ぐ	す	ず	つ	づ	っ	ぬ	ふ	ぶ	ぷ	む	ゆ	ゅ	る
ウ	ゥ	ク	グ	ス	ズ	ツ	ヅ	ッ	ヌ	フ	ブ	プ	ム	ユ	ュ	ル		ヴ
ㅔ	え	ぇ	け	げ	せ	ぜ	て	で		ね	へ	べ	ぺ	め			れ
エ	ェ	ケ	ヶ	セ	ゼ	テ	デ		ネ	へ	べ	ぺ	メ			レ
ㅗ	お	ぉ	こ	ご	そ	ぞ	と	ど		の	ほ	ぼ	ぽ	も	よ	ょ	ろ	を
オ	ォ	コ	ゴ	ソ	ゾ	ト	ド		ノ	ホ	ボ	ポ	モ	ヨ	ョ	ロ	ヲ	―

1.

Theoretical Aspects of Computing - Ictac 2025: 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings (Paperback) 정가제 FREE 해외직수입
Zhiming Liu, Heike Wehrheim, Adnane Saoud (엮은이) | Springer | 2025년 11월
148,980원 → 134,080원 (10%할인), 마일리지 4,030원

지금 택배로 주문하면 12월 30일 출고

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

2.

Engineering Trustworthy Software Systems: 6th International School, Setss 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures (Paperback) 정가제 FREE 해외직수입
Zhiming Liu, Jonathan P. Bowen, Cl?dio Gomes (엮은이) | Springer | 2025년 4월
111,730원 → 100,550원 (10%할인), 마일리지 3,020원

지금 택배로 주문하면 12월 30일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

3.

Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Paperback) 정가제 FREE 해외직수입
Zhiming Liu, Pasareanu Corina S. Pasareanu, Seidl Helmut Seidl (엮은이) | Springer Nature B.V. | 2022년 10월
74,480원 → 70,750원 (5%할인), 마일리지 2,130원

지금 택배로 주문하면 2026년 1월 8일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

4.

Theoretical Aspects of Computing - Ictac 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings (Paperback, 2022) 정가제 FREE 해외직수입
Zhiming Liu, Helmut Seidl, Corina S Pasareanu (엮은이) | Springer | 2022년 10월
117,000원 → 95,940원 (18%할인), 마일리지 4,800원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

5.

Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures (Paperback, 2020) 정가제 FREE 해외직수입
Zhiming Liu, Zili Zhang, Jonathan P. Bowen (엮은이) | Springer | 2020년 8월
117,000원 → 95,940원 (18%할인), 마일리지 4,800원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

6.

Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures (Paperback, 2019) 정가제 FREE 해외직수입
Zhiming Liu, Zili Zhang, Jonathan P. Bowen (엮은이) | Springer Nature Switzerland AG | 2019년 4월
135,730원 → 111,290원 (18%할인), 마일리지 5,570원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

7.

Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (Paperback, 2018) 정가제 FREE 해외직수입
Zhiming Liu, Zili Zhang, Jonathan P. Bowen (엮은이) | Springer International Publishing | 2018년 11월
117,000원 → 95,940원 (18%할인), 마일리지 4,800원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

8.

Engineering Trustworthy Software Systems: Second International School, Setss 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures (Paperback, 2017) 정가제 FREE 해외직수입
Zhiming Liu, Zili Zhang, Jonathan P. Bowen (엮은이) | Springer International Publishing AG | 2017년 4월
117,000원 → 95,940원 (18%할인), 마일리지 4,800원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

9.

Engineering Trustworthy Software Systems: First International School, Setss 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (Paperback, 2016) 정가제 FREE 해외직수입
Zhiming Liu, Zili Zhang (엮은이) | Springer International Publishing | 2016년 3월
117,000원 → 95,940원 (18%할인), 마일리지 4,800원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

10.

Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, Setta 2015, Nanjing, China, November 4-6, 2015, Pro (Paperback, 2015) 정가제 FREE 해외직수입
Zhiming Liu, Wang Yi, Xuandong Li (엮은이) | Springer International Publishing | 2015년 10월
112,350원 → 92,120원 (18%할인), 마일리지 4,610원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

11.

Mechanical and Electronics Engineering VI (Paperback) 정가제 FREE 해외직수입
Zhiming Liu (엮은이) | Trans Tech Pubn | 2014년 11월
273,430원 → 224,210원 (18%할인), 마일리지 11,220원

지금 택배로 주문하면 2026년 1월 9일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

12.

Formal Aspects of Component Software: 10th International Symposium, Facs 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers (Paperback, 2014) 정가제 FREE 해외직수입
Zhiming Liu, Jose Luiz Fiadeiro, Jinyun Xue (엮은이) | Springer-Verlag New York Inc | 2014년 7월
117,000원 → 95,940원 (18%할인), 마일리지 4,800원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

13.

Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Paperback) 정가제 FREE 해외직수입
Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이) | Springer Nature B.V. | 2013년 11월
74,480원 → 70,750원 (5%할인), 마일리지 2,130원

지금 택배로 주문하면 2026년 1월 8일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

14.

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, (Paperback) 정가제 FREE 해외직수입
Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이) | Springer Nature B.V. | 2013년 11월
74,480원 → 70,750원 (5%할인), 마일리지 2,130원

지금 택배로 주문하면 2026년 1월 8일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

15.

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 정가제 FREE 해외직수입
Zhiming Liu, Jim Woodcock, Huibiao Zhu (엮은이) | Springer-Verlag New York Inc | 2013년 7월
135,620원 → 111,200원 (18%할인), 마일리지 5,560원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

16.

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at Ictac 2013, Shanghai, (Paperback, 2013) 정가제 FREE 해외직수입
Zhiming Liu (엮은이) | Springer-Verlag New York Inc | 2013년 7월
117,000원 → 95,940원 (18%할인), 마일리지 4,800원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

17.

Theoretical Aspects of Computing -- Ictac 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings (Paperback, 2013) - 10th International Colloquium Ictac 2013 정가제 FREE 해외직수입
Zhiming Liu (엮은이) | Springer-Verlag New York Inc | 2013년 7월
135,620원 → 111,200원 (18%할인), 마일리지 5,560원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

18.

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 정가제 FREE 해외직수입
Zhiming Liu, Alan Wassyng (엮은이) | Springer-Verlag New York Inc | 2012년 7월
100,620원 → 82,500원 (18%할인), 마일리지 4,130원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

19.

Bioreactors (Hardcover) - Design, Properties and Applications 정가제 FREE 해외직수입
Zhiming Liu, Paolo G. Antolli (엮은이) | Nova Science Pub Inc | 2012년 2월
260,750원 → 234,670원 (10%할인), 마일리지 7,050원

지금 택배로 주문하면 2026년 1월 7일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

20.

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Paperback) 정가제 FREE 해외직수입
Zhiming Liu, Anders P. Ravn (엮은이) | Springer-Verlag New York Inc | 2009년 9월
117,000원 → 95,940원 (18%할인), 마일리지 4,800원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

21.

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 정가제 FREE 해외직수입
Cliff B. Jones, Zhiming Liu, 존 우드콕 (엮은이) | Springer-Verlag New York Inc | 2007년 9월
196,850원 → 161,410원 (18%할인), 마일리지 8,080원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

22.

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) 정가제 FREE 해외직수입
Cliff B. Jones, Zhiming Liu, Jim Woodcock (엮은이) | Springer-Verlag New York Inc | 2007년 9월
218,720원 → 179,350원 (18%할인), 마일리지 8,970원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

23.

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Paperback, 2007) 정가제 FREE 해외직수입
Zhiming Liu, Jim Woodcock, Chris W. George (엮은이) | Springer-Verlag New York Inc | 2007년 8월
131,220원 → 107,600원 (18%할인), 마일리지 5,380원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

24.

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Hardcover) - Models for Analysis and Synthesis 정가제 FREE 해외직수입
Zhiming Liu, He Jifeng (엮은이) | World Scientific Pub Co Inc | 2006년 11월
316,620원 → 259,620원 (18%할인), 마일리지 12,990원

지금 택배로 주문하면 12월 31일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

25.

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Pro (Paperback) 정가제 FREE 해외직수입
Zhiming Liu, Jifeng He (엮은이) | Springer-Verlag New York Inc | 2006년 10월
234,040원 → 191,910원 (18%할인), 마일리지 9,600원

지금 택배로 주문하면 2026년 1월 15일 출고

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고
-	-	-

국내도서

전자책

외국도서

영미도서

대학교재/전문서

기타 언어권

어린이

일본도서

알라딘굿즈

온라인중고

중고매장

서울

경기

광역시 등

음반

블루레이

블루레이

DVD

커피

일본어 입력기

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

고객센터 1544-2514 (발신자 부담)

	ㅇ		ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야		ㄹ	와
ㅏ	あ	ぁ	か	が	さ	ざ	た	だ		な	は	ば	ぱ	ま	や	ゃ	ら	わ	ん
ㅏ	ア	ァ	カ	ガ	サ	ザ	タ	ダ		ナ	ハ	バ	パ	マ	ヤ	ャ	ラ	ワ	ン
ㅣ	い	ぃ	き	ぎ	し	じ	ち	ぢ		に	ひ	び	ぴ	み			り
ㅣ	イ	ィ	キ	ギ	シ	ジ	チ	ヂ		ニ	ヒ	ビ	ピ	ミ			リ
ㅜ	う	ぅ	く	ぐ	す	ず	つ	づ	っ	ぬ	ふ	ぶ	ぷ	む	ゆ	ゅ	る
ㅜ	ウ	ゥ	ク	グ	ス	ズ	ツ	ヅ	ッ	ヌ	フ	ブ	プ	ム	ユ	ュ	ル		ヴ
ㅔ	え	ぇ	け	げ	せ	ぜ	て	で		ね	へ	べ	ぺ	め			れ
ㅔ	エ	ェ	ケ	ヶ	セ	ゼ	テ	デ		ネ	へ	べ	ぺ	メ			レ
ㅗ	お	ぉ	こ	ご	そ	ぞ	と	ど		の	ほ	ぼ	ぽ	も	よ	ょ	ろ	を
ㅗ	オ	ォ	コ	ゴ	ソ	ゾ	ト	ド		ノ	ホ	ボ	ポ	モ	ヨ	ョ	ロ	ヲ	―

	ㅇ		ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야		ㄹ	와
ㅏ	あ	ぁ	か	が	さ	ざ	た	だ		な	は	ば	ぱ	ま	や	ゃ	ら	わ	ん
ㅏ	ア	ァ	カ	ガ	サ	ザ	タ	ダ		ナ	ハ	バ	パ	マ	ヤ	ャ	ラ	ワ	ン
ㅣ	い	ぃ	き	ぎ	し	じ	ち	ぢ		に	ひ	び	ぴ	み			り
ㅣ	イ	ィ	キ	ギ	シ	ジ	チ	ヂ		ニ	ヒ	ビ	ピ	ミ			リ
ㅜ	う	ぅ	く	ぐ	す	ず	つ	づ	っ	ぬ	ふ	ぶ	ぷ	む	ゆ	ゅ	る
ㅜ	ウ	ゥ	ク	グ	ス	ズ	ツ	ヅ	ッ	ヌ	フ	ブ	プ	ム	ユ	ュ	ル		ヴ
ㅔ	え	ぇ	け	げ	せ	ぜ	て	で		ね	へ	べ	ぺ	め			れ
ㅔ	エ	ェ	ケ	ヶ	セ	ゼ	テ	デ		ネ	へ	べ	ぺ	メ			レ
ㅗ	お	ぉ	こ	ご	そ	ぞ	と	ど		の	ほ	ぼ	ぽ	も	よ	ょ	ろ	を
ㅗ	オ	ォ	コ	ゴ	ソ	ゾ	ト	ド		ノ	ホ	ボ	ポ	モ	ヨ	ョ	ロ	ヲ	―

	ㅇ		ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야		ㄹ	와
ㅏ	あ	ぁ	か	が	さ	ざ	た	だ		な	は	ば	ぱ	ま	や	ゃ	ら	わ	ん
ㅏ	ア	ァ	カ	ガ	サ	ザ	タ	ダ		ナ	ハ	バ	パ	マ	ヤ	ャ	ラ	ワ	ン
ㅣ	い	ぃ	き	ぎ	し	じ	ち	ぢ		に	ひ	び	ぴ	み			り
ㅣ	イ	ィ	キ	ギ	シ	ジ	チ	ヂ		ニ	ヒ	ビ	ピ	ミ			リ
ㅜ	う	ぅ	く	ぐ	す	ず	つ	づ	っ	ぬ	ふ	ぶ	ぷ	む	ゆ	ゅ	る
ㅜ	ウ	ゥ	ク	グ	ス	ズ	ツ	ヅ	ッ	ヌ	フ	ブ	プ	ム	ユ	ュ	ル		ヴ
ㅔ	え	ぇ	け	げ	せ	ぜ	て	で		ね	へ	べ	ぺ	め			れ
ㅔ	エ	ェ	ケ	ヶ	セ	ゼ	テ	デ		ネ	へ	べ	ぺ	メ			レ
ㅗ	お	ぉ	こ	ご	そ	ぞ	と	ど		の	ほ	ぼ	ぽ	も	よ	ょ	ろ	を
ㅗ	オ	ォ	コ	ゴ	ソ	ゾ	ト	ド		ノ	ホ	ボ	ポ	モ	ヨ	ョ	ロ	ヲ	―