베스트셀러 : 알라딘

801.

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

지금 택배로 주문하면 6월 21일 출고

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

802.

새창열기 크게보기

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

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

803.

새창열기

[외국도서] 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월
148,660원 → 121,900원 (18%할인), 마일리지 6,100원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

804.

새창열기

[외국도서] 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월
131,160원 → 107,550원 (18%할인), 마일리지 5,380원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

805.

새창열기

[외국도서] 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월
148,660원 → 121,900원 (18%할인), 마일리지 6,100원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

806.

새창열기 크게보기

[외국도서] 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월
201,250원 → 165,020원 (18%할인), 마일리지 8,260원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

807.

새창열기

[외국도서] 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월
145,160원 → 119,030원 (18%할인), 마일리지 5,960원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

808.

새창열기

[외국도서] 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월
190,750원 → 156,410원 (18%할인), 마일리지 7,830원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

809.

새창열기

[외국도서] 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월
201,250원 → 165,020원 (18%할인), 마일리지 8,260원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

810.

새창열기

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

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

811.

새창열기

[외국도서] 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월
104,910원 → 86,020원 (18%할인), 마일리지 4,310원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

812.

새창열기

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

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

813.

새창열기

[외국도서] 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월
197,750원 → 162,150원 (18%할인), 마일리지 8,110원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

814.

새창열기

[외국도서] 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월
145,160원 → 119,030원 (18%할인), 마일리지 5,960원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

815.

새창열기

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

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

816.

새창열기

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

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

817.

새창열기 크게보기

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

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

818.

새창열기

[외국도서] 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월
145,160원 → 119,030원 (18%할인), 마일리지 5,960원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

819.

새창열기 크게보기

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

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

820.

새창열기 크게보기

[외국도서] 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월
131,160원 → 107,550원 (18%할인), 마일리지 5,380원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

821.

새창열기

[외국도서] 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월
157,410원 → 129,070원 (18%할인), 마일리지 6,460원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

822.

새창열기

[외국도서] 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월
210,000원 → 172,200원 (18%할인), 마일리지 8,610원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

823.

새창열기

[외국도서] 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월
171,500원 → 140,630원 (18%할인), 마일리지 7,040원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

824.

새창열기 크게보기

[외국도서] Trees in Algebra and Programming-Caap'94 (Paperback) - 19th International Colloquium Edinburgh, U.,., April 11-13, 1994 : Proceedings 정가제 FREE 해외직수입
Sophie Tison (엮은이) | Springer Verlag | 1994년 3월
131,160원 → 107,550원 (18%할인), 마일리지 5,380원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

825.

새창열기

[외국도서] Programming Languages and Systems-Esop '94 (Paperback) - 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994 : Proceedings 정가제 FREE 해외직수입
Donald Sannella (엮은이) | Springer Verlag | 1994년 3월
189,000원 → 154,980원 (18%할인), 마일리지 7,750원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

826.

새창열기

[외국도서] Theoretical Aspects of Computer Software (Paperback) - Proceedings 정가제 FREE 해외직수입
John C. Mitchell, Masami Hagiya (지은이) | Springer Verlag | 1994년 4월
203,000원 → 166,460원 (18%할인), 마일리지 8,330원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

827.

새창열기

[외국도서] Graph-Theoretic Concepts in Computer Science (Paperback) - 19th International Workshop, Wg '93 Utrecht, the Netherlands, June 16-18, 1993 : Proceedings 정가제 FREE 해외직수입
J. Van Leeuwen (엮은이) | Springer Verlag | 1994년 4월
145,160원 → 119,030원 (18%할인), 마일리지 5,960원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

828.

새창열기

[외국도서] Logic, Language, and Computation (Paperback) - Festschrift in Honor of Satoru Takasu 정가제 FREE 해외직수입
Masami Hagiya, Neil D. Jones, Satoru Takasu (지은이) | Springer Verlag | 1994년 4월
118,910원 → 97,500원 (18%할인), 마일리지 4,880원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

829.

새창열기

[외국도서] Fm8501 (Paperback) - A Verified Microprocessor 정가제 FREE 해외직수입
Warren A. Hunt, Jr., Warren A. Hunt, Jr. (지은이) | Springer Verlag | 1994년 4월
136,410원 → 111,850원 (18%할인), 마일리지 5,600원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

830.

새창열기

[외국도서] Mathematical Foundations of Programming Semantics (Paperback) - 9th International Conference New Orleans, La, Usa, April 7-10, 1993 : Proceedings 정가제 FREE 해외직수입
M. Main (엮은이) | Springer Verlag | 1994년 8월
190,750원 → 156,410원 (18%할인), 마일리지 7,830원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

831.

새창열기

[외국도서] Types for Proofs and Programs (Paperback) - International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers 정가제 FREE 해외직수입
Henk Barendregt (지은이), Tobias Nipkow (엮은이) | Springer Verlag | 1994년 6월
131,160원 → 107,550원 (18%할인), 마일리지 5,380원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

832.

새창열기 크게보기

[외국도서] Results and Trends in Theoretical Computer Science (Paperback) - Colloquium in Honor of Arto Salomaa Graz, Austria, June 10-11, 1994 : Proceedings 정가제 FREE 해외직수입
H. Maurer, J. Karhumaki (지은이), G. Rozenberg (엮은이) | Springer Verlag | 1994년 6월
157,410원 → 129,070원 (18%할인), 마일리지 6,460원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

833.

새창열기 크게보기

[외국도서] Automata, Languages and Programming (Paperback) - 21st International Colloquium, Icalp 94 Jerusalem, Israel, July 11-14, 1994 : Proceedings 정가제 FREE 해외직수입
Serge Abiteboul (지은이), Eli Shamir (엮은이) | Springer Verlag | 1994년 8월
199,500원 → 163,590원 (18%할인), 마일리지 8,180원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

834.

새창열기

[외국도서] Higher-Order Algebra, Logic, and Term Rewriting (Paperback) - First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa 정가제 FREE 해외직수입
Bernhard Moller, Jan Heering, Karl Meinke (지은이) | Springer Verlag | 1994년 7월
131,160원 → 107,550원 (18%할인), 마일리지 5,380원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

835.

새창열기

[외국도서] Temporal Logic (Paperback) - First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994 : Proceedings 정가제 FREE 해외직수입
Dov M. Gabbay (지은이), Hans Jurgen Ohlbach (엮은이) | Springer Verlag | 1994년 6월
168,000원 → 137,760원 (18%할인), 마일리지 6,890원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

836.

새창열기 크게보기

[외국도서] Isabelle (Paperback) - A Generic Theorem Prover 정가제 FREE 해외직수입
Lawrence C. Paulson (지은이) | Springer Verlag | 1994년 7월
125,910원 → 103,240원 (18%할인), 마일리지 5,170원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

837.

새창열기

[외국도서] Logic in Artificial Intelligence (Paperback) 정가제 FREE 해외직수입
C. Macnish (엮은이) | Springer Verlag | 1994년 9월
145,160원 → 119,030원 (18%할인), 마일리지 5,960원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

838.

새창열기 크게보기

[외국도서] Turing Machines With Sublogarithmic Space (Paperback) 정가제 FREE 해외직수입
Andrzej Szepietowski (지은이) | Springer Verlag | 1994년 8월
92,660원 → 75,980원 (18%할인), 마일리지 3,800원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

839.

새창열기

[외국도서] Category Theory and Computer Science (Hardcover) - 6th International Conference, Ctcs '95, Cambridge, United Kingdom, August 7-11, 1995 : Proceedings 정가제 FREE 해외직수입
David Pitt, D. E. Rydeheard (지은이) | Springer Verlag | 1995년 8월
113,660원 → 93,200원 (18%할인), 마일리지 4,660원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

840.

새창열기

[외국도서] Algebraic Methodology and Software Technology (Hardcover) - 5th International Conference, Amast '96, Munich, Germany, July 1-5, 1996 : Proceedings 정가제 FREE 해외직수입
M. Wirsing (지은이) | Springer Verlag | 1996년 7월
199,500원 → 163,590원 (18%할인), 마일리지 8,180원 (5% 적립)

지금 택배로 주문하면 6월 21일 출고

장바구니

바로구매

보관함

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

841.

새창열기

[외국도서] More Than Moore: Creating High Value Micro/Nanoelectronics Systems (Hardcover, 2009) 정가제 FREE 해외직수입
G. Q. Zhang, A. J. van Roosmalen (엮은이) | Springer Verlag | 2009년 8월
283,100원 → 232,140원 (18%할인), 마일리지 11,610원 (5% 적립)

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

장바구니

바로구매

보관함

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

842.

새창열기

[외국도서] Programming Languages: An Active Learning Approach (Hardcover, 2008) 정가제 FREE 해외직수입
Kent D. Lee (지은이) | Springer-Verlag New York Inc | 2008년 8월
164,110원 → 134,570원 (18%할인), 마일리지 6,730원 (5% 적립)

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

장바구니

바로구매

보관함

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

843.

새창열기

[외국도서] Asynchronous Circuits (Hardcover) 정가제 FREE 해외직수입
Carl-Johan H. Seger, Janusz A. Brzozowski (지은이) | Springer Verlag | 1995년 2월
283,100원 → 232,140원 (18%할인), 마일리지 11,610원 (5% 적립)

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

장바구니

바로구매

보관함

알라딘 중고	이 광활한 우주점	판매자 중고 (1)
-	-	140,000원

844.

새창열기

[외국도서] Logic for Applications (Hardcover, 2, 1997) 정가제 FREE 해외직수입
Anil Nerode, Richard A. Shore (지은이) | Springer-Verlag New York Inc | 1997년 1월
264,230원 → 216,660원 (18%할인), 마일리지 10,840원 (5% 적립)

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

장바구니

바로구매

보관함

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

845.

새창열기

[외국도서] Advanced Topics in Term Rewriting (Hardcover) 정가제 FREE 해외직수입
Enno Ohlebusch (지은이) | Springer-Verlag New York Inc | 2002년 4월
94,350원 → 77,360원 (18%할인), 마일리지 3,870원 (5% 적립)
세일즈포인트 : 15

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

장바구니

바로구매

보관함

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

846.

새창열기

[외국도서] Computer Logic: Design Principles and Applications (Hardcover, 2002) - Design Principles and Applications 정가제 FREE 해외직수입
John Y. Hsu (지은이) | Springer-Verlag New York Inc | 2002년 4월
94,350원 → 77,360원 (18%할인), 마일리지 3,870원 (5% 적립)