Home
Portal Home
수학연구소
수학도서관
BK21
금융수학 연계전공
IMDARC
QSMS
로그인
한국어
English
global navigaion menu / 글로벌 네비게이션 메뉴
도서관 안내
도서관 소개
도서관 이용안내
도서관 현황
담당자 안내
찾아오시는 길
신착도서
신착도서
이전 신착도서
자료검색
검색안내
소장자료 검색
Research Guide
도서관 서비스
E-book 이용안내
게시판
도서관 공지사항
FAQ
전자게시판
목록
등록
기증도서
기증도서 목록
글 수
343
회원가입
로그인...
Lambda Calculus with Types
librarian
http://my.math.snu.ac.kr/board/index.php?mid=lib_D04&document_srl=726385
2015.04.07
14:06:30 (*.46.129.241)
1210
ISBN
9781139032636
Author
Henk Barendregt, Wil Dekkers, Richard Statman
Publisher
Cambridge University Press
DOI-based URL
http://dx.doi.org/10.1017/CBO9781139032636
이 게시물을
+-+189405203_400.jpg (9.6KB)(192)
목록
조회 수
추천 수
비추천 수
날짜
최근 수정일
공지
이용방법
Financial Enterprise Risk Management
Handbook on Systemic Risk
High Accuracy Computing Methods: Fluid Flows and Wave Phenomena
Hydrodynamic Instabilities
Icons of Mathematics: An Exploration of Twenty Key Images
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Lambda Calculus with Types
Multiscale Stochastic Volatility for Equity, Interest Rate, and Credit Derivatives
Quasiconformal Surgery in Holomorphic Dynamics
Random Graphs, 2nd ed.
Recent Developments on Introducing a Historical Dimension in Mathematics Education
Six Sources of Collapse: A Mathematician's Perspective on How Things Can Fall Apart in the Blink of an Eye
The Influence of Computers and Informatics on Mathematics and its Teaching
Topics in Matrix Analysis
Undergraduate Mathematics for the Life Sciences: Models, Processes, and Directions
A Concise Introduction to the Theory of Numbers
A Course in Modern Analysis and its Applications
A Primer of Analytic Number Theory: From Pythagoras to Riemann
An Introduction to Fourier Analysis and Generalised Functions
An Introduction to Hilbert Space
첫 페이지
1
2
3
4
5
6
7
8
9
10
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
태그
Author
DOI-based URL
취소
도서관 서비스
E-book 이용안내
로그인폼
아이디
비밀번호
로그인 유지
로그인
회원가입
ID/PW 찾기