Types for Proofs and Programs: International Workshop Types 2000 Durham UK December 8-12 2000. Selected Papers Paperback 구매
[쿠팡 제품 페이지]
Types for Proofs and Programs: International Workshop Types 2000 Durham UK December 8-12 2000. Selected Papers Paperback
110,880
원
제품 페이지(쿠팡)
Types for Proofs and Programs: International Workshop Types 2000 Durham UK December 8-12 2000. Selected Papers Paperback
관련 상품
Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands...
122,080
원
Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers, Paperback
122,080
원
Hypertrophic Ecosystems: S.I.L. Workshop on Hypertrophic Ecosystems Held at Vaxjo, September 10-14, 1979, Paperback
357,280
원
Images, Perception, and Knowledge: Papers Deriving from and Related to the Philosophy of Science Workshop at Ontario, Canada, May 1974, Paperback
122,080
원
[미국교과서 원더스] Wonders Reading/Writing Workshop with MP3 CD (1.1/ 1.2/ 1.3/ 1.4/ 1.5/ 1.6) 선택구매
31,400
원
Membrane Computing: 8th International Workshop, WMC 2007, Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers, Paperback
144,480
원
Lie Methods in Optics: Proceedings of the Cifmo-CIO Workshop Held at Leon, Mexico, January 7-10, 1985, Paperback
110,880
원
Kommunikation in Verteilten Systemen: Workshop Der Gesellschaft Fur Informatik E.V., 3.-4. Dezember 1979, Berlin, Paperback
78,380
원
Algorithm Engineering: 3rd International Workshop, Wae'99 London, UK, July 19-21, 1999 Proceedings, Paperback
122,080
원
쿠팡 상품 소개 전문 사이트 "팡굿!"
이 웹페이지은 쿠팡 파트너스 활동의 일환으로, 이에 따른 일정액의 수수료를 제공받을 수 있습니다.