송도수  | 서울문화사

104,458원  | 20230320  | 9791169237291

*MBC [공부가 머니?] 교육 전문가 추천 수학교육서적! MBC [공부가 머니?]에 출연한 교육 컨설턴트가 수학 솔루션 도서로 [수학도둑] 시리즈를 추천! 인터넷 포털 사이트의 실시간 검색어 순위에 올라 학부모들과 어린이들 사이에서 화제가 되었습니다. *믿을 수 있는 수학 전문가의 탄탄한 수학 콘텐츠! 수학 콘텐츠 저자 ? 여운방 박사 프로필 서울대학교 공과대학 응용수학과 졸업, 미국 아이오와 주립대학 석사 및 박사. 한국개발연구원(KDI) 선임연구원, 교육부 멀티미디어 교육지원센터(KMEC) 소장, 대통령자문 정책기획위원회 위원, 한국교과서 연구재단 이사, 한국과학기술원(KAIST) 겸임교수 역임. 시스템수학연구회 회장. [수학도둑] [창의사고력 수학퀴즈] [메이플 매쓰]의 수학 콘텐츠 집필.

편집부  | 예림당

141,660원  | 20191120  | 없음

 | Legare Street Press

40,160원  | 20210909  | 9781014539151

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.

Jeffrey J. Joyce  | Springer

96,230원  | 20210101  | 9783540578260

This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove".

 | Legare Street Press

31,410원  | 20210910  | 9781015202368

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.

 | CRC Press

0원  | 19940101  | 9789054103776

326 papers on developments in structural safety & reliability that concern all types of structures from space structures to land-based facilities and ocean/offshore systems

 | CRC Press

0원  | 19940101  | 9789054103783

326 papers on developments in structural safety & reliability that concern all types of structures from space structures to land-based facilities and ocean/offshore systems

 | CRC Press

0원  | 19940101  | 9789054103790

326 papers on developments in structural safety & reliability that concern all types of structures from space structures to land-based facilities and ocean/offshore systems. Also included are wind engineering, seismic design, building performance, redundancy, fatique, load modeling, optimal design & risk analysis. A valuable reference on recent developments in structural safety/reliability & probabilistic mechanics.