Hakutulokset - (progress or (programs or program)) in mathematics physics,

1

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

Julkaistu 2006

Sisällysluettelo: “...The Interaction between Geometry and Physics -- Uhlenbeck Spaces via Affine Lie Algebras -- New...”
Hae kokoteksti

Elektroninen E-kirja

2

Dynamics and Vibrations Progress in Nonlinear Analysis /

Tekijä Kachapi, Seyed Habibollah Hashemi., Kachapi, Seyed Habibollah Hashemi., Ganji, Davood Domairry.
Julkaistu 2014

Aiheet: “...Continuum physics....”
Hae kokoteksti

Elektroninen E-kirja

3

Mathematics of Aperiodic Order

Julkaistu 2015

Sisällysluettelo: “....J.V. Bellissard: Delone Sets and Material Science: a Program....”
Hae kokoteksti

Elektroninen E-kirja

4

Rigorous Quantum Field Theory A Festschrift for Jacques Bros /

Julkaistu 2007

Sisällysluettelo: “... for the P(ø)2 Model -- The Analyticity Program in Axiomatic Quantum Field Theory -- Renormalization Theory...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2011

Aiheet: “...Programming languages (Electronic computers)....”
Hae kokoteksti

Elektroninen E-kirja

6

Arithmetic and Geometry Around Quantization

Julkaistu 2010

Aiheet: “...Mathematical Methods in Physics. https://scigraph.springernature.com/ontologies/product-market...”
Hae kokoteksti

Elektroninen E-kirja

7

Geography of Order and Chaos in Mechanics Investigations of Quasi-Integrable Systems with Analytical, Numerical, and Graphical Tools /

Tekijä Cordani, Bruno., Cordani, Bruno.
Julkaistu 2013

Sisällysluettelo: “...: Detecting Order, Chaos, and Resonances -- 6 The Kepler Problem -- 7 The KEPLER Program -- 8 Some Perturbed...”
Hae kokoteksti

Elektroninen E-kirja

8

High Performance Computing on Vector Systems 2009

Julkaistu 2010

Sisällysluettelo: “... Language for Fortran Source to Source Transformation -- The SX-Linux Project: A Progress Report...”
Hae kokoteksti

Elektroninen E-kirja

9

Modeling, Simulation and Optimization of Complex Processes Proceedings of the Third International Conference on High Performance Scientific Computing, March 6-10, 2006, Hanoi, Viet...

Julkaistu 2008

Sisällysluettelo: “..., 2004: Indian Ocean Tsunami -- Approximate Dynamic Programming for Generation of Robustly Stable...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2007

Sisällysluettelo: “... Theory Beyond Pure Mathematical: Motivations, Directions, Progress So Far And How One Might Go From Here...”
Hae kokoteksti

Elektroninen E-kirja

11

Physics of Spin in Solids: Materials, Methods and Applications

Julkaistu 2005

Aiheet: “...Condensed Matter Physics. https://scigraph.springernature.com/ontologies/product-market-codes/P...”
Hae kokoteksti

Elektroninen E-kirja

12

The Kepler Conjecture The Hales-Ferguson Proof /

Julkaistu 2011

Sisällysluettelo: “... Graphs and Linear Programs, by T. C. Hales -- Part III, A Revision to the Proof of the Kepler Conjecture...”
Hae kokoteksti

Elektroninen E-kirja

13

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... -- The Mathematics of Boundaries: A Beginning -- Syntactic Variety in Boundary Logic -- Fixing Shin’s Reading...”
Hae kokoteksti

Elektroninen E-kirja

14

Design Patterns for e-Science

Tekijä Gardner, Henry., Gardner, Henry., Manduchi, Gabriele.
Julkaistu 2007

Aiheet: “...Computer mathematics....”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2015

Sisällysluettelo: “...: The research program of stochastic deformation (with a view toward geometric mechanics)....”
Hae kokoteksti

Elektroninen E-kirja

16

Evolvable Machines Theory & Practice /

Julkaistu 2005

Sisällysluettelo: “... of Khepera Robotic Controllers with Hierarchical Genetic Programming Techniques -- Evolving Controllers...”
Hae kokoteksti

Elektroninen E-kirja

17

Service Science, Management and Engineering Education for the 21st Century /

Julkaistu 2008

Sisällysluettelo: “... -- Progress Report of Efforts Towards a Research and Education Agenda for Services Science in the EU...”
Hae kokoteksti

Elektroninen E-kirja

18

Simulating Complex Systems by Cellular Automata

Julkaistu 2010

Sisällysluettelo: “... Software -- Parallel Cellular Programming for Emergent Computation....”
Hae kokoteksti

Elektroninen E-kirja

19

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /

Julkaistu 2008

Sisällysluettelo: “... for Client Progress in a Service-Oriented Calculus -- Session and Union Types for Object Oriented Programming...”
Hae kokoteksti

Elektroninen E-kirja

20

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Julkaistu 2005

Sisällysluettelo: “... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua