수학도서관
BK21
금융수학 연계전공
IMDARC
QSMS
로그인
한국어
English
global navigaion menu / 글로벌 네비게이션 메뉴
도서관 안내
도서관 소개
도서관 이용안내
도서관 현황
담당자 안내
찾아오시는 길
신착도서
신착도서
이전 신착도서
자료검색
검색안내
소장자료 검색
Research Guide
도서관 서비스
E-book 이용안내
게시판
도서관 공지사항
FAQ
전자게시판
목록
등록
기증도서
기증도서 목록
글 수
345
회원가입
로그인...
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)
2345
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)(211)
목록
조회 수
추천 수
비추천 수
날짜
최근 수정일
공지
이용방법
Advances in Cryptology – CRYPTO 2021 : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part II
Fourier Analysis on Groups
Essentials of Tropical Combinatorics
Foundations of Cryptography Volume 1
New Developments in the Analysis of Nonlocal Operators : AMS Special Session on New Developments in the Analysis of Nonlocal Operators, October 28-30, 2016, University of St. Thomas, Minneapolis, Minnesota
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
Orthogonal Polynomials in the Spectral Analysis of Markov Processes
Matrix Inequalities for Iterative Systems
A Course in Modern Analysis and its Applications
High Accuracy Computing Methods: Fluid Flows and Wave Phenomena
Handbook on Systemic Risk
Stochastic Geometry and Its Applications, 3rd ed.
Geometric Analysis
Algorithmic Algebraic Number Theory
Lambda Calculus with Types
Lectures on Kähler Geometry
Conformal Blocks, Generalized Theta Functions and the Verlinde Formula
Lie Algebras of Finite and Affine Type
Mathematical Formulas for Industrial and Mechanical Engineering
A First Course of Homological Algebra
첫 페이지
1
2
3
4
5
6
7
8
9
10
끝 페이지
제목+내용
제목
내용
댓글
이름
닉네임
태그
Author
DOI-based URL
취소
도서관 서비스
E-book 이용안내
로그인폼
아이디
비밀번호
로그인 유지
로그인
회원가입
ID/PW 찾기