所有科目 数学 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)
¥ 513
书评(0)
The Real Numbers:An Introduction to Set Theory and Analysis
John Stillwell, University of San Francisco, San Francisco, CA, USA / 2013-10-28 / Springer International Publishing
¥ 1067
书评(0)
Simplicity Theory
Kim Byunghan / 2013-10-17 / Oxford University Press
¥ 442
书评(0)
Henkin-Keisler Models
Weaver / 2013-10-15 / Springer US
¥ 884
书评(0)
Flexible Neuro-Fuzzy Systems
Rutkowski / 2013-10-15 / Springer US
¥ 884
书评(0)
Prolate Spheroidal Wave Functions of Order Zero
Albin Ernst Ulrici / 2013-10-15 / Springer US
¥ 998
书评(0)
Exploring the Secrets of the Aurora
Akasofu / 2013-10-03 / Springer Netherlands
¥ 1149
书评(0)
Rational Homotopy Theory and Differential Forms
Griffiths / 2013-10-02 / Springer New York
¥ 1054
书评(0)
Effective Mathematics of the Uncountable
Noam Greenberg / 2013-10-01 / Cambridge University Press
¥ 1054
书评(0)
Canonical Ramsey Theory on Polish Spaces
Vladimir Kanovei / 2013-09-01 / Cambridge University Press
¥ 1239
书评(0)
Treatise on Intuitionistic Type Theory
Crang, M. a. / 2013-08-15 / Springer Netherlands
¥ 407
书评(0)
Logic, Language, Information, and Computation
Tharp, Paul A.;Libkin, Leonid;Queiroz, Ruy;Goult, R. J. / 2013-08-15 / Springer Berlin Heidelberg
¥ 884
书评(0)
Advanced Łukasiewicz calculus and MV-algebras
Hale, Dr Ian C. / 2013-08-15 / Springer Netherlands
¥ 442
书评(0)
Interactive Theorem Proving
Landis, Benson y. 1897-;Pichardie, David;Morgan, A. E. 1886-1972;Bulgarin, Fadde / 2013-07-15 / Springer Berlin Heidelberg
¥ 1334
书评(0)
Numerical Methods for Two-phase Incompressible Flows
Gross / 2013-07-15 / Springer Berlin Heidelberg
¥ 1768
书评(0)
BAIL 2010 - Boundary and Interior Layers, Computational and Asymptotic Methods
Clavero / 2013-07-15 / Springer Berlin Heidelberg
¥ 839
书评(0)
Formal Grammar:17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 D黶seldorf, Germany, August 2013, Proceedings
Morrill / 2013-07-11 / Springer Berlin Heidelberg
¥ 407
书评(0)
Inductive Logic Programming
Lane, William Collidge 1859-1931 [From;Riguzzi, Fabrizio;Zelezny, Filip / 2013-06-15 / Springer Berlin Heidelberg
¥ 728
书评(0)
Typed Lambda Calculi and Applications:11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings
Hasegawa / 2013-06-06 / Springer Berlin Heidelberg
¥ 775
书评(0)
Lambda Calculus with Types
Henk Barendregt / 2013-06-01 / Cambridge University Press
¥ 349
书评(0)
Kurt Gödel:Essays for his Centennial
Solomon Feferman / 2013-06-01 / Cambridge University Press
¥ 1504
书评(0)
Logical Foundations of Mathematics and Computational Complexity:A Gentle Introduction
Pudlák / 2013-05-31 / Springer International Publishing
¥ 442
书评(0)
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Harwood, Stephen Allan;Melissen, Frans;Carnie, Fiona / 2013-05-15 / Springer Berlin Heidelberg
¥ 981
书评(0)
PROCEEDINGS OF THE 12TH ASIAN LOGIC CONFERENCE
DOWNEY ROD ET AL / 2013-05-08 / World Scientific Publishing
¥ 1124
书评(0)
A Short Introduction to Intuitionistic Logic
Mints / 2013-04-26 / Springer US
¥ 884
书评(0)
The Structure of the Real Line
Bukovský / 2013-04-21 / Springer Basel
¥ 576
书评(0)
Proofs and Fundamentals:A First Course in Abstract Mathematics
Ethan D. Bloch, Bard College, Annandale-on-Hudson, NY, USA / 2013-04-21 / Springer New York
¥ 884
书评(0)
Foundational Theories of Classical and Constructive Mathematics
Zero, Fallenstar / 2013-04-15 / Springer Netherlands
¥ 177
书评(0)
Zermelo\'s Axiom of Choice: Its Origins, Development, and Influence
Moore, Gregory H.;Mathematics / 2013-03-21 
¥ 340
书评(0)
Defending the Axioms
Maddy Penelope / 2013-03-07 / Oxford University Press
¥ 1054
书评(0)
Coherence in Three-Dimensional Category Theory
Nick Gurski / 2013-03-01 / Cambridge University Press
¥ 1314
书评(0)
Methods of Cut-Elimination
Baaz / 2013-02-25 / Springer Netherlands
¥ 211
书评(0)
An Introduction to Mathematical Logic
Hodel, Richard E. / 2013-02-20 
¥ 442
书评(0)
Foundations of Software Science and Computation Structures
De Assis Denise;Pfenning, Frank / 2013-02-15 / Springer Berlin Heidelberg
¥ 1348
书评(0)
Meshfree Methods for Partial Differential Equations V
Griebel / 2013-01-22 / Springer Berlin Heidelberg
¥ 786
书评(0)
Formal Aspects of Component Software:9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Pasareanu / 2013-01-09 / Springer Berlin Heidelberg
¥ 785
书评(0)
Unifying Theories of Programming:4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Wolff / 2013-01-04 / Springer Berlin Heidelberg
¥ 1040
书评(0)
Generative and Transformational Techniques in Software Engineering IV:International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers
L鋗mel / 2013-01-03 / Springer Berlin Heidelberg
¥ 1236
书评(0)
Boundary Element Methods
Sauter / 2013-01-02 / Springer Berlin Heidelberg
¥ 1234
书评(0)
Mathematical Modeling with Multidisciplinary Applications
Xin-She Yang / 2012-12-31 / Wiley
¥ 879
书评(0)
Mathematical Logic
Ebbinghaus / 2012-12-15 / Springer New York
¥ 1508
书评(0)
Meshfree Methods for Partial Differential Equations VI
Griebel / 2012-12-14 / Springer Berlin Heidelberg
¥ 2652
书评(0)
Mathematics of Fuzzy Sets
Hohle / 2012-11-15 / Springer US
¥ 407
书评(0)
Tools for Practical Software Verification
Meyer;Meyer, Bertrand;Nordio, Martin / 2012-11-15 / Springer Berlin Heidelberg
¥ 312
书评(0)
Logic and Structure
van Dalen / 2012-11-13 / Springer London
¥ 1448
书评(0)
Hierarchical and Geometrical Methods in Scientific Visualization
Farin / 2012-11-09 / Springer Berlin Heidelberg
¥ 442
书评(0)
Handbook of Formal Languages:Volume 1 Word, Language, Grammar
Rozenberg / 2012-11-07 / Springer Berlin Heidelberg
¥ 369
书评(0)
Appalachian Set Theory:2006–2012
James Cummings / 2012-11-01 / Cambridge University Press
¥ 3766
书评(0)
Fuzzy Sets in Decision Analysis, Operations Research and Statistics
Slowiski / 2012-11-01 / Springer US
1 … 7 8 9 10 11 12 … 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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