Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Matematica e cultura in Europa / a cura di Mirella Manaresi
| Matematica e cultura in Europa / a cura di Mirella Manaresi |
| Pubbl/distr/stampa | Milano, : Springer, 2005 |
| Descrizione fisica | XII, 409 p. ; 24 cm |
| Soggetto topico |
97-XX - Mathematics education [MSC 2020]
00-XX - General and overarching topics; collections [MSC 2020] |
| Soggetto non controllato |
Applicazioni
Arte Cinema Immagini Mathematics Proof SAS Teatro Theorem |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0100222 |
| Milano, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Recent Advances in Small-Angle Neutron Scattering
| Recent Advances in Small-Angle Neutron Scattering |
| Autore | Jaksch Sebastian |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 electronic resource (186 p.) |
| Soggetto topico |
Research & information: general
Mathematics & science |
| Soggetto non controllato |
SANS
neutron scattering instrument control data acquisition user facility GUI simulation GISANS BornAgain Software grazing incidence scattering small-angle neutron scattering SKADI ESS European Spallation Source sample environment 3D printed humidity chamber thin films dynamic light scattering small angle neutron scattering instrumentation microgels ultra-small-angle neutron scattering magnetoactive elastomer magnetorheological elastomer hysteresis restructuring of the filler foams colloidal superballs colloidal monolayers SAXS scattering form factor FTIR DLS semi-crystalline polymers proteins in buffer solution soft matter time-resolved sample environments small angle X-ray scattering SAS nanomaterials |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585936103321 |
Jaksch Sebastian
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Static Analysis [[electronic resource] ] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / / edited by Roberto Giacobazzi
| Static Analysis [[electronic resource] ] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / / edited by Roberto Giacobazzi |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques |
| Soggetto non controllato |
Static analysis
SAS |
| ISBN | 3-540-27864-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Injecting Life with Computers -- The Blast Query Language for Software Verification -- Program Generators and the Tools to Make Them -- Towards Declarative Programming for Web Services -- Program and System Verification -- Closed and Logical Relations for Over- and Under-Approximation of Powersets -- Completeness Refinement in Abstract Symbolic Trajectory Evaluation -- Constraint-Based Linear-Relations Analysis -- Spatial Analysis of BioAmbients -- Security and Safety -- Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language -- Information Flow Analysis in Logical Form -- Type Inference Against Races -- Pointer Analysis -- Pointer-Range Analysis -- A Scalable Nonuniform Pointer Analysis for Embedded Programs -- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis -- Abstract Interpretation and Algorithms -- Abstract Interpretation of Combinational Asynchronous Circuits -- Static Analysis of Gated Data Dependence Graphs -- A Polynomial-Time Algorithm for Global Value Numbering -- Shape Analysis -- Quantitative Shape Analysis -- A Relational Approach to Interprocedural Shape Analysis -- Partially Disjunctive Heap Abstraction -- Abstract Domain and Data Structures -- An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants -- Approximating the Algebraic Relational Semantics of Imperative Programs -- The Octahedron Abstract Domain -- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions -- Shape Analysis and Logic -- On Logics of Aliasing -- Generalized Records and Spatial Conjunction in Role Logic -- Termination Analysis -- Non-termination Inference for Constraint Logic Programs. |
| Record Nr. | UNISA-996465405203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Static Analysis [[electronic resource] ] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / / edited by Roberto Giacobazzi
| Static Analysis [[electronic resource] ] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings / / edited by Roberto Giacobazzi |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 396 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages Programming Techniques |
| Soggetto non controllato |
Static analysis
SAS |
| ISBN | 3-540-27864-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Injecting Life with Computers -- The Blast Query Language for Software Verification -- Program Generators and the Tools to Make Them -- Towards Declarative Programming for Web Services -- Program and System Verification -- Closed and Logical Relations for Over- and Under-Approximation of Powersets -- Completeness Refinement in Abstract Symbolic Trajectory Evaluation -- Constraint-Based Linear-Relations Analysis -- Spatial Analysis of BioAmbients -- Security and Safety -- Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language -- Information Flow Analysis in Logical Form -- Type Inference Against Races -- Pointer Analysis -- Pointer-Range Analysis -- A Scalable Nonuniform Pointer Analysis for Embedded Programs -- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis -- Abstract Interpretation and Algorithms -- Abstract Interpretation of Combinational Asynchronous Circuits -- Static Analysis of Gated Data Dependence Graphs -- A Polynomial-Time Algorithm for Global Value Numbering -- Shape Analysis -- Quantitative Shape Analysis -- A Relational Approach to Interprocedural Shape Analysis -- Partially Disjunctive Heap Abstraction -- Abstract Domain and Data Structures -- An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants -- Approximating the Algebraic Relational Semantics of Imperative Programs -- The Octahedron Abstract Domain -- Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions -- Shape Analysis and Logic -- On Logics of Aliasing -- Generalized Records and Spatial Conjunction in Role Logic -- Termination Analysis -- Non-termination Inference for Constraint Logic Programs. |
| Record Nr. | UNINA-9910144163503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||