©BASICS2014         借阅规定：本实验室博士生每次借阅上限为1本；本实验室老师每次借阅上限为2本。                                      
序号 到货 书名 作者 出版年 出版社 ISBN-13 借用
1 1 A Computable Universe (Understanding and Exploring Nature as Computation) Hector Zenil 2013 World Scientific 9789814374293
2 * A Course in Combinatorics  J. H. van Lint; R. M. Wilson 2001 Cambridge 9780521422604
3 1 A Course in Enumeration Martin Aigner 2007 Springer 9783642072536
4 1 A Course in Mathematical Logic for Mathematicians Manin 2000 Springer 9781441906144
5 1 A Course in Number Theory and Cryptography Neal Koblitz 1990 Springer 9780387942933
6 1 A Course in p-adic Analysis Alain M. Robert 2000 Springer 9781441931504
7 1 A Discipline of Multiprogramming Misra 2001 Springer 9780387952062
8 1 A Logical Approach to Discrete Math Gries 1993 Springer 9780387941158
9 1 A Mathematical Introduction to Logic,2e Herbert Enderton; Herbert B. Enderton 2001 Academic Press 9780122384523
10 1 A Primer on Pseudorandom Generators Oded Goldreich 2010 American Mathematical Society 9780821851920
11 1 Abstraction, Refinement and Proof for Probabilistic Systems McIver 2005 Springer 9780387401157
12 1 Adapting Proofs-as-Programs Poernomo 2005 Springer 9780387237596
13 1 Admissibility of Logical Inference Rules (Studies in Logic and the Foundations of Mathematics) Rybakov 1997 North Holland 9780444895059
14 1 Advanced Linear Algebra Steven Roman 2008 Springer 9780387728285
15 1 Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science) [Hardcover] Davide Sangiorgi 2011 Cambridge 9781107004979
16 1 Advanced Topics in Types and Programming Languages  Benjamin C. Pierce 2004 MIT 9780262162289
17 1 Algebra Thomas W. Hungerfold 1980 Springer 9780387905181
18 1 Algebra (second edition) Michael Artin 2018 Pearson Modern Classic 9780134689609
19 1 Algebraic Complexity Theory Peter Bürgisser, Michael Clausen, Amin Shokrollahi, T. Lickteig 1997 Springer 9783540605829 2021/09/10 傅育熙
20 1 Algebraic Geometry Robin Hartshorne 1977 Springer 9781441928078
21 1 Algebraic Graph Theory  Chris Godsil; Gordon F. Royle 2001 Springer 9780387952208
22 1 Algebraic Groups and Class Fields Jean-Pierre Serre 1988 Springer 9780387966489
23 1 Algebraic Topology     Allen Hatcher 2001 Cambridge 9780521795401
24 1 Algorithmic Algebra Mishra 1993 Springer 9780387940908
25 1 Algorithmic Game Theory  Noam Nisan  et al. 2007 Cambridge 9780521872829
26 1 Algorithmic Language and Program Development Bauer 1982 Springer 9783540111481
27 1 Algorithmic Randomness and Complexity (Theory and Applications of Computability) Rodney G. Downey, Denis R. Hirschfeldt 2010 Springer 9780387955674
28 3 Algorithms Sanjoy Dasgupta; Christos Papadimitriou; Umesh Vazirani 2006 McGraw-Hill 9780073523408 2021/3/10张驰豪 2022/10/10 龙环
29 1 Algorithms Illuminated (Part 1): The Basics Tim Roughgarden 2017 LLC 9780999282908 2020/10/30张驰豪
30 1 Algorithms Illuminated (Part 2): Graph Algorithms and Data Structures Tim Roughgarden 2017 LLC 9780999282922 2020/10/30张驰豪
31 1 Algorithms Illuminated (Part 3): Greedy Algorithms and Dynamic Programming Tim Roughgarden 2017 LLC 9780999282946 2020/10/30张驰豪
32 1 Algorithms Illuminated (Part 4): Algorithms for NP-Hard Problems Tim Roughgarden 2017 LLC 9780999282960 2020/10/30张驰豪
33 1 All About Maude - A High-Performance Logical Framework Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C. 2007 Springer 9783540719403
34 1 Alan Turing: His work and impact (1st Edition) S. Barry Cooper, Jan van Leeuwen 2012 Elsevier 9780123869807
35 1 An Introduction to Enumeration Camina 2011 Springer 9780857295996
36 1 An Introduction to Probabilistic Modeling Bremaud, 1997 Springer 9780387964607
37 3 An Introduction To Recursive Function Theory Nigel Cutland 1980 Cambridge 9780521294652
38 1 An Introduction to the Analysis of Algorithms Robert Sedgewick; Philippe Flajolet 1995 Pearson 9780201400090
39 2 Analysis of Boolean Function Ryan O'Donnell 2014 Cambridge 9781107038325
40 1 Analytic Combinatiorics Philippe Flajolet, Robert Sedgewick 2013 Cambridge 9780521898065
41 1 Applied Finite Group Actions Kerber 1999 Springer 9783540659419
42 1 Applied Linear Algebra and Matrix Analysis Thomas 1997 Springer 9780387331942
43 2 Approximation Algorithms Vijay V. Vazirani 2004 Springer 9783540653677 2015/11/10 D. Scheder 2021/09/10 傅育熙
44 1 Approximation Algorithms and Semidefinite Programming Bernd Gaertner, Jiri Matousek 2012 Springer 9783642220142
45 1 Basic Algebra I: Second Edition Nathan Jacobson 2009 Dover 9780486471891
46 1 Basic Algebra II: Second Edition Nathan Jacobson 2009 Dover 9780486471877
47 1 Basic Category Theory for Computer Scientists (Foundations of Computing) [Paperback]  Benjamin C. Pierce 1991 MIT 9780262660716
48 1 Basic Concepts of Algebraic Topology Croom 1998 Springer 9780387902883
49 1 Basic Topology Armstrong 1993 Springer 9781441928191
50 2 Boolean Function Complexity Jukna, Stasys 2012 Springer 9783642245077
51 1 Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) Jacobs 1998 Elsevier 9780444501707
52 1 Class Field Theory Gras 2002 Springer 9783540441335
53 1 Classical Recursion Theory (Studies in Logic and the Foundations of Mathematics)  Odifreddi 1989 North Holland 9780444872951
54 1 Classical Recursion Theory, Volume II (Studies in Logic and the Foundations of Mathematics) Odifreddi 1999 North Holland 9780444502056
55 1 Codes: An Introduction to Information Communication and Cryptography Biggs 2008 Springer 9781848002722
56 1 Combinatorial Geometry Jnos Pach; Pankaj K. Agarwal 1995 Wiley 9780471588900
57 1 Combinatorial Optimization: Algorithms and Complexity   Christos H. Papadimitriou; Kenneth Steiglitz 1998 Dover 9780486402581
58 1 Combinatorial Optimization: Polyhedra and Efficiency Schrijver 2003 Springer 9783540443896
59 1 Combinatorial Optimization: Theory and Algorithms Korte 2012 Springer 9783642244872
60 1 Combinatorial Problems and Exercises Laszlo Lovasz 1993 American Mathematical Society 9780444815040 2023/04/11 郑扬珞
61 1 Combinatorial Set Theory Halbeisen 2005 Springer 9781447121725
62 1 Combinatorics and Graph Theory Harris 2004 Springer 9780387797106 2020/08/26 李帅
63 * Communication and Concurrency Robin Milner 1989 Pearson 9780131149847
64 2 Communication Complexity Eyal Kushilevitz, Noam Nisan 2006 Cambridge 9780521029834 2015/07/16 傅育熙
65 * Compilers: Principles, Techniques, and Tools (2nd Edition) [Hardcover] Alfred V. Aho , Monica S. Lam , Ravi Sethi , Jeffrey D. Ullman 2006 Pearson 9780321486813
66 1 Complex Analysis (Princeton Lectures in Analysis)  Elias M. Stein; Rami Shakarchi 2003 Princeton University Press 9780691113852
67 1 Complexity Dichotomies For Counting Problems  Volume 1: Boolean Domain Jinyi Cai, Xi Chen 2017 Cambridge 9781107062375 2021/2/25 傅育熙
68 * Computability, Complexity, Logic (Studies in Logic and the Foundations of Mathematics) Börger 1989 North Holland 9780444874061
69 1 Computable Structures and the Hyperarithmetical Hierarchy (Studies in Logic and the Foundations of Mathematics) C.J. Ash 2000 Elsevier 9780444500724
70 1 Computational Complexity Theory Steven Rudich, Avi Wigderson 2004 American Mathematical Society Institute for Advanced Study 9780821828724 2016/05/01 傅育熙
71 1 Computational Complexity: A Conceptual Perspective Oded Goldreich 2008 Cambridge 9780521884730 2014/12/10 傅育熙
72 2 Computational Complexity: A Modern Approach Sanjeev Arora; Boaz Barak 2009 Cambridge 9780521424264
73 * Computers and Intractability: A Guide to the Theory of NP-Completeness M. R. Garey ,D. S. Johnson 1979 W. H. Freeman 9780716710455
74 1 Concrete Mathematics: A Foundation for Computer Science Ronald L. Graham; Donald E. Knuth; Oren Patashnik 2004 Pearson 9780201558029
75 1 Constructive Combinatorics Stanton 2001 Springer 9780387963471
76 1 Counterexamples in Topology   Lynn Arthur Steen; J. Arthur Seebach Jr. 1995 Dover 9780486687353
77 1 Counting: The Art of Enumerative Combinatorics Martin 1993 Springer 9780387952253
78 1 Data Flow Analysis: Theory and Practice Uday Khedker 2009 CRC 9780849328800
79 1 Descriptive Complexity Neil Immerman 1998 Springer 9780387986005
80 1 Design Concepts in Programming Languages Franklyn Turbak,David Gifford,Mark A. Sheldon 2008 MIT 9780262201759
81 1 Design Patterns: Elements of Reusable Object-Oriented Software [Hardcover]    Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides 1994 Pearson 9780201633610
82 2 Discrete Mathematics: Elementary and Beyond  L. Lovász, J. Pelikán , K. Vesztergombi 2003 Springer 9780387955858 2015/11/16 Huan Long
83 1 Differential and Integral Calculus, Vol. 2 [Paperback] Richard Courant 2010 Ishi Press 9784871878357
84 1 Differential and Integral Calculus, Vol. One Richard Courant 2010 Ishi Press 9784871878388
85 1 Discrete and Computational Geometry Aronov 2003 Springer 9783540003717
86 * Discrete Thoughts: Essays on Mathematics, Science and Philosophy Mark Kac,Gian-Carlo Rota,Jacob T. Schwartz 1993 Birkhäuser Boston 9780817636364
87 1 Elementary Number Theory Jones 1998 Springer 9783540761976
88 1 Elementary Probability Theory Chung 2008 Springer 9780387955780
89 1 Elements of Finite Model Theory Leonid Libkin 2004 Springer 9783540212027
90 1 Elements of Information Theory (Second Edition) Thomas M. Cover, Joy A. Thomas 2006 Wiley 9780471241959
91 1 Elements of Set Theory,1977S Herbert B. Enderton 1977 Academic Press 9780122384400
92 1 English for Writting Research Papers Adrian Wallwork 2011 Springer 9781441979216
93 1 Enumerative Combinatorics Volume 1 Richard P. Stanley 2000 Cambridge 9781107015425 2018/01/01杨启哲
94 1 Enumerative Combinatorics Volume 2 Richard P. Stanley, Sergey Fomin Cambridge 9780521560696 2018/01/01杨启哲
95 1 ERLANG Programming Francesco Cesarini, Simon Thompson 2009 O'Reilly Media 9780596518189
96 1 Essential Topology Crossley 2005 Springer 9781852337827
97 Exactly Solved Models in Statistical Mechanics R. J. Baxter 2007 Dover 9780486462714
98 1 Explorations in Monte Carlo Methods Shonkwiler 2005 Springer 9780387878362
99 1 Exposition by emil artin Michael I. Rosen  2006 American Mathematical Society 9780821841723
100 1 Extremal Combinatorics: With Applications in Computer Science Stasys Jukna 2011 Springer 9783642173639
101 1 Field Theory (second edition) Steven Roman 2006 Springer 9780387276779 2021/09/10 傅育熙
102 1 Finite Model Theory H.-D. Ebbinghaus; J. Flum; 2005 Springer 9783540287872
103 1 Finite Model Theory and Its Applications 2007 Springer 9783540004288
104 1 Fixed Point Theory Granas 2003 Springer 9780387001739
105 1 Flows in Networks L.R.Ford,JR,D.R. Fulkerson 2010 Princeton 9780691146676
106 1 Foundations for Programming Languages (Foundations of Computing) [Hardcover] John C. Mitchell 1996 MIT 9780262133210
107 1 Foundations of Cryptography: Volume 1, Basic Tools Oded Goldreich 2001 Cambridge 9780521791724
108 1 Foundations of Cryptography: Volume 2, Basic Applications Oded Goldreich 2004 Cambridge 9780521830843
109 1 Foundations of Probabilistic Programming G. Bathe, J.P. Katoen, A. Silva 2021 Cambridge 9781108488518
110 1 Fourier Analysis: An Introduction (Princeton Lectures in Analysis) Elias M. Stein; Rami Shakarchi 2002 Princeton University Press 9780691113845
111 1 Functional Analysis: Introduction to Further Topics in Analysis (Princeton Lectures in Analysis)  Elias M. Stein; Rami Shakarchi 2011 Princeton University Press 9780691113876
112 * Gems of Theoretical Computer Science Schoning, Uwe/ Pruim, Randall J. 1998 Springer 9783540644255
113 1 General Topology Kelley 1997 Springer 9780387901251
114 1 Geometric Discrepancy:An Illustrated Guide 1999 Springer 9783540655282
115 1 Geometry of Cuts and Metrics Deza 1997 Springer 9783540616115
116 1 Graph Colouring and the Probabilistic Method Molloy 2002 Springer 9783540421399
117 1 Graph Theory J.A. Bondy U.S.R. Murty 2008 Springer 9781849966900 2020/08/26 李帅
118 ?! Graph Theory Reinhard Diestel 2010 Springer 9783642142789
119 1 Graph Theory (5th Edition) Reinhard Diestel 2017 Springer 9783662536216
120 1 Groups, Rings and Fields Wallace 1998 Springer 9783540761778
121 1 Handbook of Computability Theory (Studies in Logic and the Foundations of Mathematics) Griffor 1999 North Holland 9780444898821
122 1 Handbook of formal languages 2010 Springer 9783642082306
123 1 Handbook of game theory 2002 North Holland 9780444894281
124 * Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics) 1982 North Holland 9780444863881
125 1 Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics) Buss 1998 Elsevier 9780444898401
126 * handbook  of theoretical computer science(Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) J. Flum 2010 Springer 9783642067570
127 1 Hilberts tenth problem Yuri Matiyasevich 1993 MIT 9780262132954
128 1 ICALP 2013 2013 Springer 9783642392115
129 1 Indiscrete Thoughts (Modern Birkhäuser Classics) Gian-Carlo Rota,Fabrizio Palombi 2008 Birkhäuser Boston 9780817647803
130 1 Information and Coding Theory Jones 2000 Springer 9781852336226
131 1 Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions Yves Bertot,  Pierre Castéran, G. Huet, C. Paulin-Mohring 2004 Springer 9783540208549
132 1 Introduction to Algorithms Thomas H. Corman; Charles E. Leiserson; Ronald L. Rivest; Clifford Stein 2009 MIT 9780262033848
133 1 Introduction to Algorithms （Fourth Edition) Thomas H. Corman; Charles E. Leiserson; Ronald L. Rivest; Clifford Stein 2022 MIT 9780262046305 2023/04/15 龙环
134 1 Introduction to Analytic Number Theory apostol 2005 Springer 9780387901633
135 * Introduction to Automata Theory, Languages, and Computation (2nd Edition)   John E. Hopcroft, Jeffrey D. Ullman 2006 Pearson 9780321455369
136 1 Introduction to Axiomatic set theory Krivine,J.L 1971 Springer 9789027701695
137 1 Introduction to Bisimulation and Coinduction [Hardcover] Davide Sangiorgi 2011 Cambridge 9781107003637
138 1 Introduction to Boolean Algebras Givant 2008 Springer 9780387402932
139 2 Introduction to Circuit Complexity: A Uniform Approach Heribert Vollmer 1999 Springer 9783540643104
140 1 Introduction to Cryptography Buchmann 1992 Springer 9780387207568
141 1 Introduction to Cyclotomic Fields Lawrence C. Washington 1997 Springer 9780387947624
142 2 Introduction to Linear Algebra, 5th Edition Gilbert Strang 2016 Wellesley-Cambridge Press 9780980232776 2017/05/17 傅育熙
143 1 Introduction to Probability: Second Revised Edition Charles M. Grinstead, J. Laurie Snell 1997 American Mathematical Society 9780821894149 2016/05/1傅育熙
144 2  Introduction to Probability Models 12th Edition Sheldon M. Ross 2019 Aaademic Press 9780128143469 2020/10/30张驰豪 2021/02/22 傅育熙
145 1 Introduction to process algebra Wan Fokkink 2010 Springer 9783642085840
146 * Introduction to the theory of computation (second edition)   Michael Sipser 2005 Course Technology 9780534950972
147 1 Introduction to Topology: Third Edition Bert Mendelson 1990 Dover 9780486663524
148 3 Invitation to Discrete Mathemaics: Second Edition Jiri Matousek,Jaroslav Nesetril 2009 Oxford Univ.Press 9780198570424 2015/11/16 Huan Long
149 1 Invitation to Fixed Parameter Algorithms Rolf Niedermeier 2006 Oxford Univ.Press 9780198566076
150 1 Isabelle/HOL: A Proof Assistant for Higher-Order Logic Tobias Nipkow 2002 Springer 9783540433767
151 1 Language Implementation Patterns: Create Your Own Domain-Specific and General Programming Languages (Pragmatic Programmers) [Paperback] Terence Parr 2010 Pragmatic Bookshelf 9781934356456
152 1 Language in Action J. van Benthem 1991 North Holland 9780444890009
153 1 Large Networks and Graph Limits Laszlo Lovasz 2012 American Mathematical Society 9780821890851
154 1 Lectures on Polytopes Gunter M. Ziegler 1995 Springer 9780387943657
155 1 Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics) Morten Heine Sørensen 2006 Elsevier 9780444520777
156 1 LIMITS Beardon 2008 Springer 9780387982748
157 1 Linear Algebra and Its Applications Gilbert Strang 2011 Pearson 9780321385178 2014/12/10 傅育熙
158 1 Linear Algebra and Its Applications (5th Edition) David C. Lay, Steven R. Lay, Judi J. McDonald 2014 Pearson 9780321982384
159 1 Linear Algebra Done Right Axler 2001 Springer 9780387982588
160 1 Linear Optimization and Extensions Padberg 1999 Springer 9783540658337
161 1 Linear Programming and Its Applications Strayer 2002 Springer 9780387969305
162 1 Location-Based Information Systems: Developing Real-Time Tracking Applications Miguel A. Labrador,Alfredo J. Perez,Pedro M. Wightman 2010 CRC 9781439848548
163 * Logic and the Modalities in the Twentieth Century 2009 Elsevier 9780444515964
164 1 Logic for Applications Anil Nerode ,Richard A.Shore 1997 Springer 9780387948935
165 1 Logics for Computer Science - Classical and Non-Classical (1st Edition) Anita Wasilewska 2018 Springer 9783319925905
166 1 Logical Foundations of Proof Complexity  Stephan Cook 2010 Cambridge 9780521517294
167 1 Logical Frameworks for Truth and Abstraction(Studies in Logic and the Foundations of Mathematics) Cantini 1996 North Holland 9780444823069
168 1 Many-Dimensional Modal Logics: Theory and Applications (Studies in Logic and the Foundations of Mathematics) Kurucz 2003 North Holland 9780444508263
169 1 Markov Chains and Mixing times David A. Levin, Yuval Peres, Elizabeth L. Wilmer 2008 American Mathematical Society 9780821847398 2015/01/28 傅育熙
170 1 Matching Theory (AMS Chelsea Publishing)   Laszlo Lovasz, Michael D. Plummer 2009 American Mathematical Society 9780821847596
171 1 Mathematical Introduction to Linear Programming and Game Theory Brickman 2002 Springer 9780387969312
172 1 Mathematical Logic H.-D. Ebbinghaus; J. Flum; W. Thomas 2002 Dover 9780486425337
173 1 Mathematics: A Concise History and Philosophy Anglin 2000 Springer 9780387942803
174 1 Mathematics: A Very Short Introduction Timothy Gowers 2002 Oxford Univ.Press 9780192853615
175 1 Matrices and Matroids for Systems Analysis Murota 2000 Springer 9783540660248
176 2 Mathematics and Computation: A Theory Revolutionizing Technology and Science Avi Wigderson 2019 Princeton and Oxford 9780691189130 2020/10/30陈翌佳 2021/02/22傅育熙
177 1 Matroid Theory Oxley, James G.    1993 Oxford Univ.Press 9780198535638
178 3 Matrix Analysis Roger A. Horn , Charles R. Johnson Cambridge University Press 9780521839402   2018/01/01 傅育熙，龙环2019/04/01 张驰豪
179 1 Matrix Groups for Undergraduates Kristopher Tapp 2016 American Mathematical Society 978-1470427221
180 1 Measure, Integral and Probability Capinski 2004 Springer 9781852337810
181 1 Metric Spaces O'Searcoid 2006 Springer 9781846283697
182 1 Model Checking Edmund Clarke 2000 MIT Press 9780262032704
183 1 Model Theory Wilfrid Hodges 1997 Cambridge 9780521587136
184 * Model Theory (Studies in Logic and the Foundations of Mathematics) C.C. Chang 1990 North Holland 9780444880543
185 1 Modern Cryptography, Probalistic Proofs and Pseudorandomness Goldreich 1999 Springer 9783540647669
186 1 Modern Graph Theory Bela Bollobas 1998 Springer 9780387984889
187 1 Naive Set Theory Halmos 2007 Springer 9780387900926
188 1 Network Flows: Theory, Algorithms, and Applications Ravindra K. Ahuja; Thomas L. Magnanti; James B. Orlin 1993 Pearson 9780136175490
189 1 Notes on Set Theory Moschovakis 2008 Springer 9780387287232
190 1 Numbers Ebbinghaus 1990 Springer 9780387974972
191 2 Parameterized Algorithm Cygan, M., Fomin, F.V., Kowalik, Ł., Lokshtanov, D., Marx, D., Pilipczuk, M., Pilipczuk, M., Saurabh, S. 2015 Springer 9783319212746 2018/11/01 张驰豪
192 1 Parameterized Complexity Downey 1998 Springer 9780387948836
193 * Parameterized Complexity Theory J. Flum; M. Grohe 2006 Springer 9783540299523
194 1 Path-Oriented Program Analysis J. C. Huang 2007 Cambridge 9780521882866
195 1 Pearls of Functional Algorithm Design Richard Bird 2010 Cambridge 9780521513388
196 1 Permanents (Encyclopedia of Mathematics and its Applications, Series Number 6) Henryk Mine 1984 Cambridge 9780521175142 2023/02/27 fyx
197 1 Practical Analysis in One Variable Estep 1999 Springer 9780387954844
198 1 Principles of Model Checking Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen 2008 MIT 9780262026499 2015/09/27 fyx
199 1 Principles of Program Analysis Flemming Nielson 2004 Springer 9783540654100
200 1 Probabilistic Methods for Algorithmic Discrete Mathematics Habib 1998 Springer 9783540646228
201 1 Probability and Computing: Randomized Algorithms and Probabilistic Analysis Michael Mitzenmacher; Eli Upfal 2005 Cambridge 9780521835404
202 3 Probability and Computing: Randomization and Probabilistic techniques in Algorithms and Data Analysis (2nd Edition) Michael Mitzenmacher; Eli Upfal 2017 Cambridge 9781107154889 2019/4/15 傅育熙，龙环
203 1 Probability and Randomness Quantum versus Classical Andrei Khrennikov 2015 Imperial College Press 9781783267965
204 1 Probability Models Haigh 2002 Springer 9781852334314
205 1 Probability - Theory and Examples (Fifth Edition) Rick Durrett 2019 Cambridge University Press 9781108473682
206 1 Probability Theory: A Comprehensive Course Klenke 2008 Springer 9781848000476
207 1 Probability with Martingales David Williams 1991 Cambridge Mathematical Textbooks 9780521406055 2017/05/17 傅育熙
208 1 Process algebra J. C. M. Baeten, W. P. Weijland 2009 Cambridge 9780521820493
209 1 Programming in Haskell Graham Hutton 2007 Cambridge 9780521692694
210 1 Programming Language Pragmatics, Third Edition [Paperback] Michael L. Scott 2009 Morgan Kaufmann 9780123745149
211 1 Programming Languages [Hardcover]  Allen Tucker , Robert Noonan 2006 McGraw-Hill 9780072866094
212 * Programming Languages: Concepts and Constructs [Paperback]  Ravi Sethi 1996 Pearson 9780201590654
213 * Programming Languages: Design and Implementation (4th Edition) [Paperback] Terrence W. Pratt , Marvin V. Zelkowitz 2000 Pearson 9780130276780
214 1 Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science) [Paperback] Maurizio Gabbrielli , Simone Martini 2010 Springer 9781848829138
215 1 Programming Languages: Principles and Paradigms [Hardcover]   Allen B Tucker , Robert Noonan 2001 McGraw-Hill 9780072381115
216 1 Programming Scala: Scalability = Functional Programming + Objects (Animal Guide) Dean Wampler,Alex Payne 2009 O'Reilly Media 9780596155957
217 1 Proofs and Algorithms - An Introduction to Logic and Computability Dowek, Gilles 2011 Springer 9780857291202 2021/09/11 尹强
218 1 Proofs and Fundamentals Bloth 2003 Springer 9781441971265
219 1 Proofs from THE BOOK (6th Edition) Martin Aigner, Guenter M. Ziegler 2018 Springer 9783662572641
220 1 Pseudorandomness Salil P. Vadhan 2011 now Publisher 9781601985941 2016/09/21 傅育熙
221 2 Quantum Algorithms via Linear Algebra - A Primer Richard J Lipton, Kenneth W Regan 2014 MIT Press 9780262028394 2016/09/21 傅育熙
222 2 Quantum Computation and Quantum Information Michael A. Nielsen and Issac L. Chuang 2010 Cambridge 9781107002173 2017/05/17傅育熙
223 1 Random Graphs Bela Bollobas 2001 Cambridge 9780521797221
224 1 Randomized Algorithms Rajeev Motwani; Prabhakar Raghavan 1995 Cambridge 9780521474658
225 1 Real Analysis: Measure Theory, Integration, and Hilbert Spaces (Princeton Lectures in Analysis) Elias M. Stein; Rami Shakarchi 2005 Princeton University Press 9780691113869
226 1 Real and Functional Analysis Lang 1993 Springer 9780387940014
227 1 Real World Haskell Bryan O'Sullivan, John Goerzen and Don Stewart 2008 O'Reilly Media 9780596514983
228 * Recursive Functionals(Studies in Logic and the Foundations of Mathematics) 1992 North Holland 9780444894472
229 1 Recursively Enumerable Sets and Degrees   1987 Robert I. Soare 1987 Springer 9780387152998
230 1 Relation Algebras by Games (Studies in Logic and the Foundations of Mathematics) R. Hirsch 2002 North Holland 9780444509321
231 1 Rudiments of μ-calculus (Studies in Logic and the Foundations of Mathematics) A. Arnold 2001 North Holland 9780444506207
232 * Selected Papers on Computer Science Donald E.Knuth 2004 Cambridge 9781881526919
233 * Selected Papers on Discrete Mathematics Donald E.Knuth 2001 Center for the Study of Language and Inf 9781575862491
234 1 Selected Papers on the Analysis of Algorithms Donald E.Knuth 2000 Center for the Study of Language and Inf 9781575862125
235 1 Set Theory Jech 2002 Springer 9783540440857
236 1 Set Theory An Introduction To Independence Proofs     Kenneth Kunen 1983 North Holland 9780444868398
237 1 Set Theory and the Continuum Hypothesis Paul J. Cohen 2008 Dover 9780486469218
238 1 Set Theory for Computing Cantone 2001 Springer 9780387951973
239 1 Set theory for the working mathematician krzysztof ciesielski 1997 Cambridge 9780521594653
240 1 Sets, Logic and Categories Cameron 1999 Springer 9781852330569
241 1 Specification and Development of Interactive Systems Broy 2001 Springer 9780387950730
242 1 Specification and Transformation of Programs Partsch 1990 Springer 9783540523567
243 1 Spectral Graph Theory Fan R.K. Chung 1996 American Mathematical Society 9780821803158
244 1 Spectra of Graphs Andries E. Brouwer, Willem H. Haemers 2010 Springer 9781489994332
245 1 Statistical Mechanics of Lattice Systems - A Concrete Mathematical Introduction Sacha Friedli, Yvan Velenik 2018 Cambridge 9781107184824 2019/04/15 张驰豪
246 1 Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science) Harold Abelson  1996 The MIT Press 9780262510875
247 1 Super-Recursive Algorithms Burgin 2005 Springer 9780387955698
248 1 The Algebra of Programming   Richard Bird,Oege de Moor 1997 Pearson 9780135072455
249 1 The Art of Computer Programming, Volume 4, Fascicle 5: Mathematical Preliminaries Redux Dnoald E. Knuth 2020 Pearson Addison-Wesley 9780134671796
250 1 The Art of Proof Beck 2007 Springer 9781441970220
251 * The C++ Programming Language: Special Edition [Hardcover]      2000S Bjarne Stroustrup 2000 Pearson 9780201700732
252 1 The C++ Standard Library: A Tutorial and Reference [Hardcover]    Nicolai M. Josuttis 1999 Pearson 9780201379266
253 1 The classical decision problem Börger, Egon, Grädel, Erich, Gurevich, Yuri 2001 Springer 9783540423249
254 1 The Design and Analysis of Algorithms Kozen 1991 Springer 9780387976877
255 1 The Design of Approximation Algorithms David P. Williamson; David B. Shomoys; 2011 Cambridge 9780521195270 2022/10/10 傅育熙
256 1 The Development of Prime Number Theory Narkiewicz 04/2000 Springer 9783540662891
257 1 The Haskell Road to Logic, Maths and Programming (Texts in Computing) [Paperback]   Kees Doets , van Jan Eijck 2004 College Publications 9780954300692
258 1 The Joy of Sets Devlin 2000 Springer 9780387940946
259 1 The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition H.P. Barendregt 1985 North Holland 9780444875082
260 1 The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition H.P. Barendregt 2008 Cambridge 9780521898850
261 2 The LaTeX Companion (Tools and Techniques for Computer Typesetting) F.Mittelbach, M. Goossens 2004 Addison Wesley 9780201362992
262 1 The Pi-Calculus - a theory of mobile processes Davide Sangiorgi, David Walker 2010 Springer 9783642085840
263 1 The Pi-Calculus - a theory of mobile processes    2003 Davide Sangiorgi, David Walker 2003 Cambridge 9780521543279
264 1 The Princeton Companion to Mathematics Timothy Gowers; June Barrow-Green; Imre Leader 2008 Princeton University Press 9780691118802
265 1 The Probabilistic Method Noga Alon; Joel H. Spencer 2007 Wiley 9780470170205 2016/06/01 fyx
266 1 The Probabilistic Method (4th Edition) Noga Alon; Joel H. Spencer 2016 Wiley 9781119061953
267 * The Sensual Quadratic Form John Horton Conway 1997 The Mathematical Association of America 9780883850305
268 1 The Simplex Method: A Probabilistic Analysis Borgwardt, 1987 Springer 9783540170969
269 1 The Strange Logic of Random Graphs Spencer 2001 Springer 9783540416548
270 1 The Temporal Logic of Reactive and Concurrent Systems: Specification Zohar Manna, Amir Pnueli 1991 Springer 9780387976648
271 1 The Two-Dimentional Ising Model (2nd Edition) Barry M. McCoy, Tai Tsun Wu 2014 Dover 9780486493350
272 1 Theory of computation Dexter C.Kozen 2010 Springer 9781849965712 2015/05/01 fyx
273 1 Theory of computational complexity Ding-Zhu Du, Ker-I Ko 2014 Wiley 9781118306086 2023/04/15 傅育熙
274 5 Theory of Linear and Integer Programming Alexander Schrijver 1998 Wiley 9780471982326 2016/02/29 傅、杨、龙、黄（学生）
275 1 Theory of Relations (Studies in Logic and the Foundations of Mathematics) R. Fraïssé 2000 North Holland 9780444505422
276 1 Thirty Essays on Geometric Graph Theory Pach, János 2012 Springer 9781461401094
277 1 Tools and Techniques in Modal Logic (Studies in Logic and the Foundations of Mathematics) Kracht 1999 North Holland 9780444500557
278 1 Topics in Discrete Mathematics Klazar 2006 Springer 9783540336983
279 * Topology (2nd Edition)    James Munkres 2000 Pearson 9780131816299
280 2 Types and Programming Languages [Hardcover] Benjamin C. Pierce 2002 MIT 9780262162098
281 1 Understanding and Using Linear Programming Jiri Matousek, Bernd Gaertner 2007 Springer 9783540306979
282 1 Verification of Sequential and Concurrent Programs Krzysztof R. Apt 2010 Springer 9781848827448
283 1 表示论基本教程 [平装] W.Fulton,J.Harris 2005 世界图书 9787506272681
284 1 不等式 第2版 G.Hardy,J.E.Littlewood,G.Polya 2008 人民邮电 9787115188021
285 ? 初等几何的著名问题 [平装] 克莱因 Klein F 2005 高等教育 9787040173895
286 1 代数图论 Chris Godsil,Gordon Royle    2004 世界图书 9787506266185
287 1 典型群(英文版) [平装] 韦尔(Hermann Weyl) 2011 世界图书 9787510029592
288 ? 发生函数论 Herbert S.Wilf    2001 清华大学 9787302061328
289 ? 复分析 Elias M.Stein,Rami Shakarchi 2007 世界图书 9787506282314
290 1 复杂 梅拉妮·米歇尔(Melanie Mitchell) 2011 湖南科技 9787535767134
291 1 傅立叶分析导论  Elias M.Stein,Rami Shakarchi 2006 世界图书 9787506272872 2017/05/17 傅育熙
292 1 伽罗瓦理论 [平装] 爱德华兹(Harold M.Edwards) 2010 世界图书 9787510027420
293 1 哥德尔.艾舍尔.巴赫 道•霍夫斯塔特 ( Douglas R Hofstadter)  1996 商务印书馆 9787100013239
294 ? 皇帝新脑 罗杰·彭罗斯  2007 湖南科技 9787535715814
295 1 基本拓扑学(英文版) 阿姆斯壮 2008 世界图书 9787506283458
296 1 计算机程序设计艺术 第1卷：基本算法(英文版.第3版) Donald E.Knuth 2010 人民邮电 9787115232595
297 1 计算机程序设计艺术.第2卷,半数值算法(英文版.第3版) Donald E.Knuth 2010 人民邮电 9787115235268
298 1 计算机程序设计艺术.第3卷,排序与查找(英文版.第2版) Donald E.Knuth 2010 人民邮电 9787115234995
299 1 离散数学:基础与提高(影印版) [平装] 罗瓦茨 , 培理肯 , 维斯特冈比  2006 清华大学 9787302138266
300 ? 逻辑的引擎 马丁·戴维斯  2007 湖南科技 9787535742391
301 1 逻辑之旅:从哥德尔到哲学  王浩  2009 浙江大学出版社 9787308065368
302 1 模型论引论 David Marker   2007 科学出版社 9787030182968
303 1 球垛格点和群(第3版) [平装] 康韦 (Conway.J.H) 2011 科学出版社 9787030182968
304 1 生命是什么 埃尔温.薛定谔   2005 湖南科技 9787535737229
305 1 数理逻辑(第2版) (Ebbinghaus H.D.) 2008 世界图书 9787506292276
306 ? 数学的统一性 [平装] 阿蒂亚 2011 大连理工 9787561145524
307 1 数学在19世纪的发展(第1卷) [精装] 克莱因 Klein F 2010 高等教育 9787040288865
308 1 算术教程(英文版) [平装] 赛瑞(Jean-Pierre Serre) 2009 世界图书 9787510005350
309 1 图论 迪斯特尔 2008 世界图书 9787506291859
310 1 一个数学家的辩白 [平装] 哈代 2009 大连理工 9787561145760
311 ? 蚁迹寻踪及其他数学探索  戴维·盖尔 2001 上海教育 9787532079964
Last updated: 2023/4/15
档铺网——在线文档免费处理