한정미  | 한국법제연구원

4,950원  | 20131018  | 9788966842971

비교법제 연구 『EU의 중소기업 패자부활제도 연구』. 중소기업 패자부활제도에 대하여 EU 집행위원회의 정책 및 규정, 재도전 관련 프로젝트의 주요내용을 검토하여 우리나라 중소기업 패자부활 관련 법제에 대한 시사점을 도출한다.

 | 人民文學出版社

47,700원  | 20200101  | 9787020153343

哈利波特20周年紀念版 哈利·波特與鳳凰社Ⅰ（第10卷）,哈利·波特與鳳凰社Ⅱ（第11卷）,哈利·波特與鳳凰社Ⅲ（第12卷）,哈利·波特與鳳凰社Ⅳ（第13卷

Schneider, Klaus  | Springer

102,410원  | 20210101  | 9783540745907

This book contains the refereed proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2007, held in Kaiserslautern, Germany, September 2007. Among the topics of this volume are formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.

20세기민중생활사연구단  | 눈빛

0원  | 20050725  | 9788974097233

민중의 살아온 이야기를 담은 1인 구술자서전『한국민중구술열전』제13권. 나날이 사라져가는 가까운 옛날의 일상적 모습을 기록하고 해석하여, 민중생활사로서 새로운 역사를 구축할 수 있도록 자료를 집대성한 총서이다. 소멸과 망각의 위기에 대처하여 지난 백 년의 증거를 전산화해 누구나 이용하게 하고, 이를 바탕으로 한국 인문학의 새로운 토대를 마련하고자 했다. 이제껏 눈길을 제대로 받지 못한 가까운 이웃과 옛날의 생활 모습을 총체적으로 살펴본다. 제13권에는 1933년 10월 24일생인 여기원의 생애사를 기록하였다.