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