所有科目 数学 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)
¥ 1346
书评(0)
Theoretical and Practical Advancements for Fuzzy System Integration
Deng-Feng Li / 2017-03-30 / IGI Publishing
¥ 822
书评(0)
Visual Cryptography and Secret Image Sharing
Cimato, Stelvio; Yang, Ching-Nung / 2017-03-29 / CRC Press
¥ 1400
书评(0)
Programming Languages and Systems:26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
Yang / 2017-03-19 / Springer Berlin Heidelberg
¥ 972
书评(0)
Modern Solvers for Helmholtz Problems
Domenico Lahaye, Delft University of Technology, Delft, The Netherlands; Jok Tang, Delft University of Technology VORtech B.V., Delft, The Netherlands; Kees Vuik, Delft University of Technology, Delft / 2017-03-10 / Birkhaeuser Verlag Basel
¥ 1244
书评(0)
Constructibility
Keith J. Devlin / 2017-03-01 / Cambridge University Press
¥ 1005
书评(0)
Recursion Theory
Joseph R. Shoenfield / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Aspects of Incompleteness
Per Lindstr鰉 / 2017-03-01 / Cambridge University Press
¥ 1244
书评(0)
Higher Recursion Theory
Gerald E. Sacks / 2017-03-01 / Cambridge University Press
¥ 1720
书评(0)
Model-Theoretic Logics
J. Barwise / 2017-03-01 / Cambridge University Press
¥ 1223
书评(0)
Admissible Sets and Structures
Jon Barwise / 2017-03-01 / Cambridge University Press
¥ 1720
书评(0)
Proper and Improper Forcing
Saharon Shelah / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Model Theory of Fields
David Marker / 2017-03-01 / Cambridge University Press
¥ 1373
书评(0)
Recursion-Theoretic Hierarchies
Peter G. Hinman / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
The Core Model Iterability Problem
John R. Steel / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Fine Structure and Iteration Trees
William J. Mitchell / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Computability in Analysis and Physics
Marian B. Pour-El / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
General Recursion Theory:An Axiomatic Approach
Jens E. Fenstad / 2017-03-01 / Cambridge University Press
¥ 1373
书评(0)
Metamathematics of First-Order Arithmetic
Petr Hájek / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
A General Algebraic Semantics for Sentential Logics
Josep Maria Font / 2017-03-01 / Cambridge University Press
¥ 1005
书评(0)
Logic Colloquium ’90:ASL Summer Meeting in Helsinki
Juha Oikkonen / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Bounded Variable Logics and Counting:A Study in Finite Models
Martin Otto / 2017-03-01 / Cambridge University Press
¥ 1005
书评(0)
Logic Colloquium ?96:Proceedings of the Colloquium held in San Sebasti醤, Spain, July 9?15, 1996
J. M. Larrazabal / 2017-03-01 / Cambridge University Press
¥ 1054
书评(0)
Gödel ’96:Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel’s Legacy
Petr Hájek / 2017-03-01 / Cambridge University Press
¥ 1223
书评(0)
Logic Colloquium ?95:Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9?18, 1995
Johann A. Makowsky / 2017-03-01 / Cambridge University Press
¥ 6363
书评(0)
Fuzzy Systems: Concepts, Methodologies, Tools, and Applications:Concepts, Methodologies, Tools, and Applications
Information Resources Management Association / 2017-02-22 / Information Science Publishing
¥ 841
书评(0)
Logic, Language, and Computation:11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Hansen / 2017-02-22 / Springer Berlin Heidelberg
¥ 822
书评(0)
A Bridge to Higher Mathematics
Valentin Deaconu and Donald C. Pfaff / 2016-12-05 / Chapman and Hall/CRC
¥ 1835
书评(0)
Algebra and Computer Science
Delaram Kahrobaei; Bren Cavallo; David Garber / 2016-11-30 / American Mathematical Society (AMS)
¥ 202
书评(0)
Ifcolog Journal of Logics and Their Applications Volume 3, Number 4: Proof, Truth, Computation
Leitgeb Hannes(Guest Editor)Petrakis Iosef(Guest Editor)Schuster Peter(Guest Editor) / 2016-11-23 / College Publications
¥ 429
书评(0)
Category Theory in Context
Riehl, Emily / 2016-11-16 / Dover Publications
¥ 624
书评(0)
Handbook of Finite State Based Models and Applications
Wang, Jiacun(编辑) / 2016-11-16 / Chapman and Hall/CRC
¥ 535
书评(0)
BEGINNER’S FURTHER GUIDE TO MATHEMATICAL LOGIC, A
SMULLYAN RAYMOND M / 2016-11-11 / World Scientific Publishing
¥ 176
书评(0)
BEGINNER’S FURTHER GUIDE TO MATHEMATICAL LOGIC, A
SMULLYAN RAYMOND M / 2016-11-11 / World Scientific Publishing
¥ 1679
书评(0)
Recent Developments in the Philosophy of Science: EPSA13 Helsinki
Uskali Mäki, University of Helsinki, Helsinki, Finland; Ioannis Votsis, Heinrich-Heine University Duesseldorf , Duesseldorf, Germany; Stéphanie Ruphy, Pierre Mendés-France University, Grenoble, France / 2016-10-22 / Springer Berlin Heidelberg
¥ 1069
书评(0)
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations and Control Theory:Festschrift in Honor of Volker Mehrmann
Peter Benner, Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg, Germany; Matthias Bollhöfer, TU Braunschweig, Institute Computational Mathematics, Braunschweig, Germany; Danie / 2016-10-17 / Springer Berlin Heidelberg
¥ 183
书评(0)
IsoGeometric Analysis: A New Paradigm in the Numerical Approximation of PDEs:Cetraro, Italy 2012
Annalisa Buffa, IMATI - CNR , Pavia; Giancarlo Sangalli, Università di Pavia, Pavia, Italy / 2016-10-06 / Springer International Publishing
¥ 1054
书评(0)
Lectures on Infinitary Model Theory
David Marker / 2016-10-01 / Cambridge University Press
¥ 1334
书评(0)
Introduction to Coalgebra:Towards Mathematics of States and Observation
Bart Jacobs / 2016-10-01 / Cambridge University Press
¥ 929
书评(0)
Duality Theories for Boolean Algebras with Operators
Steven Givant, Mills College Department of Mathematics, Oakland, CA, USA / 2016-09-17 / Springer Berlin Heidelberg
¥ 807
书评(0)
Logical Modalities from Aristotle to Carnap:The Story of Necessity
Max Cresswell / 2016-09-15 / Cambridge University Press
¥ 1304
书评(0)
Advances in Applied Mathematics
Ali R. Ansari, , Kuwait / 2016-09-10 / Springer Berlin Heidelberg
¥ 442
书评(0)
Introduction to Mathematical Structures and Proofs
Larry J. Gerstein, University of California, Santa Barbara, Santa Barbara, CA, USA / 2016-08-23 / Springer New York
¥ 442
书评(0)
The Concept of Stability in Numerical Mathematics
Wolfgang Hackbusch Max-Planck-Institute for Mathematics in the Sciences Leipzig / 2016-08-23 / Springer Berlin Heidelberg
¥ 1584
书评(0)
Meshfree Methods for Partial Differential Equations VII
Michael Griebel, Universit鋞 Bonn, Bonn, Germany; Marc Alexander Schweitzer, Universit鋞 Bonn, Bonn, Germany / 2016-08-23 / Springer Berlin Heidelberg
¥ 1504
书评(0)
Logical Foundations of Mathematics and Computational Complexity:A Gentle Introduction
Pavel Pudlák ASCR Praha 1 / 2016-08-23 / Springer International Publishing
¥ 688
书评(0)
Mathematical and Numerical Methods for Partial Differential Equations:Applications for Engineering Sciences
Joël Chaskalovic, Institut Jean le Rond d’Alembert, University Pierre and Marie Curie, Paris, France / 2016-08-23 / Springer Berlin Heidelberg
¥ 727
书评(0)
Descriptive Set Theoretic Methods in Automata Theory:Decidability and Topological Complexity
Micha Skrzypczak, University of Warsaw , Warsaw / 2016-08-06 / Springer Berlin Heidelberg
¥ 955
书评(0)
Logic, Language, Information, and Computation:23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Jouko V滗n鋘en, Univ of Helsinki Dept of Mathematics & Statistics, Helsinki; 舠a Hirvonen, University of Helsinki , Helsinki, Finland; Ruy de Queiroz, Centro de Inform醫ica , Recife / 2016-08-06 / Springer Berlin Heidelberg
1 2 3 4 5 6 … 21 跳转到 页
推荐图书
关于Readlink 帮助中心 免责声明 移动应用

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

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

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

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