所有科目 数学 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)
¥ 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
¥ 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
¥ 428
书评(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
¥ 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
¥ 1115
书评(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
¥ 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
¥ 185
书评(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
¥ 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
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