베스트셀러 : 알라딘

751.

새창열기 크게보기

[외국도서] Stacs, 91 (Paperback) - 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14-16, 1991 정가제 FREE 해외직수입
C. Choffrut (지은이), M. Jantzen (엮은이) | Springer Verlag | 1991년 2월
165,600원 → 135,790원 (18%할인), 마일리지 6,790원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

752.

새창열기

[외국도서] Concurrency (Paperback) - Theory, Language, and Architecture : Uk/Japan Workshop Oxford, Uk, September 25-27, 1989 Proceedings 정가제 FREE 해외직수입
A. Yonezawa (지은이), T. Ito (엮은이) | Springer Verlag | 1991년 5월
103,410원 → 84,790원 (18%할인), 마일리지 4,240원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

753.

새창열기 크게보기

[외국도서] Tapsoft '91 (Paperback) - Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 : Colloq 정가제 FREE 해외직수입
England) International Joint Conference on Theor (지은이) | Springer Verlag | 1991년 9월
146,530원 → 120,150원 (18%할인), 마일리지 6,010원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

754.

새창열기

[외국도서] First-Order Programming Theories (Hardcover) 정가제 FREE 해외직수입
Tamas Gergely, Laszlo Ury (지은이) | Springer Verlag | 1992년 1월
215,620원 → 176,800원 (18%할인), 마일리지 8,840원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

755.

새창열기 크게보기

[외국도서] Mathematical Foundations of Computer Science, 1991 (Paperback) - 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : Proceedings 정가제 FREE 해외직수입
A. Tarlecki (엮은이) | Springer Verlag | 1991년 10월
117,210원 → 96,110원 (18%할인), 마일리지 4,810원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

756.

새창열기

[외국도서] Computer-Aided Verification (Paperback) - 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings 정가제 FREE 해외직수입
E. M. Clarke (지은이), R. P. Kurshan (엮은이) | Springer Verlag | 1991년 10월
108,580원 → 89,030원 (18%할인), 마일리지 4,460원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

757.

새창열기

[외국도서] Computer Science Logic (Paperback) - 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990 : Proceedings 정가제 FREE 해외직수입
H. Kleine Buning (지은이) | Springer Verlag | 1991년 9월
124,110원 → 101,770원 (18%할인), 마일리지 5,090원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

758.

새창열기

[외국도서] Category Theory and Computer Science (Paperback) - Paris, France, September 3-6, 1991 Proceedings 정가제 FREE 해외직수입
D. H. Pitt, P. L. Curien (지은이), S. Abramsky (엮은이) | Springer Verlag | 1991년 12월
117,210원 → 96,110원 (18%할인), 마일리지 4,810원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

759.

새창열기

[외국도서] Recent Trends in Data Type Specification (Paperback) - 7th Workshop on Specification of Abstract Data Types Wusterhausen/Dosse, Germany, April 17-20, 1990 Proceedings 정가제 FREE 해외직수입
Klaus P. Jantke (지은이) | Springer Verlag | 1991년 11월
103,410원 → 84,790원 (18%할인), 마일리지 4,240원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

760.

새창열기 크게보기

[외국도서] Nonmonotonic and Inductive Logic (Paperback) - 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings 정가제 FREE 해외직수입
Klaus P. Jantke, J. Dix (지은이), P. H. Schmitt (엮은이) | Springer Verlag | 1991년 12월
91,330원 → 74,890원 (18%할인), 마일리지 3,750원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

761.

새창열기 크게보기

[외국도서] Vdm 91 (Paperback) - Formal Software Development Methods : Proceedings 정가제 FREE 해외직수입
S. Prehn (지은이), H. Toetenel (엮은이) | Springer Verlag | 1991년 11월
186,300원 → 152,760원 (18%할인), 마일리지 7,640원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

762.

새창열기 크게보기

[외국도서] Vdm 91 (Paperback) - Formal Software Development Methods : 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991 : Procee 정가제 FREE 해외직수입
W. J. Toetenel (엮은이) | Springer Verlag | 1991년 11월
120,660원 → 98,940원 (18%할인), 마일리지 4,950원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

763.

새창열기 크게보기

[외국도서] Specification and Compositional Verification of Real-Time Systems (Paperback) 정가제 FREE 해외직수입
J. Hooman (지은이) | Springer Verlag | 1991년 12월
103,410원 → 84,790원 (18%할인), 마일리지 4,240원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

764.

새창열기

[외국도서] Algebraic Specification Techniques in Object Oriented Programming Environments (Paperback) 정가제 FREE 해외직수입
R. Breu (지은이) | Springer Verlag | 1992년 1월
99,960원 → 81,960원 (18%할인), 마일리지 4,100원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

765.

새창열기

[외국도서] Formal Techniques in Real-Time and Fault-Tolerant Systems (Paperback) - Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings 정가제 FREE 해외직수입
Jan Vytopil (엮은이) | Springer Verlag | 1992년 1월
175,950원 → 144,270원 (18%할인), 마일리지 7,220원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

766.

새창열기

[외국도서] Computer Aided Verification (Paperback) - 3rd International Workshop, Cav 92 : Proceedings 정가제 FREE 해외직수입
Kim G. Larsen (지은이), A. Skou (엮은이) | Springer Verlag | 1992년 6월
160,420원 → 131,540원 (18%할인), 마일리지 6,580원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

767.

새창열기 크게보기

[외국도서] Stacs 92 (Paperback) - 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : Proceedings 정가제 FREE 해외직수입
A. Finkel (지은이), M. Jantzen (엮은이) | Springer Verlag | 1992년 5월
175,950원 → 144,270원 (18%할인), 마일리지 7,220원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

768.

새창열기

[외국도서] Esop '92 (Paperback) - 4th European Symposium on Programming Rennes, France, February 26-28, 1992 : Proceedings 정가제 FREE 해외직수입
B. Krieg-Bruckner (엮은이) | Springer Verlag | 1992년 3월
155,160원 → 127,230원 (18%할인), 마일리지 6,370원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

769.

새창열기 크게보기

[외국도서] Theory of Computing and Systems (Paperback) - Istcs '92 Israel Symposium Haifa, Israel, May 27-28, 1992 Proceedings 정가제 FREE 해외직수입
Zvi Galil (지은이) | Springer Verlag | 1992년 6월
103,410원 → 84,790원 (18%할인), 마일리지 4,240원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

770.

새창열기 크게보기

[외국도서] Constructivity in Computer Science (Paperback) - Summer Symposium, San Antonio, Tx, June 19-22, 1991, Proceedings 정가제 FREE 해외직수입
J. P. Myers (지은이), M. J. O'Donnell (엮은이) | Springer Verlag | 1992년 6월
112,030원 → 91,860원 (18%할인), 마일리지 4,600원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

771.

새창열기 크게보기

[외국도서] Advanced Database Systems (Paperback, Subsequent) - 10th British National Conference on Databases, Bncod 10, Aberdeen, Scotland, July 6-8, 1992 : Proceedings 정가제 FREE 해외직수입
피터 그레이 (지은이), Robert J. Lucas (엮은이) | Springer Verlag | 1992년 7월
108,580원 → 89,030원 (18%할인), 마일리지 4,460원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

772.

새창열기 크게보기

[외국도서] Logical Foundations of Computer Science--Tver '92 (Paperback) - Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings 정가제 FREE 해외직수입
Anil Nerode (지은이), M. Taitslin (엮은이) | Springer Verlag | 1992년 7월
163,870원 → 134,370원 (18%할인), 마일리지 6,720원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

773.

새창열기

[외국도서] Computer Science Logic (Paperback) - 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 : Proceedings 정가제 FREE 해외직수입
Egon Borger, G. Jager, H. Kleine Buning (지은이) | Springer Verlag | 1992년 10월
137,910원 → 113,080원 (18%할인), 마일리지 5,660원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

774.

새창열기 크게보기

[외국도서] Logic and Algebra of Specification (Hardcover) 정가제 FREE 해외직수입
Friedrich L. Bauer, Wilfried Brauer (지은이) | Springer Verlag | 1993년 6월
274,270원 → 224,900원 (18%할인), 마일리지 11,250원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

775.

새창열기 크게보기

[외국도서] Concur '92 (Paperback) - Third International Conference on Concurrency Theory, Stony Brook, Ny, Usa, August 1992 : Proceedings 정가제 FREE 해외직수입
W. Rance Cleaveland (엮은이) | Springer Verlag | 1992년 8월
170,770원 → 140,030원 (18%할인), 마일리지 7,010원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

776.

새창열기

[외국도서] Programming Language Implementation and Logic Programming (Paperback) - 4th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 : Proceedings 정가제 FREE 해외직수입
M. Wirsing (엮은이) | Springer Verlag | 1992년 8월
170,770원 → 140,030원 (18%할인), 마일리지 7,010원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

777.

새창열기

[외국도서] Algebraic and Logic Programming (Paperback) - Third International Conference, Pisa, Italy, September 2-4, 1992 : Proceedings 정가제 FREE 해외직수입
H. Kirchner (지은이), Giorgio Levi (엮은이) | Springer Verlag | 1992년 9월
156,970원 → 128,710원 (18%할인), 마일리지 6,440원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

778.

새창열기 크게보기

[외국도서] Logics in Ai (Paperback) - European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992 : Proceedings 정가제 FREE 해외직수입
D. Pearce (지은이), G. Wagner (엮은이) | Springer Verlag | 1992년 9월
143,080원 → 117,320원 (18%할인), 마일리지 5,870원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

779.

새창열기 크게보기

[외국도서] Specifying Message Passing and Time-Critical Systems With Temporal Logic (Paperback) 정가제 FREE 해외직수입
Ron Koymans (지은이) | Springer Verlag | 1992년 12월
103,410원 → 84,790원 (18%할인), 마일리지 4,240원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

780.

새창열기

[외국도서] Foundations of Software Technology and Theoretical Computer Science (Paperback) - 12th Conference New Delhi, India, December 18-20, 1992 : Proceedings 정가제 FREE 해외직수입
R. K. Shyamasundar (엮은이) | Springer Verlag | 1992년 12월
146,530원 → 120,150원 (18%할인), 마일리지 6,010원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

781.

새창열기

[외국도서] Recent Trends in Data Type Specification (Paperback) - 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A 정가제 FREE 해외직수입
M. Bidoit (지은이), C. Choppy (엮은이) | Springer Verlag | 1993년 3월
129,280원 → 106,000원 (18%할인), 마일리지 5,300원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

782.

새창열기

[외국도서] Computer Aided Verification (Paperback) - Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings 정가제 FREE 해외직수입
G. Von Bochmann (지은이), D. K. Probst (엮은이) | Springer Verlag | 1994년 8월
146,530원 → 120,150원 (18%할인), 마일리지 6,010원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

783.

새창열기 크게보기

[외국도서] Stacs 93 (Paperback) - 10th Annual Symposium on Theoretical Aspects of Computer Science Wurzburg, Germany, February 25-27, 1993 : Proceedings 정가제 FREE 해외직수입
A. Finkel, P. Enjalbert (지은이), K. W. Wagner (엮은이) | Springer Verlag | 1993년 3월
198,370원 → 162,660원 (18%할인), 마일리지 8,140원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

784.

새창열기

[외국도서] Typed Lambda Calculi and Applications (Paperback) - International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 19983 Utrecht, the N 정가제 FREE 해외직수입
J. F. Groote, M. Bezem (지은이) | Springer Verlag | 1993년 4월
143,080원 → 117,320원 (18%할인), 마일리지 5,870원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

785.

새창열기

[외국도서] Semantics (Paperback) - Foundations and Applications : Rex Workshop Beekbergen, the Netherlands, June 1-4, 1992 Proceedings 정가제 FREE 해외직수입
J. W. De Bakker, J. W. De Bakker, W. P. De Roever (지은이), G. Rozenberg (엮은이) | Springer Verlag | 1993년 6월
188,020원 → 154,170원 (18%할인), 마일리지 7,710원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

786.

새창열기

[외국도서] Fme '93 (Paperback) - Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings 정가제 FREE 해외직수입
P. G. Larsen (엮은이) | Springer Verlag | 1993년 12월
198,370원 → 162,660원 (18%할인), 마일리지 8,140원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

787.

새창열기

[외국도서] Live Data Structures in Logic Programs (Paperback) 정가제 FREE 해외직수입
Anne Mulkers (지은이) | Springer Verlag | 1993년 5월
103,410원 → 84,790원 (18%할인), 마일리지 4,240원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

788.

새창열기

[외국도서] Parallel Architectures and Their Efficient Use (Paperback) - First Heinz Nixdorf Symposium Paderborn, Germany, November 11-13, 1992 Proceedings 정가제 FREE 해외직수입
B. Monien, F. Meyer Auf Der Heide (지은이) | Springer Verlag | 1993년 8월
103,410원 → 84,790원 (18%할인), 마일리지 4,240원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

789.

새창열기

[외국도서] Computer Aided Verification (Paperback) - 5th International Conference, Cav '93 Eloybdam Greece, June 28-July 1, 1993 Proceedings 정가제 FREE 해외직수입
Costas Courcoubetis (엮은이) | Springer Verlag | 1993년 9월
169,050원 → 138,620원 (18%할인), 마일리지 6,940원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

790.

새창열기

[외국도서] Automata, Languages and Programming (Paperback) - 20th International Colloquium, Icalp 93 Lund, Sweden, July 5-9, 1993 Proceedings 정가제 FREE 해외직수입
R. Karlsson, A. Lingas (지은이), S. Carlsson (엮은이) | Springer Verlag | 1993년 9월
194,920원 → 159,830원 (18%할인), 마일리지 8,000원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

791.

새창열기

[외국도서] Computer Science Logic (Paperback) - 6th Workshop, Csl '92 San Miniato, Italy September 28-October 2, 1992 Selected Papers 정가제 FREE 해외직수입
Egon Borger, H. Kleine Buning, G. Jager (지은이) | Springer Verlag | 1993년 8월
143,080원 → 117,320원 (18%할인), 마일리지 5,870원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

792.

새창열기

[외국도서] Field-Programmable Gate Arrays (Paperback) - Architectures and Tools for Rapid Prototyping 정가제 FREE 해외직수입
Reiner W. Hartenstein (엮은이) | Springer Verlag | 1993년 8월
103,410원 → 84,790원 (18%할인), 마일리지 4,240원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

793.

새창열기

[외국도서] Fundamentals of Computation Theory (Paperback) - 9th International Conference, Fct '93 Szeged, Hungary, August 23-27, 1993 : Proceedings 정가제 FREE 해외직수입
Zoltan Esik (엮은이) | Springer Verlag | 1993년 8월
155,160원 → 127,230원 (18%할인), 마일리지 6,370원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

794.

새창열기 크게보기

[외국도서] Concur'93 (Paperback) - 4th International Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings 정가제 FREE 해외직수입
Eike Best (엮은이) | Springer Verlag | 1993년 8월
169,050원 → 138,620원 (18%할인), 마일리지 6,940원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

795.

새창열기

[외국도서] Formal Methods in Programming and Their Applications (Paperback) - International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings 정가제 FREE 해외직수입
Dines Bjorner, Manfred Broy, Igor V. Pottosin (엮은이) | Springer Verlag | 1993년 10월
143,080원 → 117,320원 (18%할인), 마일리지 5,870원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

796.

새창열기 크게보기

[외국도서] The Generic Development Language Deva (Paperback) - Presentation and Case Studies 정가제 FREE 해외직수입
Martin Simons, Matthias Weber (지은이) | Springer Verlag | 1993년 10월
108,580원 → 89,030원 (18%할인), 마일리지 4,460원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

797.

새창열기 크게보기

[외국도서] Formal Program Development (Paperback) - Ifip Tc2/Wg 2.1 State-Of-The-Art Report 정가제 FREE 해외직수입
Bernhard Moller, Helmut Partsch (지은이), Steve Schuman (엮은이) | Springer Verlag | 1993년 12월
129,280원 → 106,000원 (18%할인), 마일리지 5,300원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

798.

새창열기

[외국도서] Foundations of Software Technology and Theoretical Computer Science (Paperback) - 13th Conference Bombay, India, December 15-17, 1993 : Proceedings 정가제 FREE 해외직수입
R. K. Shyamasundar (엮은이) | Springer Verlag | 1993년 12월
155,160원 → 127,230원 (18%할인), 마일리지 6,370원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

799.

새창열기

[외국도서] Stacs 94 (Paperback) - 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 : Proceedings 정가제 FREE 해외직수입
Ernst W. Mayr, P. Enjalbert (지은이), K. W. Wagner (엮은이) | Springer Verlag | 1994년 2월
207,000원 → 169,740원 (18%할인), 마일리지 8,490원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

800.

새창열기

[외국도서] Higher Order Logic Theorem Proving and Its Applications (Paperback) - 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 정가제 FREE 해외직수입
Jeffrey J. Joyce, Carl-Johan H. Seger (지은이) | Springer Verlag | 1994년 3월
169,050원 → 138,620원 (18%할인), 마일리지 6,940원 (5% 적립)

지금 택배로 주문하면 5월 29일 출고
(중구 서소문로 89-31)

장바구니

바로구매

보관함

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

국내도서

외국도서

영미도서

대학교재/전문서

기타 언어권

어린이

일본도서

eBook

알라딘굿즈

온라인중고

중고매장

서울

경기

광역시 등

커피

음반

블루레이

블루레이

DVD

베스트셀러

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

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