logo
logo
x
바코드검색
BOOKPRICE.co.kr
책, 도서 가격비교 사이트
바코드검색

인기 검색어

실시간 검색어

검색가능 서점

알라딘
교보문고
yes24
영풍문고
쿠팡
G마켓
11번가

도서목록 제공

  • 네이버책
  • 알라딘
  • 교보문고
"proof assistant camp"(으)로 북프라이스의 도서 검색결과 입니다.
9798400731570

Functional Data Structures and Algorithms: A Proof Assistant Approach (Hardcover)

Tobias Nipkow (지은이)  | John Wiley & Sons
138,650원  | 2025-09-30  | 9798400731570
9798400731594

Functional Data Structures and Algorithms: A Proof Assistant Approach (Paperback)

Tobias Nipkow (지은이)  | John Wiley & Sons
100,970원  | 2025-09-30  | 9798400731594
9780262545747

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Paperback

Adam Chlipala (지은이)  | MIT Press
106,500원  | 2022-06-07  | 9780262545747
9780262026659

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover

Adam Chlipala (지은이)  | Mit Pr
108,870원  | 2013-12-06  | 9780262026659
9781503525122

Proof: Proof There Is Eternity (Paperback)

Jack Barlow (지은이)  | Xlibris Corporation
29,580원  | 2014-12-12  | 9781503525122
9781913071707

PROOF (Paperback)

Colin Green (지은이)  | Colin Green
23,860원  | 2020-09-12  | 9781913071707
9780573116858

Proof (Paperback)

David Auburn (지은이)  | Samuel French Ltd
29,300원  | 2020-02-01  | 9780573116858
9784627975217

ROBOT-PROOF

ジョセフ·E.アウン (지은이)  | 森北出版
30,550원  | 2020-01-24  | 9784627975217
9780359620654

Proof (Paperback)

Clayton Howard Ford (지은이)  | Lulu Press
11,080원  | 2019-04-28  | 9780359620654
9780822217824

Proof (Paperback)

David Auburn (지은이)  | Dramatist's Play Service
25,720원  | 2002-01-01  | 9780822217824
9780571199976

Proof (Paperback)

David Auburn (지은이)  | Faber & Faber
33,770원  | 2001-07-09  | 9780571199976
9781328530820

Camp (Paperback)

케일라 밀러 (지은이)  | Houghton Mifflin Harcourt
22,300원  | 2019-04-23  | 9781328530820
9781328530820

Camp (Paperback)

케일라 밀러 (지은이)  | Houghton Mifflin Harcourt
22,300원  | 2019-04-23  | 9781328530820
9788955855944

Snake Camp

George Edward Stanley (지은이)  | 언어세상(외서)
9,500원  | 2005-10-01  | 9788955855944
9780156006217

Magician's Assistant (Paperback)

앤 패칫 (지은이)  | Mariner Books
34,200원  | 2023-03-07  | 9780156006217
9780837305776

Personnel Assistant (Paperback)

Jack Rudman (지은이)  | National Learning Corp
71,410원  | 2013-01-01  | 9780837305776
9780374504847

The Assistant (Paperback)

버나드 맬러머드 (지은이)  | Farrar Straus & Giroux
31,500원  | 2003-07-07  | 9780374504847
9781644685822

Three Proofs for the Existence of God: Scientific Proof, Historic Proof, Prophetic Proof (Paperback)

Uchemadu Chee Kamanu (지은이)  | Covenant Books
36,900원  | 2020-07-30  | 9781644685822
9798993192017

Zero Proof (Paperback)

Benjamin Lyon (지은이)  | Ilgamish Ink
31,430원  | 2025-10-18  | 9798993192017
9798999184221

Future Proof (Paperback)

Erin E. Malone (지은이)  | Erin E Malone
34,980원  | 2025-07-22  | 9798999184221
최근 본 책