| 서명 | 저자 | 출판사 | 출판년도 | 청구기호 | |
| 1 | Riemannian geometry and geometric analysis, 6th ed. | Jurgen Jost. | Springer | 2011 | 516.373 J795r 2011 |
| 2 | Mathematical methods of classical mechanics, 2nd ed. | V. I. Arnold ; translated by K. Vogtmann and A. Weinstein. | Springer | 1989 | 510.8 G755 v.60 1989 |
| 3 | Number theory, analysis and geometry : in memory of Serge Lang | Dorian Goldfeld ... [et al.], editors. | Springer | 2012 | 512.7 L256n |
| 4 | Singularities of differentiable maps | V.I. Arnold, S.M. Gusein-Zade, A.N. Varchenko. | Birkhauser | 2012 | 514.72 Ar65s 2012 v.1 |
| 5 | Singularities of differentiable maps | V.I. Arnold, S.M. Gusein-Zade, A.N. Varchenko. | Birkhauser | 2012 | 514.72 Ar65s 2012 v.2 |
| 6 | Milnor fiber boundary of a non-isolated surface singularity | Andras Nemethi, Agnes Szilard. | Springer | 2012 | 510.8 L497 v.2037 |
| 7 | Random processes with independent increments | by A.V. Skorohod. | Kluwer Academic Publishers | 1991 | 519.2 Sk57s |
| 8 | Positive linear maps of operator algebras | Erling Størmer. | Springer | 2013 | 512.9434 St74p |
| 9 | Automorphic forms | Anton Deitmar. | Springer | 2013 | 512.7 D368a |
| 10 | Buildings, finite geometries and groups : proceedings of a Satellite Conference, International Congress of Mathematicians, Hyderabad, India, 2010 | N.S. Naras45100021710imha Sastry, editor. | Springer | 2012 | 516.11 N164b |
| 11 | Complex Kleinian groups | Angel Cano, Juan Pablo Navarrete, Jose Seade. | Springer | 2013 | 510.8 P943 v.303 |
| 12 | Groups of prime power order | by Yakov Berkovich. | Walter de Gruyter | 2011 | 512.23 B455g v.3 |
| 13 | Groups : an introduction to ideas and methods of the theory of groups | Antonio Machi. | Springer | 2012 | 512.2 M184g |
| 14 | Modular representation theory of finite groups | Peter Schneider. | Springer | 2013 | 512.46 Sch58m |
| 15 | Simple Lie algebras over fields of positive characteristic. III , Completion of the classification | by Helmut Strade. | Walter de Gruyter | 2013 | 510 St81s |
| 16 | P-adic lie groups | Peter Schneider. | Springer | 2011 | 512.482 Sch58p |
| 17 | Mathematicians in Bologna, 1861-1960 | Salvatore Coen, ed. | Birkhauser | 2012 | 510.94541 C651m |
| 18 | Lobachevski illuminated | by Seth Braver. | Mathematical Association of America | 2011 | 516.9 B739l |
| 19 | Infinity : new research frontiers | edited by Michael Heller, W. Hugh Woodin. | Cambridge University Press | 2011 | 111.6 H367i |
| 20 | Modeling, simulation and optimization of complex processes : proceedings of the Fourth International Conference on High Performance Scientific Computing, March 2-6, 2009, Hanoi, Vietnam | Hans Georg Bock ... [et al.], editors. | Springer | 2012 | 502.8543 B631m |
| 21 | Imagine math : between culture and mathematics | Michele Emmer, editor. | Springer Italia | 2012 | 720.151 Em62i |
| 22 | Partial differential equations 2, Functional analytic methods | Sauvigny, Friedrich | Springer | 2012 | 515.353 Sa89p 2012 |
| 23 | Introduction to the mathematics of finance : arbitrage and option pricing | Steven Roman. | Springer | 2012 | 332.01513 R661i 2012 |
| 24 | Introductory lectures on knot theory : selected lectures presented at the Advanced School and Conference on Knot Theory and Its Applications to Physics and Biology, ICTP, Trieste, Italy, 11 - 29 May 2009 | editors, Louis H. Kauffman ... [et al.]. | World Scientific | 2012 | 514.2242 K162i |
| 25 | Numerical methods for large eigenvalue problems | Yousef Saad. | Society for Industrial and Applied Mathematics | 2011 | 512.9436 Sa11n 2011 |
| 26 | The linear sampling method in inverse electromagnetic scattering | Fioralba Cakoni, David Colton, Peter Monk. | Society for Industrial and Applied Mathematics | 2011 | 510.8 C319 v.80 |
| 27 | Methods and applications of statistics in engineering, quality control, and the physical sciences | N. Balakrishnan, [editor]. | Wiley | 2011 | 601.5195 B182m |
| 28 | Some problems of unlikely intersections in arithmetic and geometry | Umberto Zannier ; with appendixes by David Masser. | Princeton University Press | 2012 | 510.8 An72 no.181 |
| 29 | Graph edge coloring : Vizing's theorem and Goldberg's conjecture | Michael Stiebitz ... [et al.]. | Wiley | 2012 | 511.56 St52g |
| 30 | Space, time and number in the brain : searching for the foundations of mathematical thought : an attention and performance series volume | edited by Stanislas Dehaene and Elizabeth M. Brannon. | Academic Press | 2011 | 510.1 D365s |
| 31 | Icons of mathematics : an exploration of twenty key images | Claudi Alsina, Roger B. Nelsen. | Mathematical Association of America | 2011 | 516.204 Al78i |
| 32 | An introduction to category theory | Harold Simmons. | Cambridge University Press | 2011 | 512.62 Si47i |
| 33 | Jet single-time Lagrange geometry and its applications | Vladimir Balan, Mircea Neagu. | John Wiley & Sons | 2011 | 530.143 B182j |
| 34 | Proceedings of the International Congress of Mathematicians : Hyderabad, August 19-27, 2010 | editor, Rajendra Bhatia ; co-editors, Arup Pal ... [et al.]. | Hindustan Book Agency | 2010 | 510 B469p v.1 |
| 35 | Proceedings of the International Congress of Mathematicians : Hyderabad, August 19-27, 2010 | editor, Rajendra Bhatia ; co-editors, Arup Pal ... [et al.]. | Hindustan Book Agency | 2010 | 510 B469p v.2 |
| 36 | Proceedings of the International Congress of Mathematicians : Hyderabad, August 19-27, 2010 | editor, Rajendra Bhatia ; co-editors, Arup Pal ... [et al.]. | Hindustan Book Agency | 2010 | 510 B469p v.3 |
| 37 | Proceedings of the International Congress of Mathematicians : Hyderabad, August 19-27, 2010 | editor, Rajendra Bhatia ; co-editors, Arup Pal ... [et al.]. | Hindustan Book Agency | 2010 | 510 B469p v.4 |
| 38 | Contributions to the theory of games 4 | edited by A.W. and Tucker, R. D. Luce. | Princeton University Press | 1959 | 510.8 An72 no.40 |
| 39 | Matrix computations | Gene H. Golub, Charles F. Van Loan. | Johns Hopkins University Press | 2013 | 512.943 G584m 2013 |
| 40 | Finite elements : theory, fast solvers, and applications in solid mechanics | Dietrich Braess ; translated from the German by Larry L. Schumaker. | Cambridge University Press | 2007 | 620.0015 B73f 2007 |
| 41 | 디지털 포렌식 개론 = Introduction to digital forensic | 이상진 | 이룬 | 2010 | 363.250285 Y63d |
| 42 | 암호혁명 | 스티븐 레비 | 경문사 | 2005 | 005.8 L579caKy |
| 43 | Mathematics of public key cryptography | Steven D. Galbraith. | Cambridge University Press | 2012 | 003.54 G131m |
| 44 | Combinatorial optimization : theory and algorithms | Bernhard Korte, Jens Vygen. | Springer | 2012 | 19.64 K845c 2012 |
| 45 | Mathematics and scientific representation | Christopher Pincock. | Oxford University Press | 2012 | 501.51 P652m |
| 46 | Finite ordered sets : concepts, results and uses | Nathalie Caspard, Bruno Leclerc, Bernard Monjardet. | Cambridge University Press | 2012 | 511.32 C27f |
| 47 | The language of mathematics : utilizing math in practice | Robert Laurence Baber. | Wiley | 2011 | 510.14 B116l |
| 48 | An excursion in diagrammatic algebra : turning a sphere from red to blue | J. Scott Carter. | World Scientific | 2012 | 514.2 C245e |
| 49 | Applications of combinatorial matrix theory to Laplacian matrices of graphs | Jason J. Molitierno. | CRC Press | 2012 | 512.9434 M735a |
| 50 | Analysis on Fock spaces | Kehe Zhu. | Springer | 2012 | 510.8 G755 v.263 |
| 51 | Geometry by its history | Alexander Ostermann, Gerhard Wanner. | Springer | 2012 | 516.009 Os7g |
| 52 | Manfredo P. do Carmo : Selected papers | Manfredo P. do Carmo, edited by Keti Tenenblat. | Springer | 2012 | 516.36 C213m |
| 53 | Transactions on Petri Nets and Other Models of Concurrency V | Kurt Jensen, Susanna Donatelli, Jetty Kleijn (eds.). | Springer | 2012 | 511.35 J453t |
| 54 | The mathematical legacy of Leon Ehrenpreis | Irene Sabadini, Daniele C Struppa, editors. | Springer | 2012 | 510.92 Sa13m |
| 55 | Sparsity : graphs, structures, and algorithms | Jaroslav Ne?et?il, Patrice Ossona de Mendez. | Springer | 2012 | 511.6 N369s |
| 56 | Visualization in medicine and life sciences 2, Progress and new challenges | Lars Linsen..., editors. | Springer | 2012 | 616.0754 L653v |
| 57 | Rainbow connections of graphs | Xueliang Li, Yuefang Sun. | Springer | 2012 | 511.5 L6139r |
| 58 | Algebraic Modeling Systems : modeling and solving real world optimization problems | ed. by Josef Kallrath. | Springer | 2012 | 512 K126a |
| 59 | Normal forms, Melnikov functions and bifurcations of limit cycles | Maoan Han, Pei Yu. | Springer | 2012 | 515.35 H19n |
| 60 | Topological methods in data analysis and visualization II: theory, algorithms, and applications | Ronald Peikert … [et al.], editors. | Springer | 2012 | 514 P351t |
| 61 | Approximation algorithms and semidefinite programming | Bernd Gartner, Ji?i Matou?ek. | Springer | 2012 | 518.1 G198a |
| 62 | Geometric structure of high-dimensional data and dimensionality reduction | Jianzhong Wang. | Springer | 2012 | 519.5 W1843g |
| 63 | Progress in industrial mathematics at ECMI 2010 | Michael Gunther ... [et al.], eds. | Springer | 2012 | 519 G958p |
| 64 | Mathematical modelling and scientific computation : international conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings | P. Balasubramaniam, R. Uthayakumar (eds.). | Springer | 2012 | 511.8 B183m |
| 65 | Hilbert modular forms with coefficients in intersection homology and quadratic base change | Jayce Getz, Mark Goresky. | Birkhauser | 2012 | 510.8 P943 v.298 |
| 66 | Discrete-time linear systems : theory and design with applications | Guoxiang Gu. | Springer | 2012 | 003.74 G93d |
| 67 | Singularities of the minimal model program | Janos Kollar, Princeton University ; with the collaboration of Sandor Kovacs, University of Washington. | Cambridge University Press | 2013 | 516.35 K832s |
| 68 | Geometric analysis | Peter Li, University of California, Irvine. | Cambridge University Press | 2012 | 515.1 L6136g |
| 69 | Handbook of moduli, volume1-3 | edited by Gavril Farkas, Ian Morrison. | International Press | 2013 | 516.35 F228h v.1 |
| 70 | Handbook of moduli, volume1-3 | edited by Gavril Farkas, Ian Morrison. | International Press | 2013 | 516.35 F228h v.2 |
| 71 | Handbook of moduli, volume1-3 | edited by Gavril Farkas, Ian Morrison. | International Press | 2013 | 516.35 F228h v.3 |
| 72 | The arithmetic of fundamental groups : PIA 2010 | Jakob Stix, editor. | Springer | 2012 | 512.2 St59t |