所有科目 数学 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)
¥ 1026
书评(0)
Automated Reasoning:7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Demri / 2014-08-04 / Springer International Publishing
¥ 1334
书评(0)
The Logic of Infinity
Barnaby Sheppard / 2014-07-24 / Cambridge University Press
¥ 265
书评(0)
Slicing the Truth:On the Computable and Reverse Mathematics of Combinatorial
HIRSCHFELDT DENIS R / 2014-07-18 / World Scientific Publishing
¥ 972
书评(0)
Perspectives in Computational Complexity
Bohm, Sabine;Brauer, Maja / 2014-07-15 / Birkhaeuser Verlag Basel
¥ 425
书评(0)
Logic, Language, Information, and Computation
Bonomi, Simonetta;Guggisberg, Martin A.;Losansky, Gernot / 2014-07-15 / Springer Berlin Heidelberg
¥ 1025
书评(0)
Rewriting and Typed Lambda Calculi:Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Dowek / 2014-07-15 / Springer International Publishing
¥ 498
书评(0)
Basic Category Theory
Tom Leinster / 2014-07-01 / Cambridge University Press
¥ 369
书评(0)
The Logic of Infinity
Barnaby Sheppard / 2014-07-01 / Cambridge University Press
¥ 1334
书评(0)
Monoidal Topology:A Categorical Approach to Order, Metric, and Topology
Dirk Hofmann / 2014-07-01 / Cambridge University Press
¥ 563
书评(0)
Generalized Descriptive Set Theory and Classification Theory
Sy-David Friedman; Tapani Hyttinen; Vadim Kulikov / 2014-06-30 / American Mathematical Society (AMS)
¥ 1164
书评(0)
Theory of Computational Complexity, Second Edition
Ding-Zhu Du / 2014-06-23 / Wiley
¥ 1642
书评(0)
Introduction to Finite and Spectral Element Methods Using MATLAB, Second Edition
Constantine Pozrikidis / 2014-06-20 / Chapman and Hall/CRC
¥ 707
书评(0)
Set Theory:Exploring Independence and Truth
Ralf Schindler, Universit鋞 M黱ster, M黱ster, Germany / 2014-06-06 / Springer International Publishing
¥ 199
书评(0)
E-RECURSION, FORCING AND C*-ALGEBRAS
CHONG CHITAT ET AL / 2014-05-30 / World Scientific Publishing
¥ 817
书评(0)
Mathematical and Numerical Methods for Partial Differential Equations:Applications for Engineering Sciences
Jo雔 Chaskalovic, Institut Jean le Rond dAlembert, University Pierre and Marie Curie, Paris, France / 2014-05-30 / Springer International Publishing
¥ 852
书评(0)
Abstract State Machines, Alloy, B, TLA, VDM, and Z:4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Ait Ameur / 2014-05-21 / Springer Berlin Heidelberg
¥ 756
书评(0)
BASIC LANGUAGE OF MATHEMATICS
SCHAFFER JUAN JORGE / 2014-05-16 / World Scientific Publishing
¥ 282
书评(0)
The Logica Yearbook 2013
 / 2014-05-14 / College Publications
¥ 265
书评(0)
Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation
Baumann Ringo / 2014-05-12 / College Publications
¥ 1334
书评(0)
Turing?s Legacy:Developments from Turing?s Ideas in Logic
Rod Downey / 2014-05-01 / Cambridge University Press
¥ 962
书评(0)
Engineering Risk Assessment with Subset Simulation
Siu-Kui Au / 2014-04-23 / Wiley
¥ 1684
书评(0)
Tensor Spaces and Numerical Tensor Calculus
Hackbusch / 2014-04-13 / Springer Berlin Heidelberg
¥ 929
书评(0)
Relational and Algebraic Methods in Computer Science:14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings
H鰂ner / 2014-04-10 / Springer International Publishing
¥ 1468
书评(0)
Mathematical Modeling in the Social and Life Sciences
Michael Olinick / 2014-04-04 / Wiley
¥ 1279
书评(0)
Combinatorial Set Theory
Weingartz-Perschel, Karin / 2014-03-15 / Springer London
¥ 442
书评(0)
Categories and Types in Logic, Language, and Physics
Bahr, Gerhard;Harwood, Stephen Allan;Richebacher, Wilhelm / 2014-03-15 / Springer Berlin Heidelberg
¥ 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
¥ 369
书评(0)
Logical Foundations of Proof Complexity
Stephen Cook / 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
¥ 576
书评(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
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