수학도서관
BK21
금융수학 연계전공
IMDARC
QSMS
로그인
한국어
English
global navigaion menu / 글로벌 네비게이션 메뉴
도서관 안내
도서관 소개
도서관 이용안내
도서관 현황
담당자 안내
찾아오시는 길
신착도서
신착도서
이전 신착도서
자료검색
검색안내
소장자료 검색
Research Guide
도서관 서비스
E-book 이용안내
게시판
도서관 공지사항
FAQ
전자게시판
목록
등록
기증도서
기증도서 목록
글 수
358
회원가입
로그인...
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)
2720
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)(236)
목록
조회 수
추천 수
비추천 수
날짜
최근 수정일
공지
이용방법
Amenability of Discrete Groups by Examples
Lectures on Selected Topics in Von Neumann Algebras
All the Mathematics You Missed: But Need to Know for Graduate School
Complex Algebraic Surfaces
A Voyage Through Turbulence
An Introduction to the Representation Theory of Groups
Unitary Representations of Groups, Duals, and Characters
A Primer of Analytic Number Theory: From Pythagoras to Riemann
Singularities, Mirror Symmetry, and the Gauged Linear Sigma Model
Differential Equations, Mathematical Physics, and Applications : Selim Grigorievich Krein Centennial
Applied Algebra and Number Theory
Complex Analysis and Spectral Theory : A Conference in Celebration of Thomas Ransford's 60th Birthday: May 21-25, 2018, Laval University, Quebec, Canada
Algebraic Geometry
Intersection Homology & Perverse Sheaves : With Applications to Singularities
Functional Analysis and Geometry : Selim Grigorievich Krein Centennial
Orbifolds and Stringy Topology
Surveys in Combinatorics 2015
Geometry and Topology of Manifolds
Linear Analysis: An Introductory Course, 2nd ed.
Advances in Cryptology – ASIACRYPT 2019 : 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II
첫 페이지
3
4
5
6
7
8
9
10
11
12
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
태그
Author
DOI-based URL
취소
도서관 서비스
E-book 이용안내
로그인폼
아이디
비밀번호
로그인 유지
로그인
회원가입
ID/PW 찾기