所有科目 数学 x 数理逻辑与数学基础 x
二级学科：
数学史(15135) 数理逻辑与数学基础(982) 数论(641) 代数学(5407) 代数几何学(295) 几何学(2097) 拓扑学(347) 数学分析(2357) 非标准分析(82) 函数论(580) 常微分方程(16) 偏微分方程(25) 积分方程(1) 泛函分析(553) 计算数学(416) 概率论(4262) 数理统计学(348) 应用统计数学(22) 运筹学(558) 组合数学(223) 离散数学(278) 模糊数学(46) 应用数学(2272)
¥ 753
书评(0)
Non solo calcoli:Domande e risposte sui perché della matematica
Villani / 2012-10-05 / Springer Milan
¥ 4136
书评(0)
Constructive Models
Ershov / 2012-09-28 / Springer US
¥ 620
书评(0)
A Logical Introduction to Proof
Daniel W. Cunningham, Buffalo State College, Buffalo, NY, USA / 2012-09-19 / Springer New York
¥ 1026
书评(0)
Formal Methods and Software Engineering:14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Aoki / 2012-09-19 / Springer Berlin Heidelberg
¥ 884
书评(0)
Computability and Models
Cooper;Cooper, Barry S.;Goncharov, Sergei S. / 2012-09-15 / Springer US
¥ 407
书评(0)
Rewriting Logic and Its Applications
Tovar Rebecca;Kurowsky Nils / 2012-09-15 / Springer Berlin Heidelberg
¥ 884
书评(0)
Automated Theory Formation in Pure Mathematics
Colton / 2012-09-15 / Springer London
¥ 884
书评(0)
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Lavrov;Corsi, G. / 2012-09-15 / Springer US
¥ 1062
书评(0)
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
Miller, Christopher L.;Rolin, Jean-Philippe;Speissegger, Patrick / 2012-09-15 / Springer New York
¥ 331
书评(0)
Die G鰀el?schen Unvollst鋘digkeitss鋞ze:Eine gef黨rte Reise durch Kurt G鰀els historischen Beweis
Dirk W. Hoffmann, Hochschule Karlsruhe Technik und Wirtschaft, Karlsruhe / 2012-08-26 / Spektrum Akademischer Verlag
¥ 785
书评(0)
Formal Modeling and Analysis of Timed Systems:10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
Jurdzinski / 2012-08-17 / Springer Berlin Heidelberg
¥ 407
书评(0)
Reachability Problems
Foster, Vincent S.;Cors, Josep Maria;Lauter, Kristin / 2012-08-15 / Springer Berlin Heidelberg
¥ 1062
书评(0)
Algebraic Operads
Loday / 2012-08-07 / Springer Berlin Heidelberg
¥ 1022
书评(0)
Coalgebraic Methods in Computer Science:11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Pattinson / 2012-08-02 / Springer Berlin Heidelberg
¥ 1025
书评(0)
FM 2012: Formal Methods:18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Giannakopoulou / 2012-07-21 / Springer Berlin Heidelberg
¥ 442
书评(0)
CONCUR 2012- Concurrency Theory
Choi, Kelly;Steele, Angela Graham / 2012-07-15 / Springer Berlin Heidelberg
¥ 407
书评(0)
Computational Logic in Multi-Agent Systems
Benedetto, Pat;Hoffman, Walter;McDonald, Reverend Bill / 2012-07-15 / Springer Berlin Heidelberg
¥ 555
书评(0)
Computability Theory
Rebecca Weber / 2012-06-30 / American Mathematical Society (AMS)
¥ 884
书评(0)
Finite Automata, Their Algebras and Grammars:Towards a Theory of Formal Expressions
Büchi / 2012-06-29 / Springer New York
¥ 442
书评(0)
Around and Beyond the Square of Opposition
Beziau, Jean-Yves / 2012-06-15 / Birkhaeuser Verlag Basel
¥ 285
书评(0)
Model Theory
Chang, C. C.;Keisler, H. Jerome / 2012-06-13 
¥ 397
书评(0)
Introduction to Mathematical Structures and Proofs
Bloch, MS Sharon / 2012-06-08 / Springer New York
¥ 1601
书评(0)
Graph Structure and Monadic Second-Order Logic:A Language-Theoretic Approach
Bruno Courcelle / 2012-06-01 / Cambridge University Press
¥ 995
书评(0)
Foundations of Mathematics:Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
Bulloff / 2012-05-21 / Springer
¥ 442
书评(0)
Runtime Verification
Sen;Khurshid, Sarfaz;Dechen, Heinrich [Begr ]. / 2012-05-15 / Springer Berlin Heidelberg
¥ 523
书评(0)
INTRODUCTION TO MATHEMATICAL LOGIC
WALICKI MICHAL / 2011-12-15 / World Scientific Publishing
¥ 1361
书评(0)
Theory of Computation
George Tourlakis / 2012-03-30 / Wiley
¥ 956
书评(0)
The Mathematics of Infinity:A Guide to Great Ideas, Second Edition
Theodore Faticoni / 2012-03-30 / Wiley
¥ 929
书评(0)
Lectures on Numerical Methods
Mysovskih / 2012-03-21 / Springer
¥ 178
书评(0)
Model Theory and Applications
Mangani, P. / 2012-03-15 / Springer Berlin Heidelberg
¥ 2355
书评(0)
Domain Decomposition Methods in Science and Engineering XVIII
Michel Bercovier, Hebrew University of Jerusalem School of Computer Science &, Givat Ram, Jerusalem, Israel; Martin Gander, Université de Genève Section de Mathématiques, Genève, Switzerland; Ralf Kor / 2012-03-14 / Springer Berlin Heidelberg
¥ 89
书评(0)
The Puzzler's Dilemma: From the Lighthouse of Alexandria to Monty Hall, a Fresh Look at Classic Conundrums of Logic, Mathematics, and Life
Niederman Derrick / 2012-03-06 / Penguin Random House US
¥ 1642
书评(0)
Algebraic and Stochastic Coding Theory
Dave K. Kythe and Prem K. Kythe / 2012-03-05 / CRC Press
¥ 576
书评(0)
A Course in Mathematical Logic for Mathematicians
Yu. I. Manin, MPI f黵 Mathematik, Bonn, Germany / 2012-03-03 / Springer New York
¥ 547
书评(0)
A Course in Model Theory
Katrin Tent / 2012-03-01 / Cambridge University Press
¥ 910
书评(0)
Semi-Groups of Operators and Approximation
Butzer / 2012-02-27 / Springer
¥ 884
书评(0)
Set Theory of the Continuum
Judah;Judah, Haim;Just, Winfried;Woodin, Hugh / 2012-02-15 / Springer New York
¥ 1220
书评(0)
The Book of L
Rozenberg / 2012-02-09 / Springer
¥ 1065
书评(0)
The Method of Fractional Steps:The Solution of Problems of Mathematical Physics in Several Variables
Yanenko / 2012-01-04 / Springer
¥ 1098
书评(0)
Model Theoretic Methods in Finite Combinatorics
Martin Grohe / 2011-12-30 / American Mathematical Society (AMS)
¥ 884
书评(0)
Fuzzy Logic for Planning and Decision Making
Lootsma, Freerk A. / 2011-12-25 / Springer US
¥ 716
书评(0)
Informatik und Mathematik
Manfred Broy, TU München Fak. Informatik, Garching / 2011-12-23 / Springer Berlin Heidelberg
¥ 123
书评(0)
Essential Stability Theory
Buechler, Steven / 2011-12-21 / Springer
¥ 1062
书评(0)
Constructive Approximation:Advanced Problems
Lorentz / 2011-12-21 / Springer Berlin Heidelberg
¥ 442
书评(0)
Foundations of Mathematics
Engeler;Thomas, C. B. / 2011-12-15 / Springer Berlin Heidelberg
¥ 530
书评(0)
Classical Descriptive Set Theory
Jason, Dan / 2011-12-15 / Springer New York
¥ 884
书评(0)
Kolmogorov Complexity and Computational Complexity
Watanabe;Watanabe, Osamu / 2011-12-15 / Springer Berlin Heidelberg
¥ 304
书评(0)
INTRODUCTION TO MATHEMATICAL LOGIC
WALICKI MICHAL / 2011-12-15 / World Scientific Publishing
1 … 7 8 9 10 11 12 … 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

中国国际图书贸易集团公司版权所有

地址：中国·北京市海淀区车公庄西路35号 邮编：100048

电话(对公采购及书单推荐)：010-68433105、010-68433213

© 2015-2024 Readlink.com, All Rights Reserved 京ICP备11010390号-4