• 수학도서관
  • BK21
  • 금융수학 연계전공
  • IMDARC
  • QSMS
  • Sign In
  • EnglishEnglish
    • 한국어

logo

global navigaion menu / 글로벌 네비게이션 메뉴

  • 도서관 안내
    • 도서관 소개
    • 도서관 이용안내
    • 도서관 현황
    • 담당자 안내
    • 찾아오시는 길
  • 신착도서
    • 신착도서
    • 이전 신착도서
  • 자료검색
    • 검색안내
    • 소장자료 검색
    • Research Guide
  • 도서관 서비스
    • E-book 이용안내
  • 게시판
    • 도서관 공지사항
    • FAQ
    • 전자게시판
      • 목록
      • 등록
  • 기증도서
    • 기증도서 목록
print this page
Articles 345
  • Sign Up
  • Sign In...
  • Skin Info
  • Tag list
  • List
  • Webzine
  • Gallery

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)
1836
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


I want to
  • +-+189405203_400.jpg (9.6KB)(197)
List
No.
Subject
ISBN
Author
Publisher
DOI-based URL
Notice 이용방법 file .  .  .  http://my.math.snu.ac.kr/board/lib_D04/450191 
225 Breadth in Contemporary Topology 9781470452599  Gay, David T.-Wu, Weiwei.  AMS  https://search.ebscohost.com/login.aspx?...AN=2183453 
224 $t$-Motives: Hodge Structures, Transcendence and Other Motivic Aspects file 9783037196984  Gebhard Böckle-David Goss-Urs Hartl-Matthew A. Papanikolas  European Mathematical Society Publishing House  http://search.ebscohost.com/login.aspx?d...AN=2463020 
223 CHARACTER THEORY OF FINITE GROUPS OF LIE TYPE: A GUIDED TOUR. 9781108779081  GECK, MEINOLF  Cambridge University Press  https://doi.org/10.1017/9781108779081 
222 Estimates for Differential Operators in Half-space : Translated From the German by Darya Apushkinskaya file 9783037196915  Gelʹman, I. V.-Mazʹi︠a︡, V. G.-Apushkinskaya, Darya  European Mathematical Society Publishing House  http://search.ebscohost.com/login.aspx?d...AN=2024345 
221 Applied Algebra and Number Theory file 9781139696456  Gerhard Larcher, Friedrich Pillichshammer, Arne Winterhof, Chaoping Xing  Cambridge University Press  http://dx.doi.org/10.1017/CBO9781139696456 
220 Number Theory, Fourier Analysis and Geometric Discrepancy file 9781107358379  Giancarlo Travaglini  Cambridge University Press  http://dx.doi.org/10.1017/CBO9781107358379 
219 Computational Statistics, 2nd ed. file 9781118555286  Givens, Geof H.-Hoeting, Jennifer A  Wiley  http://search.ebscohost.com/login.aspx?d...;AN=531665 
218 Undergraduate Mathematics for the Life Sciences: Models, Processes, and Directions file 9781614443162  Glenn Ledder, Jenna P. Carpenter, Timothy D. Comar  Mathematical Association of America  http://dx.doi.org/10.5948/UPO9781614443162 
217 Foundations of Cryptography Volume 1 9780511546891  Goldreich  Cambridge University Press  http://dx.doi.org/10.1017/CBO9780511546891 
216 Foundations of Cryptography Volume 2 9780511721656  Goldreich  Cambridge University Press  http://dx.doi.org/10.1017/CBO9780511721656 
215 Algebraic Shift Register Sequences 9781139057448  Goresky/Klapper  Cambridge University Press  http://dx.doi.org/10.1017/CBO9781139057448 
214 A Course in Modern Analysis and its Applications file 9780511755125  Graeme L. Cohen  Cambridge University Press  http://dx.doi.org/10.1017/CBO9780511755125 
213 Direct Numerical Simulations of Gas–Liquid Multiphase Flows file 9780511975264  Grétar Tryggvason, Ruben Scardovelli, Stéphane Zaleski  Cambridge University Press  http://dx.doi.org/10.1017/CBO9780511975264 
212 GROUPS ST ANDREWS 2017 IN BIRMINGHAM 9781108692397  GROUPS ST. ANDREWS  Cambridge University Press  https://doi.org/10.1017/9781108692397 
211 Bayesian Estimation and Tracking file 9781118287835  Haug, Anton J  John Wiley & Sons  http://search.ebscohost.com/login.aspx?d...;AN=459452 
210 Dynamical Systems and Random Processes : Carolina Dynamics Symposium, April 13-15, 2018, Agnes Scott College, Decatur, Georgia 9781470454463  Hawkins, Jane-Rossetti, Rachel L.-Wiseman, Jim  AMS  https://search.ebscohost.com/login.aspx?...AN=2256047 
209 Hopf Algebras and Root Systems 9781470456801  Heckenberger, István-Schneider, Hans-Jürgen  AMS  https://search.ebscohost.com/login.aspx?...AN=2472233 
208 Mathematical Logic 9783030738396  Heinz-Dieter Ebbinghaus-Jörg Flum-Wolfgang Thomas  Springer  https://search.ebscohost.com/login.aspx?...AN=2939626 
207 Mathematical modelling : principle and theory 9781470473884  Hemen Dutta  American Mathematical Society  https://search.ebscohost.com/login.aspx?...AN=3644164 
206 Mathematical Modelling : Theory and Application 9781470473891  Hemen Dutta  American Mathematical Society  https://search.ebscohost.com/login.aspx?...AN=3644165 
First Page 2 3 4 5 6 7 8 9 10 11 Last Page
Cancel

도서관 서비스

  • E-book 이용안내
logo
  • Privacy Policy |
  • Direction
  • | Seoul National University
  • | College of National Sciences
COPYRIGHT ⓒ ALL RIGHT RESERVED.
관련사이트
TOP

Sign In

로그인폼

Keep me signed in.

Sign In
  • Sign Up
  • Find Account Info