전체보기

장바구니

Frank Pfenning의 신간 소식을 구독하세요.

표지 보기 표지 안보기

보관함에 상품담기

로그인이 필요한 기능입니다.
로그인 후 다시 시도해주세요
로그인

장바구니에 상품담기

품절도서센터
장바구니 가기

Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferenc (Paperback)
Frank Pfenning (엮은이)
Springer Nature B.V. | 2013년 02월 | 2013년 02월
62,530원 (10% 할인 / 3,130원)
택배로 주문하면 7월 25일 출고 변경

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings (Paperback)
Frank Pfenning (엮은이)
Springer-Verlag New York Inc | 2003년 09월 | 2003년 09월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 1일 출고 변경

Computation and Deduction (Hardcover)
Frank Pfenning
Cambridge Univ Pr | 2016년 06월 | 2016년 06월
63,850원 (18% 할인 / 3,200원)
택배로 주문하면 7월 19일 출고 변경

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings (Paperback)
Frank Pfenning (엮은이)
Springer-Verlag New York Inc | 2007년 07월 | 2007년 07월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 1일 출고 변경

Types in Logic Programming (Paperback)
Frank Pfenning (엮은이)
Mit Pr | 1992년 06월 | 1992년 06월
39,890원 (18% 할인 / 2,000원)
택배로 주문하면 7월 23일 출고 변경

Foundations of Software Science and Computation Structures: 16th International Conference, Fossacs 2013, Held as Part of the European Joint Conference (Paperback, 2013)
Frank Pfenning (엮은이)
Springer Verlag | 2013년 02월 | 2013년 02월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 1일 출고 변경

Term Rewriting and Applications: 17th International Conference, Rta 2006, Seattle, Wa, USA, August 12-14, 2006, Proceedings (Paperback, 2006)
Frank Pfenning (엮은이)
Springer-Verlag New York Inc | 2006년 07월 | 2006년 07월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 1일 출고 변경

Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, Ida 2003, Berlin, Germany, August 28-30, 2003, Proc (Paperback, 2003)
Frank Pfenning, Michael R. Berthold
Springer-Verlag New York Inc | 2003년 08월 | 2003년 08월
153,730원 (18% 할인 / 7,690원)
택배로 주문하면 8월 1일 출고 변경

Logic Programming and Automated Reasoning (Paperback) - 5th International Conference, Lpar '94 Kiev, Ukraine, July 16-22, 1994 : Proceedings
Frank Pfenning (엮은이)
Springer Verlag | 1994년 06월 | 1994년 06월
113,900원 (18% 할인 / 5,700원)
택배로 주문하면 7월 24일 출고 변경

Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings (Paperback, 1994)
Frank Pfenning
Springer Verlag | 1994년 06월 | 1994년 06월
76,850원 (18% 할인 / 3,850원)
택배로 주문하면 8월 1일 출고 변경

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

네, 만족해요 아니오, 만족하지 않아요.

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

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

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

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