©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
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
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/8/4