检索结果 - (progress or programs) in mathematical topics,

1

The Unity of Mathematics In Honor of the Ninetieth Birthday of I.M. Gelfand /

出版 2006

主题: “...Mathematical Methods in Physics. https://scigraph.springernature.com/ontologies/product-market...”
获取全文

电子电子书

2

Topics and Trends in Current Science Education 9th ESERA Conference Selected Contributions /

出版 2014

书本目录: “... Programs in Nanoscience and Technology, Ron Blonder, Ilka Parchmann, Sevil Akaygun, and Virginie Albe...”
获取全文

电子电子书

3

Mathematical Logic Foundations for Information Science /

由 Li, Wei., Li, Wei.
出版 2014

书本目录: “...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...”
获取全文

电子电子书

4

Mathematics of Aperiodic Order

出版 2015

书本目录: “....J.V. Bellissard: Delone Sets and Material Science: a Program....”
获取全文

电子电子书

5

Trends in Teaching and Learning of Mathematical Modelling ICTMA14 /

出版 2011

书本目录: “... of Mathematical Modelling (ICTMA14) – Preface : Gabriele Kaiser, Werner Blum, Rita Borromeo Ferri, Gloria Stillman...”
获取全文

电子电子书

6

Concurrent Programming: Algorithms, Principles, and Foundations

由 Raynal, Michel., Raynal, Michel.
出版 2013

主题: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
获取全文

电子电子书

7

Mathematical Problems from Applied Logic II Logics for the XXIst Century /

出版 2007

书本目录: “... Theory Beyond Pure Mathematical: Motivations, Directions, Progress So Far And How One Might Go From Here...”
获取全文

电子电子书

8

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008, Proceedings /

出版 2008

书本目录: “... -- The Number of Runs in Sturmian Words -- 3-Way Composition of Weighted Finite-State Transducers -- Progressive...”
获取全文

电子电子书

9

FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings /

出版 2011

主题: “...Programming languages (Electronic computers)....”
获取全文

电子电子书

10

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /

由 Jureta, Ivan., Jureta, Ivan.
出版 2015

主题: “...Mathematical logic....”
获取全文

电子电子书

11

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

出版 2005

书本目录: “...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”
获取全文

电子电子书

12

Modeling and Optimization: Theory and Applications Selected Contributions from the MOPTA 2012 Conference /

出版 2013

书本目录: “...Preface -- 1. M. F. Anjos, Recent Progress in Modeling Unit Commitment Problems -- 2. M. A. Lejeune...”
获取全文

电子电子书

13

Stochastic Analysis: A Series of Lectures Centre Interfacultaire Bernoulli, January–June 2012, Ecole Polytechnique Fédérale de Lausanne, Switzerland /

出版 2015

书本目录: “...: The research program of stochastic deformation (with a view toward geometric mechanics)....”
获取全文

电子电子书

14

Arithmetic and Geometry Around Quantization

出版 2010

主题: “...Applied mathematics....”
获取全文

电子电子书

15

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

出版 2008

书本目录: “... Computing and the Progress of Weather and Climate Forecasting -- Simulation of Seismic Wave Propagation...”
获取全文

电子电子书

16

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

出版 2005

书本目录: “... in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame...”
获取全文

电子电子书

17

Introduction to combinatorics /

由 Erickson, Martin J., 1963-.
出版 2013

“...Wiley series in discrete mathematics and optimization ;...”
Cover image

图书

18

System Modeling and Optimization 26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected Papers /

出版 2014

书本目录: “... wave propagation in anisotropic media using dynamic programming technique -- Efficient cardinality/mean...”
获取全文

电子电子书

19

Rigorous Quantum Field Theory A Festschrift for Jacques Bros /

出版 2007

书本目录: “... for the P(ø)2 Model -- The Analyticity Program in Axiomatic Quantum Field Theory -- Renormalization Theory...”
获取全文

电子电子书

20

Business Intelligence and Performance Management Theory, Systems and Industrial Applications /

出版 2013

主题: “...Applied mathematics....”
获取全文

电子电子书

缩小搜索