ReadLink-学科

¥ 390

书评(0)

Defending the Axioms

Maddy Penelope / 2013-03-07 / Oxford University Press

¥ 1054

书评(0)

Coherence in Three-Dimensional Category Theory

Nick Gurski / 2013-03-01 / Cambridge University Press

¥ 1314

书评(0)

Methods of Cut-Elimination

Baaz / 2013-02-25 / Springer Netherlands

¥ 366

书评(0)

An Introduction to Mathematical Logic

Hodel, Richard E. / 2013-02-20

¥ 442

书评(0)

Foundations of Software Science and Computation Structures

De Assis Denise;Pfenning, Frank / 2013-02-15 / Springer Berlin Heidelberg

¥ 1348

书评(0)

Meshfree Methods for Partial Differential Equations V

Griebel / 2013-01-22 / Springer Berlin Heidelberg

¥ 786

书评(0)

Formal Aspects of Component Software:9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers

Pasareanu / 2013-01-09 / Springer Berlin Heidelberg

¥ 785

书评(0)

Unifying Theories of Programming:4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Wolff / 2013-01-04 / Springer Berlin Heidelberg

¥ 1040

书评(0)

Generative and Transformational Techniques in Software Engineering IV:International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers

L鋗mel / 2013-01-03 / Springer Berlin Heidelberg

¥ 1236

书评(0)

Boundary Element Methods

Sauter / 2013-01-02 / Springer Berlin Heidelberg

¥ 1416

书评(0)

Mathematical Modeling with Multidisciplinary Applications

Xin-She Yang / 2012-12-31 / Wiley

¥ 1319

书评(0)

Mathematical Logic

Ebbinghaus / 2012-12-15 / Springer New York

¥ 1508

书评(0)

Meshfree Methods for Partial Differential Equations VI

Griebel / 2012-12-14 / Springer Berlin Heidelberg

¥ 2652

书评(0)

Mathematics of Fuzzy Sets

Hohle / 2012-11-15 / Springer US

¥ 407

书评(0)

Tools for Practical Software Verification

Meyer;Meyer, Bertrand;Nordio, Martin / 2012-11-15 / Springer Berlin Heidelberg

¥ 1448

书评(0)

Hierarchical and Geometrical Methods in Scientific Visualization

Farin / 2012-11-09 / Springer Berlin Heidelberg

¥ 442

书评(0)

Handbook of Formal Languages:Volume 1 Word, Language, Grammar

Rozenberg / 2012-11-07 / Springer Berlin Heidelberg

¥ 369

书评(0)

Appalachian Set Theory:2006–2012

James Cummings / 2012-11-01 / Cambridge University Press

¥ 3766

书评(0)

Fuzzy Sets in Decision Analysis, Operations Research and Statistics

Slowiski / 2012-11-01 / Springer US

¥ 1040

书评(0)

Limits of Computation:An Introduction to the Undecidable and the Intractable

Edna E. Reiter and Clayton Matthew Johnson / 2012-10-29 / Chapman and Hall/CRC

¥ 1768

书评(0)

Supervision of Petri Nets

Stremersch / 2012-10-24 / Springer US

¥ 2727

书评(0)

Fuzzy Logic and Soft Computing

Guoqing Chen / 2012-10-23 / Springer US

¥ 1126

书评(0)

Structured Adaptive Mesh Refinement (SAMR) Grid Methods

Baden / 2012-10-23 / Springer New York

¥ 1216

书评(0)

Nonstandard Methods of Analysis

Kusraev / 2012-10-20 / Springer Netherlands

¥ 1642

书评(0)

Handbook of Finite State Based Models and Applications

Jiacun Wang / 2012-10-16 / Chapman and Hall/CRC

¥ 1326

书评(0)

Logic and Complexity

Lassaigne / 2012-10-15 / Springer London

¥ 1326

书评(0)

Consensus Under Fuzziness

Kacprzyk;Kacprzyk, J.;Nurmi, H.;Fedrizzi, Mario / 2012-10-15 / Springer US

¥ 1326

书评(0)

Fundamentals of Fuzzy Sets

DuBois;DuBois, Didier;Richard, Gilles / 2012-10-15 / Springer US

¥ 442

书评(0)

Programming Languages and Systems

Yaseen Amara;Igarashi, Atsushi;Boakye Mary / 2012-10-15 / Springer Berlin Heidelberg

¥ 407

书评(0)

Implementation and Application of Functional Languages

Adolph Julian;IVIC Monika / 2012-10-15 / Springer Berlin Heidelberg

¥ 3549

书评(0)

Model-Based Reasoning in Scientific Discovery

Magnani;Magnani, L.;Nersessian, N. J.;Thagard, Paul / 2012-10-15 / Springer US

¥ 570

书评(0)

Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

Donald Gillies / 2012-10-15 / Routledge

¥ 3251

书评(0)

Fuzzy Systems:Modeling and Control

Hung T. Nguyen / 2012-10-12 / Springer US

¥ 919

书评(0)

Mathematik mit MATLAB:Eine Einführung für Ingenieure und Naturwissenschaftler

Hans Benker, Universität Halle-Wittenberg FB Mathematik und Informatik, Halle / 2012-10-12 / Springer Berlin Heidelberg

¥ 1609

书评(0)

Method of Difference Potentials and Its Applications

Ryaben’kii / 2012-10-09 / Springer Berlin Heidelberg

¥ 1879

书评(0)

Decision Criteria and Optimal Inventory Processes

Liu / 2012-10-08 / Springer US

¥ 576

书评(0)

A Course in Model Theory:An Introduction to Contemporary Mathematical Logic

Poizat / 2012-10-08 / Springer New York

¥ 1130

书评(0)

Non solo calcoli:Domande e risposte sui perché della matematica

Villani / 2012-10-05 / Springer Milan

¥ 4136

书评(0)

Constructive Models

Ershov / 2012-09-28 / Springer US

¥ 620

书评(0)

A Logical Introduction to Proof

Daniel W. Cunningham, Buffalo State College, Buffalo, NY, USA / 2012-09-19 / Springer New York

¥ 1026

书评(0)

Formal Methods and Software Engineering:14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings

Aoki / 2012-09-19 / Springer Berlin Heidelberg

¥ 884

书评(0)

Computability and Models

Cooper;Cooper, Barry S.;Goncharov, Sergei S. / 2012-09-15 / Springer US

¥ 407

书评(0)

Rewriting Logic and Its Applications

Tovar Rebecca;Kurowsky Nils / 2012-09-15 / Springer Berlin Heidelberg

¥ 884

书评(0)

Automated Theory Formation in Pure Mathematics

Colton / 2012-09-15 / Springer London

¥ 884

书评(0)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Lavrov;Corsi, G. / 2012-09-15 / Springer US

¥ 1062

书评(0)

Lecture Notes on O-Minimal Structures and Real Analytic Geometry

Miller, Christopher L.;Rolin, Jean-Philippe;Speissegger, Patrick / 2012-09-15 / Springer New York

¥ 331

书评(0)

Die G鰀el?schen Unvollst鋘digkeitss鋞ze:Eine gef黨rte Reise durch Kurt G鰀els historischen Beweis

Dirk W. Hoffmann, Hochschule Karlsruhe Technik und Wirtschaft, Karlsruhe / 2012-08-26 / Spektrum Akademischer Verlag

¥ 785

书评(0)

Formal Modeling and Analysis of Timed Systems:10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings

Jurdzinski / 2012-08-17 / Springer Berlin Heidelberg