25 Years of Non-Equilibrium Statistical Mechanics [[electronic resource] ] : Proceedings of the XIII Sitges Conference, Held in Sitges, Barcelona, Spain, 13–17 June 1994 / / edited by J.J. Brey, J. Marro, J.M. Rubi, M. SanMiguel |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XVIII, 389 p.) |
Disciplina | 530.1/3 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Physics
Thermodynamics Statistical physics Dynamical systems Condensed matter Atoms Mathematical Methods in Physics Numerical and Computational Physics, Simulation Complex Systems Condensed Matter Physics Atomic, Molecular, Optical and Plasma Physics |
ISBN | 3-540-49203-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Microscopic reversibility and macroscopic behavior: Physical explanatoins and mathematical derivations -- Twenty-five years of non-equilibrium statistical mechanics: Towards a better understanding of dense fluids -- Models for dissipation in quantum mechanics -- Brownian motion theory: Properties of nonlinear Langevin equations -- Non-equilibrium, phase transition, and related problem -- Simulation of the consistent Boltzmann equation for hard spheres and its extension to higher densities -- Over two decades of pattern formation, a personal perspective -- Fluctuations in the steady state -- Slow non-equilibrium dynamics -- Theory of glass transition in spin glasses, orientational glasses and structural glasses -- Evolution of order parameters in disordered spin systems — a closure procedure -- Elastic instabilities in crystal growth -- Vapor phase nucleation: Molecular mechanisms for embryo development -- Chaos in Lorentz lattice gases -- Dynamics of reptation -- Non-equilibrium fluctuations in simple fluids -- Long time tails in stress correlation functions -- New advances in Laplacian growth models -- Slow dynamics and linear relaxation -- Driven tunneling: New possibilities for coherent and incoherent quantum transport -- From the Random Sequential Adsorption to the ballistic model -- High frequency viscosity of a dilute polydisperse emulsion -- Mesoscopic theory of liquid crystals -- On the microscopic theory of phase coexistence -- A nonequilibrium phase transition induced by multiplicative noise -- Electric field domains in superlattices: Dynamics -- Molecular dynamics simulation of phase separation and domain growth -- Finite-size effects in the Kardar-Parisi-Zhang equation -- Competing scaling behaviours in the late stage of growth kinetics -- Stretched-exponential relaxation of transient electric birefringence in polymer-like reverse micelles. |
Record Nr. | UNISA-996466687103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Mathematical logic Computer logic Computer programming Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Mathematics of Computing Theory of Computation |
ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
Record Nr. | UNISA-996465635203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Mathematical logic Computer logic Computer programming Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Mathematics of Computing Theory of Computation |
ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
Record Nr. | UNINA-9910483881603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The 2nd International Symposium on Rail Transit Comprehensive Development (ISRTCD) Proceedings [[electronic resource] /] / edited by Haishan Xia, Yunan Zhang |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (402 p.) |
Disciplina |
330
338.9 385 |
Soggetto topico |
Development economics
Development Economics |
ISBN | 3-642-37589-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Theory of Comprehensive Development -- Experience and Practice -- Others. |
Record Nr. | UNINA-9910298528403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
3+1 Formalism in General Relativity [[electronic resource] ] : Bases of Numerical Relativity / / by Éric Gourgoulhon |
Autore | Gourgoulhon Éric |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XVII, 294 p. 29 illus.) |
Disciplina | 530.11 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Physics
Gravitation Astronomy Astrophysics Computer mathematics Numerical and Computational Physics, Simulation Classical and Quantum Gravitation, Relativity Theory Astronomy, Astrophysics and Cosmology Computational Mathematics and Numerical Analysis |
ISBN | 3-642-24525-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Basic Differential Geometry -- Geometry of Hypersurfaces -- Geometry of Foliations -- 3+1 decomposition of Einstein Equation -- 3+1 Equations for Matter and Electromagnetic Field -- Conformal Decompositon -- Asymptotic Flatness and Global Quantities -- The Initial Data Problem -- Choice of Foliation and Spatial Coordiinates -- Evolution Schemes -- Conformal Killing Operator and Conformal Vector Laplacian -- Sage Codes. |
Record Nr. | UNINA-9910133753003321 |
Gourgoulhon Éric | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
3+1 Formalism in General Relativity [[electronic resource] ] : Bases of Numerical Relativity / / by Éric Gourgoulhon |
Autore | Gourgoulhon Éric |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XVII, 294 p. 29 illus.) |
Disciplina | 530.11 |
Collana | Lecture Notes in Physics |
Soggetto topico |
Physics
Gravitation Astronomy Astrophysics Computer mathematics Numerical and Computational Physics, Simulation Classical and Quantum Gravitation, Relativity Theory Astronomy, Astrophysics and Cosmology Computational Mathematics and Numerical Analysis |
ISBN | 3-642-24525-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Basic Differential Geometry -- Geometry of Hypersurfaces -- Geometry of Foliations -- 3+1 decomposition of Einstein Equation -- 3+1 Equations for Matter and Electromagnetic Field -- Conformal Decompositon -- Asymptotic Flatness and Global Quantities -- The Initial Data Problem -- Choice of Foliation and Spatial Coordiinates -- Evolution Schemes -- Conformal Killing Operator and Conformal Vector Laplacian -- Sage Codes. |
Record Nr. | UNISA-996466688103316 |
Gourgoulhon Éric | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
3000 Jahre Analysis [[electronic resource] ] : Geschichte - Kulturen - Menschen / / von Thomas Sonar |
Autore | Sonar Thomas |
Edizione | [2nd ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2016 |
Descrizione fisica | 1 online resource (XXIV, 712 S. 383 Abb., 259 Abb. in Farbe.) |
Disciplina | 510.9 |
Collana | Vom Zählstein zum Computer |
Soggetto topico |
Mathematics
History Mathematical analysis Analysis (Mathematics) History of Mathematical Sciences Analysis |
ISBN | 3-662-48918-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Prolog: 3000 Jahre Analysis -- Das Kontinuum in der griechisch-hellenistischen Antike -- Wie Wissen wandert - Vom Orient zum Okzident -- Kontinuum und Atomistik in der Scholastik -- Indivisible und Infinitesimale in der Renaissance -- An der Wende vom 16. zum 17. Jahrhundert -- Newton und Leibniz - Giganten und Widersacher -- Absolutismus, Aufklärung, Aufbruch zu neuen Ufern -- Auf dem Weg zu begrifflicher Strenge im 19. Jahrhundert -- An der Wende zum 20. Jahrhundert: Mengenlehre und die Suche nach dem wahren Kontinuum -- Ein Kreis schließt sich: Infinitesimale in der Nichtstandardanalysis -- Analysis auf Schritt und Tritt -- Literatur -- Abbildungsverzeichnis -- Personenregister -- Sachwortregister. |
Record Nr. | UNINA-9910150449703321 |
Sonar Thomas | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Spektrum, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
360° Around Shoulder Instability [[electronic resource] /] / edited by Roman Brzóska, Giuseppe Milano, Pietro S. Randelli, Ladislav Kovačič |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (355 pages) |
Disciplina | 617.572059 |
Soggetto topico |
Orthopedics
Traumatology Sports medicine Physical therapy Surgical Orthopedics Conservative Orthopedics Traumatic Surgery Sports Medicine Physiotherapy Espatlla Articulació escapulohumeral Traumatologia Fisioteràpia Medicina esportiva Ortopèdia |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-662-61074-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Anterior Should Instability -- Posterior Shoulder Instability -- Multidirectional Instability: Anatomy and Ethiology -- Future Perspectives in the Instability Treatment. |
Record Nr. | UNINA-9910407726603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
3D ohne 3D-Brille [[electronic resource] ] : Handbuch der Autostereoskopie / / von Armin Grasnick |
Autore | Grasnick Armin |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2016 |
Descrizione fisica | 1 online resource (X, 205 S. 155 Abb., 84 Abb. in Farbe.) |
Disciplina | 006.696 |
Collana | X.media.press |
Soggetto topico |
Optical data processing
Computer graphics Application software Multimedia systems Microwaves Optical engineering Image Processing and Computer Vision Computer Graphics Computer Applications Media Design Microwaves, RF and Optical Engineering |
ISBN | 3-642-30510-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | Einführung in die 3D-Darstellung -- 3D-Display-Technologien -- Grundlagen der Autostereoskopie -- 3D-Bild und Videoformate -- Erstellung und Präsentation von 3D-Inhalten. |
Record Nr. | UNINA-9910483936503321 |
Grasnick Armin | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
3D Research Challenges in Cultural Heritage [[electronic resource] ] : A Roadmap in Digital Heritage Preservation / / edited by Marinos Ioannides, Ewald Quak |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 143 p. 61 illus.) |
Disciplina | 930.1028 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Multimedia information systems
Information storage and retrieval Computer communication systems Application software Optical data processing Computer graphics Multimedia Information Systems Information Storage and Retrieval Computer Communication Networks Information Systems Applications (incl. Internet) Image Processing and Computer Vision Computer Graphics |
ISBN | 3-662-44630-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Intersection of digital heritage -- Engineering -- Computer science -- Mathematics -- Material science -- Architecture -- Civil engineering and archaeology. |
Record Nr. | UNINA-9910484772903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|