• 수학도서관
  • BK21
  • 금융수학 연계전공
  • IMDARC
  • QSMS
  • 로그인
  • 한국어한국어
    • English

logo

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

  • 도서관 안내
    • 도서관 소개
    • 도서관 이용안내
    • 도서관 현황
    • 담당자 안내
    • 찾아오시는 길
  • 신착도서
    • 신착도서
    • 이전 신착도서
  • 자료검색
    • 검색안내
    • 소장자료 검색
    • Research Guide
  • 도서관 서비스
    • E-book 이용안내
  • 게시판
    • 도서관 공지사항
    • FAQ
    • 전자게시판
      • 목록
      • 등록
  • 기증도서
    • 기증도서 목록
print this page
글 수 345
  • 회원가입
  • 로그인...
  • 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)
1826
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


이 게시물을
  • +-+189405203_400.jpg (9.6KB)(197)
목록
번호
제목
ISBN
Author
Publisher
DOI-based URL
공지 이용방법 file .  .  .  http://my.math.snu.ac.kr/board/lib_D04/450191 
305 Enumerative Combinatorics 9780511609589  Stanley/Fomin  Cambridge University Press  http://dx.doi.org/10.1017/CBO9780511609589 
304 Unpublished Manuscripts : From 1951 to 2007 file 9783319698502  Hörmander, Lars  Springer  http://search.ebscohost.com/login.aspx?d...AN=1836628 
303 Advanced Statistical Methods in Data Science file 9789811025945  Chen, Ding-Geng ; Chen, Jiahua ; Lu, Xuewen ; Yi, Grace ; Yu, Hao  Springer  http://search.ebscohost.com/login.aspx?d...AN=1356072 
302 Handbook on Systemic Risk file 9781139151184  Jean-Pierre Fouque, Joseph A. Langsam  Cambridge University Press  http://dx.doi.org/10.1017/CBO9781139151184 
301 Lectures on Kähler Geometry 9780511618666  Moroianu  Cambridge University Press  http://dx.doi.org/10.1017/CBO9780511618666 
300 Geometric Analysis 9781139105798  Li  Cambridge University Press  http://dx.doi.org/10.1017/CBO9781139105798 
299 High Accuracy Computing Methods: Fluid Flows and Wave Phenomena file 9781139151825  Tapan Sengupta  Cambridge University Press  http://dx.doi.org/10.1017/CBO9781139151825 
298 Mathematical Formulas for Industrial and Mechanical Engineering file 9780124202221  Kadry, Seifedine  Elsevier  http://search.ebscohost.com/login.aspx?d...;AN=656819 
297 Kurt Gödel and the Foundations of Mathematics: Horizons of Truth file 9780511974236  Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr  Cambridge University Press  http://dx.doi.org/10.1017/CBO9780511974236 
296 The Theory of Information and Coding 9780511606267  McEliece  Cambridge University Press  http://dx.doi.org/10.1017/CBO9780511606267 
Lambda Calculus with Types file 9781139032636  Henk Barendregt, Wil Dekkers, Richard Statman  Cambridge University Press  http://dx.doi.org/10.1017/CBO9781139032636 
294 Advances in Cryptology – CRYPTO 2021 : 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part II 9783030842451  Tal Malkin-Chris Peikert  Springer  https://search.ebscohost.com/login.aspx?...AN=2993999 
293 Calculus of Thought : Neuromorphic Logistic Regression in Cognitive Machines file 9780124104525  Rice, Daniel M.  Academic Press  http://search.ebscohost.com/login.aspx?d...;AN=516205 
292 Orthogonal Polynomials in the Spectral Analysis of Markov Processes 9781009030540  Manuel Domínguez de la Iglesia  Cambridge University Press  https://doi.org/10.1017/9781009030540 
291 Biostatistics in Public Health Using STATA file 9781498722025  Suárez Pérez, Erick L. ; Pérez Cardona, Cynthia ; Nogueras, Graciela M. ; Moreno-Gorrín, Camille  CRC Press  http://search.ebscohost.com/login.aspx?d...AN=1204402 
290 Advances in Elliptic Curve Cryptography 9780511546570  Blake/Seroussi/Smart  Cambridge University Press  http://dx.doi.org/10.1017/CBO9780511546570 
289 Handbook of Teichmüller Theory, Volume VII file 9783037197035  Papadopoulos, Athanase  European Mathematical Society Publishing House  http://search.ebscohost.com/login.aspx?d...AN=2359620 
288 Elementary Geometry of Algebraic Curves: An Undergraduate Introduction file 9781139173285  C. G. Gibson  Cambridge University Press  http://dx.doi.org/10.1017/CBO9781139173285 
287 Biomat 2015 - International Symposium On Mathematical And Computational Biology file 9789813141919  Mondaini, Rubem P.  World Scientific  http://search.ebscohost.com/login.aspx?d...AN=1251699 
286 Icons of Mathematics: An Exploration of Twenty Key Images file 9780883859865  Claudi Alsina, Roger Nelsen  Mathematical Association of America  http://dx.doi.org/10.5948/UPO9780883859865 
첫 페이지 1 2 3 4 5 6 7 8 9 10 끝 페이지
취소

도서관 서비스

  • E-book 이용안내
logo
  • 개인정보 처리방침 |
  • 오시는 길
  • | 서울대학교
  • | 서울대학교 자연과학대학
COPYRIGHT ⓒ ALL RIGHT RESERVED.
관련사이트
TOP

로그인

로그인폼

로그인 유지

로그인
  • 회원가입
  • ID/PW 찾기