所有科目 数学 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)
¥ 304
书评(0)
INTRODUCTION TO MATHEMATICAL LOGIC
WALICKI MICHAL / 2011-12-15 / World Scientific Publishing
¥ 1314
书评(0)
Regulated Rewriting in Formal Language Theory
Dassow / 2011-12-13 / Springer
¥ 751
书评(0)
Introduction to Axiomatic Set Theory
Takeuti / 2011-12-12 / Springer New York
¥ 2262
书评(0)
Qualitative Spatial and Temporal Reasoning
Gérard Ligozat / 2011-12-05 / Wiley-ISTE
¥ 716
书评(0)
Proofs and Computations
Helmut Schwichtenberg / 2011-12-01 / Cambridge University Press
¥ 1334
书评(0)
Wadge Degrees and Projective Ordinals:The Cabal Seminar, Volume II
Alexander S. Kechris / 2011-12-01 / Cambridge University Press
¥ 1334
书评(0)
Semirings, Automata, Languages
Kuich / 2011-11-18 / Springer
¥ 884
书评(0)
Complexity Theory Retrospective
Mueller, Megan;Selman, Alan L. / 2011-11-15 / Springer New York
¥ 442
书评(0)
The Collected Works of J. Richard Büchi
Phillips, Clive J. C.;Mac Lane, Saunders / 2011-11-15 / Springer New York
¥ 1149
书评(0)
Non-Homogeneous Boundary Value Problems and Applications:Volume III
Lions / 2011-11-11 / Springer Berlin Heidelberg
¥ 576
书评(0)
The Mathematical Experience, Study Edition
Davis / 2011-10-27 / Birkhaeuser Boston
¥ 1319
书评(0)
Difference Methods and Their Extrapolations
Marchuk / 2011-10-24 / Springer
¥ 1084
书评(0)
Computational Nuclear Physics 2:Nuclear Reactions
Langanke / 2011-10-18 / Springer New York
¥ 1317
书评(0)
Larch: Languages and Tools for Formal Specification
Guttag / 2011-10-01 / Springer New York
¥ 369
书评(0)
The Foundations of Mathematics in the Theory of Sets
John P. Mayberry / 2011-10-01 / Cambridge University Press
¥ 1289
书评(0)
Models, Logics, and Higher-Dimensional Categories
 / 2011-09-30 / American Mathematical Society (AMS)
¥ 2540
书评(0)
Introduction to Fuzzy Reliability
Kai-Yuan Cai / 2011-09-27 / Springer US
¥ 1073
书评(0)
Methods and Applications of Error-Free Computation
Gregory / 2011-09-26 / Springer
¥ 1076
书评(0)
Interpolation Theory and Its Applications
Sakhnovich / 2011-09-20 / Springer Netherlands
¥ 1320
书评(0)
Homogenization of Reticulated Structures
Cioranescu / 2011-09-19 / Springer New York
¥ 1062
书评(0)
Mixed and Hybrid Finite Element Methods
Brezzi / 2011-09-17 / Springer New York
¥ 884
书评(0)
Truth and Falsehood
Shramko / 2011-09-15 / Springer Netherlands
¥ 884
书评(0)
Logic from Computer Science
Collective, Urge;Moschovakis, Yiannis N. / 2011-09-15 / Springer New York
¥ 1324
书评(0)
Progress in Approximation Theory:An International Perspective
Gonchar / 2011-09-15 / Springer New York
¥ 442
书评(0)
Iterative Solution of Large Sparse Systems of Equations
Hackbusch / 2011-09-15 / Springer New York
¥ 1054
书评(0)
Simple Theories and Hyperimaginaries
Enrique Casanovas / 2011-09-01 / Cambridge University Press
¥ 317
书评(0)
An Introduction to Category Theory
Harold Simmons / 2011-09-01 / Cambridge University Press
¥ 1054
书评(0)
An Introduction to Category Theory
Harold Simmons / 2011-09-01 / Cambridge University Press
¥ 577
书评(0)
Lectures in Logic and Set Theory
George Tourlakis / 2011-09-01 / Cambridge University Press
¥ 1054
书评(0)
Set Theory, Arithmetic, and Foundations of Mathematics:Theorems, Philosophies
Juliette Kennedy / 2011-09-01 / Cambridge University Press
¥ 299
书评(0)
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
Raf Cluckers / 2011-09-01 / Cambridge University Press
¥ 508
书评(0)
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry
Raf Cluckers / 2011-09-01 / Cambridge University Press
¥ 204
书评(0)
A Bridge to Advanced Mathematics
Sentilles, Dennis / 2011-08-18 
¥ 782
书评(0)
PROCEEDINGS OF THE 11TH ASIAN LOGIC CONFERENCE:IN HONOR OF PROFESSOR CHONG CHITAT ON HIS 60TH BIRTHDAY
ARAI TOSHIYASU ET AL / 2011-08-15 / World Scientific Publishing
¥ 838
书评(0)
From Asynchronous Logic to the Standard Model to Superflight to the Stars
Blaha, Stephen / 2011-08-10 
¥ 1074
书评(0)
Kurt Gödel and the Foundations of Mathematics:Horizons of Truth
Matthias Baaz / 2011-08-01 / Cambridge University Press
¥ 442
书评(0)
Extinction and Quasi-Stationarity in the Stochastic Logistic SIS Model
N. Sell, Ingemar / 2011-07-15 / Springer Berlin Heidelberg
¥ 369
书评(0)
A Course on Set Theory
Ernest Schimmerling / 2011-07-01 / Cambridge University Press
¥ 965
书评(0)
A Course on Set Theory
Ernest Schimmerling / 2011-07-01 / Cambridge University Press
¥ 1054
书评(0)
Quantifiers, Propositions and Identity:Admissible Semantics for Quantified Modal and Substructural Logics
Robert Goldblatt / 2011-07-01 / Cambridge University Press
¥ 163
书评(0)
Logic in Elementary Mathematics
Exner, Robert M.;Rosskopf, Myron F. / 2011-06-16 
¥ 349
书评(0)
Stable Domination and Independence in Algebraically Closed Valued Fields
Deirdre Haskell / 2011-06-01 / Cambridge University Press
¥ 608
书评(0)
Hyperfinite Dirichlet Forms and Stochastic Processes
Albeverio / 2011-05-29 / Springer Berlin Heidelberg
¥ 369
书评(0)
The Logica Yearbook 2010
Kelleher, Damian;Peters, Alison / 2011-05-27 / College Publications
¥ 646
书评(0)
Models and Games
Jouko V滗n鋘en / 2011-05-01 / Cambridge University Press
¥ 268
书评(0)
Independence-Friendly Logic:A Game-Theoretic Approach
Allen L. Mann / 2011-05-01 / Cambridge University Press
¥ 1463
书评(0)
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher / 2011-04-18 / Wiley
¥ 1054
书评(0)
Infinity:New Research Frontiers
Michael Heller / 2011-04-01 / Cambridge University Press
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