QR/바코드 검색
이전
Cambridge Tracts in Theoretical Computer Science
-
Topology Via Logic 이동 상품버튼 보이기/닫기[직수입양서] Topology Via Logic [ Paperback, POD 주문제작도서 ]Vickers, Steven Cambridge University Press5% 103,070원 포인트적립3,100원Paperback, POD 주문제작도서 -
Computational Learning Theory 이동 상품버튼 보이기/닫기[직수입양서] Computational Learning Theory [ Paperback, POD 주문제작도서 ]Biggs, N. (London School of Economics and Political Science) Cambridge University Press5% 89,750원 포인트적립2,700원Paperback, POD 주문제작도서
-
Higher Order Logic and Hardware Verification 이동 상품버튼 보이기/닫기[직수입양서] Higher Order Logic and Hardware Verification [ Hardcover, POD 주문제작도서 ]Melham, T. F. Cambridge University Press5% 214,460원 포인트적립6,440원Hardcover, POD 주문제작도서
-
Metamathematics, Machines and Goedel's Proof 이동 상품버튼 보이기/닫기[직수입양서] Metamathematics, Machines and Goedel's Proof [ Paperback, POD 주문제작도서 ]Shankar, N. (SRI International, USA) Cambridge University Press5% 86,450원 포인트적립2,600원Paperback, POD 주문제작도서
-
Basic Simple Type Theory 이동 상품버튼 보이기/닫기[직수입양서] Basic Simple Type Theory [ Hardcover, POD 주문제작도서 ]Hindley, J. Roger Cambridge University Press5% 214,460원 포인트적립6,440원Hardcover, POD 주문제작도서
-
Information Flow: The Logic of Distributed Systems 이동 상품버튼 보이기/닫기[직수입양서] Information Flow: The Logic of Distributed Systems [ Hardcover, POD 주문제작도서 ]Barwise, Jon / Whatley / Van Rijsbergen, C. J. Cambridge University Press5% 187,860원 포인트적립5,640원Hardcover, POD 주문제작도서
-
Acid Toxicity and Aquatic Animals 이동 상품버튼 보이기/닫기[직수입양서] Acid Toxicity and Aquatic Animals [ Hardcover, POD 주문제작도서 ]Brown, J. A.(EDT) Cambridge University Press5% 299,250원 포인트적립8,980원Hardcover, POD 주문제작도서
-
Basic Proof Theory 이동 상품버튼 보이기/닫기[직수입양서] Basic Proof Theory [ Paperback, POD 주문제작도서 ]Troelstra, Anne S. / Troelstra, A. S. / Schwichtenberg, H. Cambridge University Press5% 99,730원 포인트적립3,000원Paperback, POD 주문제작도서
-
Domains and Lambda-Calculi 이동 상품버튼 보이기/닫기[직수입양서] Domains and Lambda-Calculi [ Hardcover, POD 주문제작도서 ]Amadio, Roberto M. / Curien, Pierre-Louis Cambridge University Press5% 342,470원 포인트적립10,280원Hardcover, POD 주문제작도서
-
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously 이동 상품버튼 보이기/닫기[직수입양서] Derivation and Computation: Taking the Curry-Howard Correspondence Seriously [ Hardcover, POD 주문제작도서 ]Simmons, H. Cambridge University Press5% 279,300원 포인트적립8,380원Hardcover, POD 주문제작도서
-
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods 이동 상품버튼 보이기/닫기[직수입양서] Concurrency Verification: Introduction to Compositional and Non-Compositional Methods [ Hardcover, POD 주문제작도서 ]Roever, Willem-Paul de / Boer, Frank de / Hanneman, Ulrich Cambridge University Press5% 565,250원 포인트적립16,960원Hardcover, POD 주문제작도서
-
Rippling: Meta-Level Guidance for Mathematical Reasoning 이동 상품버튼 보이기/닫기[직수입양서] Rippling: Meta-Level Guidance for Mathematical Reasoning [ Hardcover ]Bundy, Alan / Basin, David / Hutter, Dieter Cambridge University Press10% 220,500원 포인트적립11,030원Hardcover
-
A Bibliography of Salon Criticism in Paris from the Ancien Regime to the Restoration, 1699 1827: Volume 1 이동 상품버튼 보이기/닫기[직수입양서] A Bibliography of Salon Criticism in Paris from the Ancien Regime to the Restoration, 1699 1827: Volume 1 [ Hardcover, POD 주문제작도서 ]McWilliam, Neil / McWilliam, Neil / Schuster, Vera Cambridge University Press5% 196,170원 포인트적립5,890원Hardcover, POD 주문제작도서
-
A Perceptual Study of Intonation: An Experimental-Phonetic Approach to Speech Melody 이동 상품버튼 보이기/닫기[직수입양서] A Perceptual Study of Intonation: An Experimental-Phonetic Approach to Speech Melody [ Hardcover, POD 주문제작도서 ]Hart, J. T. / Collier, R. / Cohen, A. Cambridge University Press5% 222,770원 포인트적립6,690원Hardcover, POD 주문제작도서
-
The Gorgon's Gaze: German Cinema, Expressionism, and the Image of Horror 이동 상품버튼 보이기/닫기[직수입양서] The Gorgon's Gaze: German Cinema, Expressionism, and the Image of Horror [ Hardcover, POD 주문제작도서 ]Coates, Paul / Rothman, William / Andrew, Dudley Cambridge University Press5% 256,020원 포인트적립7,690원Hardcover, POD 주문제작도서
1
홈
메뉴
검색
MY
최근 본
