檢索結果 - (progress or program) 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

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...”
獲取全文

電子電子書

11

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...”
獲取全文

電子電子書

12

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

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

主題: “...Mathematical logic....”
獲取全文

電子電子書

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

Introduction to combinatorics /

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

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

圖書

17

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...”
獲取全文

電子電子書

18

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...”
獲取全文

電子電子書

19

XI Symposium on Probability and Stochastic Processes CIMAT, Mexico, November 18-22, 2013 /

出版 2015

主題: “...Computer mathematics....”
獲取全文

電子電子書

20

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

出版 2013

主題: “...Applied mathematics....”
獲取全文

電子電子書

縮小搜索