所有科目 数学 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)
¥ 909
书评(0)
Numerical Methods and Optimization:An Introduction
Sergiy Butenko and Panos M. Pardalos / 2014-03-11 / Chapman and Hall/CRC
¥ 309
书评(0)
Logic Colloquium 2007
Françoise Delon / 2014-03-01 / Cambridge University Press
¥ 567
书评(0)
Kurt G鰀el and the Foundations of Mathematics:Horizons of Truth
Matthias Baaz / 2014-03-01 / Cambridge University Press
¥ 707
书评(0)
Naive Set Theory
Halmos, P. R. / 2014-02-28 / Springer New York
¥ 442
书评(0)
The Concept of Stability in Numerical Mathematics
Hackbusch / 2014-02-20 / Springer Berlin Heidelberg
¥ 442
书评(0)
Foundations of Information and Knowledge Systems
Bhatty, Michael;Theile, Katrin / 2014-02-15 / Springer International Publishing
¥ 479
书评(0)
FORCING FOR MATHEMATICIANS
WEAVER NIK / 2014-01-27 / World Scientific Publishing
¥ 391
书评(0)
Three Views of Logic:Mathematics, Philosophy, and Computer Science
Donald W. Loveland Richard E. Hodel  / 2014-01-26 / Princeton University Press
¥ 760
书评(0)
A Simple Introduction to the Mixed Finite Element Method:Theory and Applications
Gatica / 2014-01-21 / Springer International Publishing
¥ 1326
书评(0)
David Makinson on Classical Methods for Non-Classical Problems
Hansson / 2014-01-10 / Springer Netherlands
¥ 448
书评(0)
Infinity:New Research Frontiers
Michael Heller / 2014-01-01 / Cambridge University Press
¥ 552
书评(0)
NOTES ON FORCING AXIOMS
TODORCEVIC STEVO / 2013-12-30 / World Scientific Publishing
¥ 1027
书评(0)
Ramsey Theory for Discrete Structures
Pr鰉el / 2013-12-17 / Springer International Publishing
¥ 884
书评(0)
Reactive Kripke Semantics
Braeucken, Wilhelm / 2013-12-15 / Springer Berlin Heidelberg
¥ 707
书评(0)
Kripke?s Worlds:An Introduction to Modal Logics via Tableaux
Gasquet / 2013-12-09 / Birkhaeuser Verlag Basel
¥ 707
书评(0)
Set Theory:With an Introduction to Real Point Sets
Abhijit Dasgupta, University of Detroit Mercy, Detroit, MI, USA / 2013-12-07 / Birkhaeuser Verlag Basel
¥ 485
书评(0)
INFINITY AND TRUTH
CHONG CHITAT ET AL / 2013-12-02 / World Scientific Publishing
¥ 507
书评(0)
Strong and Weak Approximation of Semilinear Stochastic Evolution Equations
Kruse / 2013-11-25 / Springer International Publishing
¥ 1971
书评(0)
Designing Scientific Applications on GPUs
Raphael Couturier / 2013-11-21 / Chapman and Hall/CRC
¥ 884
书评(0)
Grammars for Language and Genes
Blewett, MS Lorna L.;Broderick, Elizabeth / 2013-11-15 / Springer Berlin Heidelberg
¥ 884
书评(0)
Conditionals and Modularity in General Logics
Braeucken, Wilhelm;Staatsbibliothek Preussischer Kulturbesi / 2013-11-15 / Springer Berlin Heidelberg
¥ 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
¥ 1224
书评(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
¥ 1521
书评(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
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