서명 저자 출판사 출판년도 청구기호
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