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.
Behavior of Metallic and Composite Structures (Second Volume)
| Behavior of Metallic and Composite Structures (Second Volume) |
| Autore | Sadowski Tomasz |
| Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 |
| Descrizione fisica | 1 electronic resource (325 p.) |
| Soggetto topico | Technology: general issues |
| Soggetto non controllato |
steel–concrete composite bridge
I-shaped beam concrete creep temperature prediction experiment through-beam joint concrete filled steel tube (CFST) columns reinforced concrete (RC) axial compressive behaviour steel mesh local compression confined concrete height factor curved steel–concrete composite box beam two-node finite beam element with 26 DOFs long-term behavior age-adjusted effective modulus method C-section TH-section distortional mode medium length interactive buckling compression Koiter’s theory FEM dynamic pulse buckling composite stanchion FE analysis nonlinear analysis crashworthiness modulus of elasticity pine wood wood defects knots laboratory tests beams glued laminated timber ceramic-matrix composites (CMCs) minicomposite tensile damage fracture timber natural composite Kolsky method deformation diagrams wood species energy absorption wood model verification nonlinear stability square plate shear forces components of transverse forces in bending membrane components of transverse forces 4 methods (CPT, FSDT, S-FSDT, FEM) connection test bolt steel plate moisture content failure AlCrN arc current structure hardness adhesion wear turbine jet engine material tests ember-resistant alloys wood cohesive law digital image correlation fracture mechanics mixed mode I+II loading dual adhesive single lap joints numerical modeling artificial neural networks sandwich panels with corrugated channel core 3D-printed sandwich bending response mechanism maps geometrical optimization dislocation–boundary interaction dislocation–interface interaction deformation twin-boundary interaction size effect boundary structure boundary strengthening characterization techniques adhesive joint adhesive bond strength adhesive layer thickness |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Behavior of Metallic and Composite Structures |
| Record Nr. | UNINA-9910557392303321 |
Sadowski Tomasz
|
||
| Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel
| Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel |
| Autore | Shoham Sharon |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (563 pages) : illustrations (black and white) |
| Disciplina | 005.14 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer software - Verification |
| Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems distributed computer systems distributed systems embedded systems formal logic mathematics model checking programming languages software architecture software design software engineering software quality theoretical computer science verification verification and validation |
| ISBN | 3-031-13185-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996485664203316 |
|
Shoham Sharon
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel
| Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings . Part I. / / editors, Sharon Shoham, Yakir Vizel |
| Autore | Shoham Sharon |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (563 pages) : illustrations (black and white) |
| Disciplina | 005.14 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computer software - Verification |
| Soggetto non controllato |
architecting
architecture verification and validation artificial intelligence computer programming computer science computer systems distributed computer systems distributed systems embedded systems formal logic mathematics model checking programming languages software architecture software design software engineering software quality theoretical computer science verification verification and validation |
| ISBN | 3-031-13185-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910586580203321 |
|
Shoham Sharon
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
District Heating and Cooling Networks
| District Heating and Cooling Networks |
| Autore | Borge Diez David |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
| Descrizione fisica | 1 electronic resource (270 p.) |
| Soggetto non controllato |
district heating
4th generation district heating data mining algorithms energy system modeling neural networks baseline model hydronic pavement system biomass district heating for rural locations CO2 emissions abatement low temperature networks ultralow-temperature district heating domestic optimization energy efficiency sustainable energy big data frameworks verification energy prediction parameter analysis greenhouse gas emissions time delay heat pumps primary energy use retrofit energy consumption forecast district heating (DH) network low-temperature district heating thermal inertia variable-temperature district heating data streams analysis Computational Fluid Dynamics energy management in renovated building Scotland heat reuse thermally activated cooling district cooling space cooling Gulf Cooperation Council biomass TRNSYS hot climate optimal control air-conditioning machine learning low temperature district heating system data center twin-pipe residential prediction algorithm CFD model nZEB thermal-hydraulic performance |
| ISBN | 3-03928-840-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910404083603321 |
|
Borge Diez David
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Environmental Analysis of Organic Pollutants
| Environmental Analysis of Organic Pollutants |
| Autore | Liu Wenbin |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 electronic resource (312 p.) |
| Soggetto topico |
Technology: general issues
Chemical engineering |
| Soggetto non controllato |
regulated e-waste recycling
polybrominated diphenyl ethers (PBDEs) heavy metals environmental media vegetable risks cardiovascular diseases (CVDs) heart failure polycyclic aromatic hydrocarbons (PAHs) trace elements serum polyhaloaromatic compounds chemiluminescence analytical method Fenton system hydroxyl radicals bisphenol analogues zebrafish joint toxicity gene expression online monitoring diagnosis PCDD/F incineration feedback control volatile organic compounds (VOCs) reference materials (RMs) quality control (QC) water analysis resin adsorption pore size distribution chemical modification water treatment PCNs spatial distribution congener environmental risk sediment VOCs distribution risk assessment chemical industrial park phthalate dietary intake DEHP DBP DIBP bottled drink PFASs QSAR–ICE–SSD electroplating industry ecological risk assessment PAHs historical trends shallow lake economic parameters sources sediment core gas chromatography-mass spectrometry HBCD EPS XPS POPs tetrabromobisphenol A Xenopus laevis brain development thyroid hormone biphasic concentration-response composting turning frequency ammonia oxidizing bacterial ammonia oxidizing archaeal N fractions ammonia emission screening assay thibz gene multiwell plate biomass combustion CHP plant renewable energies emission organic pollutants bisphenol analogs oxidative stress dechlorane plus maternal blood sequential samples variation correlation bisphenol A emissions polypropylene bottom sediments environmental monitoring Odra River estuary organotin compounds trueness verification |
| ISBN | 3-0365-5316-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910619466403321 |
|
Liu Wenbin
|
||
| MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Finite Difference Computing with PDEs [[electronic resource] ] : A Modern Software Approach / / by Hans Petter Langtangen, Svein Linge
| Finite Difference Computing with PDEs [[electronic resource] ] : A Modern Software Approach / / by Hans Petter Langtangen, Svein Linge |
| Autore | Langtangen Hans Petter |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Springer Nature, 2017 |
| Descrizione fisica | 1 online resource (XXIII, 507 p. 150 illus.) |
| Disciplina | 004 |
| Collana | Texts in Computational Science and Engineering |
| Soggetto topico |
Computer mathematics
Computer science—Mathematics Numerical analysis Computational Science and Engineering Mathematical Applications in Computer Science Numeric Computing |
| Soggetto non controllato |
python
numerical methods finite difference methods programming verification differential equations |
| ISBN | 3-319-55456-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Vibration ODEs -- Wave Equations -- Diffusion equations -- Advection-dominated equations -- Nonlinear problems -- Useful formulas -- Truncation error analysis -- Software engineering: wave equation model -- References -- Index. . |
| Record Nr. | UNINA-9910231237503321 |
|
Langtangen Hans Petter
|
||
| Springer Nature, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters
| Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters |
| Autore | Ralf Küsters |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Springer Nature, 2018 |
| Descrizione fisica | 1 online resource (XIV, 347 p. 85 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Computers Data structures (Computer science) Computer system failures Systems and Data Security Theory of Computation Computing Milieux Data Structures and Information Theory System Performance and Evaluation |
| Soggetto non controllato |
security analysis
cryptography privacy world wide web semantics programming languages formal specification program compilers specifications formal logic computer science separation logic formal methods data privacy security systems software engineering computer software selection and evaluation internet verification authentication |
| ISBN | 3-319-89722-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. |
| Record Nr. | UNINA-9910293140103321 |
|
Ralf Küsters
|
||
| Springer Nature, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters
| Principles of Security and Trust [[electronic resource] ] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / / edited by Lujo Bauer, Ralf Küsters |
| Autore | Ralf Küsters |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Springer Nature, 2018 |
| Descrizione fisica | 1 online resource (XIV, 347 p. 85 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Computers Data structures (Computer science) Computer system failures Systems and Data Security Theory of Computation Computing Milieux Data Structures and Information Theory System Performance and Evaluation |
| Soggetto non controllato |
security analysis
cryptography privacy world wide web semantics programming languages formal specification program compilers specifications formal logic computer science separation logic formal methods data privacy security systems software engineering computer software selection and evaluation internet verification authentication |
| ISBN | 3-319-89722-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels. |
| Record Nr. | UNISA-996465583103316 |
|
Ralf Küsters
|
||
| Springer Nature, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey
| Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey |
| Autore | Sergey Ilya |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xiv, 604 pages) : illustrations |
| Altri autori (Persone) | SergeyIlya |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| Soggetto non controllato |
automata theory
computer programming computer systems databases distributed computer systems distributed systems embedded systems formal languages formal logic linguistics ontologies parallel processing systems program compilers programming languages semantics software design software engineering software quality verification |
| ISBN | 3-030-99336-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910555236003321 |
|
Sergey Ilya
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey
| Programming languages and systems : 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / / editor, Ilya Sergey |
| Autore | Sergey Ilya |
| Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
| Descrizione fisica | 1 online resource (xiv, 604 pages) : illustrations |
| Altri autori (Persone) | SergeyIlya |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) |
| Soggetto non controllato |
automata theory
computer programming computer systems databases distributed computer systems distributed systems embedded systems formal languages formal logic linguistics ontologies parallel processing systems program compilers programming languages semantics software design software engineering software quality verification |
| ISBN | 3-030-99336-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464540903316 |
|
Sergey Ilya
|
||
| Cham, : Springer International Publishing AG, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
