Canlyniadau Chwilio - (progress or programs) in mathematical topics,

1

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

Cyhoeddwyd 2006

Pynciau: “...Mathematical Methods in Physics. https://scigraph.springernature.com/ontologies/product-market...”
Cael y testun llawn

Electronig eLyfr

2

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Programs in Nanoscience and Technology, Ron Blonder, Ilka Parchmann, Sevil Akaygun, and Virginie Albe...”
Cael y testun llawn

Electronig eLyfr

3

Mathematical Logic Foundations for Information Science /

gan Li, Wei., Li, Wei.
Cyhoeddwyd 2014

Tabl Cynhwysion: “...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...”
Cael y testun llawn

Electronig eLyfr

4

Mathematics of Aperiodic Order

Cyhoeddwyd 2015

Tabl Cynhwysion: “....J.V. Bellissard: Delone Sets and Material Science: a Program....”
Cael y testun llawn

Electronig eLyfr

5

Trends in Teaching and Learning of Mathematical Modelling ICTMA14 /

Cyhoeddwyd 2011

Tabl Cynhwysion: “... of Mathematical Modelling (ICTMA14) – Preface : Gabriele Kaiser, Werner Blum, Rita Borromeo Ferri, Gloria Stillman...”
Cael y testun llawn

Electronig eLyfr

6

Concurrent Programming: Algorithms, Principles, and Foundations

gan Raynal, Michel., Raynal, Michel.
Cyhoeddwyd 2013

Pynciau: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Theory Beyond Pure Mathematical: Motivations, Directions, Progress So Far And How One Might Go From Here...”
Cael y testun llawn

Electronig eLyfr

8

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- The Number of Runs in Sturmian Words -- 3-Way Composition of Weighted Finite-State Transducers -- Progressive...”
Cael y testun llawn

Electronig eLyfr

9

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

Cyhoeddwyd 2011

Pynciau: “...Programming languages (Electronic computers)....”
Cael y testun llawn

Electronig eLyfr

10

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

gan Jureta, Ivan., Jureta, Ivan.
Cyhoeddwyd 2015

Pynciau: “...Mathematical logic....”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “...Preface -- 1. M. F. Anjos, Recent Progress in Modeling Unit Commitment Problems -- 2. M. A. Lejeune...”
Cael y testun llawn

Electronig eLyfr

13

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “...: The research program of stochastic deformation (with a view toward geometric mechanics)....”
Cael y testun llawn

Electronig eLyfr

14

Arithmetic and Geometry Around Quantization

Cyhoeddwyd 2010

Pynciau: “...Applied mathematics....”
Cael y testun llawn

Electronig eLyfr

15

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Computing and the Progress of Weather and Climate Forecasting -- Simulation of Seismic Wave Propagation...”
Cael y testun llawn

Electronig eLyfr

16

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame...”
Cael y testun llawn

Electronig eLyfr

17

Introduction to combinatorics /

gan Erickson, Martin J., 1963-.
Cyhoeddwyd 2013

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

Llyfr

18

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... wave propagation in anisotropic media using dynamic programming technique -- Efficient cardinality/mean...”
Cael y testun llawn

Electronig eLyfr

19

Rigorous Quantum Field Theory A Festschrift for Jacques Bros /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... for the P(ø)2 Model -- The Analyticity Program in Axiomatic Quantum Field Theory -- Renormalization Theory...”
Cael y testun llawn

Electronig eLyfr

20

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

Cyhoeddwyd 2013

Pynciau: “...Applied mathematics....”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad