| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910156311403321 |
|
|
Autore |
Lachnit Eva |
|
|
Titolo |
Alternative enforcement of competition law / / Eva Lachnit |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Hague, Netherlands : , : Eleven International Publishing, , 2016 |
|
©2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (467 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Competition, Unfair |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9911004828203321 |
|
|
Autore |
Delatte Norbert J |
|
|
Titolo |
Beyond failure : forensic case studies for civil engineers / / Norbert J. Delatte, Jr |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Reston, VA, : ASCE Press, c2009 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (424 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Forensic engineering |
System failures (Engineering) |
Civil engineering |
Structural failures - Investigation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. [391]-402) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Why Case Studies?; Statics and Dynamics; Mechanics of Materials; Structural Analysis; Reinforced Concrete Structures; Steel Structures; Soil Mechanics, Geotechnical Engineering, and Foundations; Fluid Mechanics and Hydraulics; Construction Materials; Management, Ethics, and Professional Issues; Notes to the Professor; The ASCE Code of Ethics; Some Cases on Video and DVD; References; Index; Back Matter |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Engineering failures get a lot of attention—inciting morbid curiosity and fueling concern over the condition of our infrastructure. But every engineering loss is the start of a forensic investigation into how, why, and what can be done to prevent future failures. As with scientific failures, engineering failures can be very instructive in teaching us what does not work. Beyond Failure presents the circumstances of important failures that have had far-reaching impacts on civil engineering practice. Each case study narrates the known facts: design and construction, the failure, subsequent investigation or analysis, and, where appropriate, additional issues such as technical concerns, ethical considerations, professional practice issues, and long-term effects. The case studies are organized around eight common topics of undergraduate engineering courses and include teaching points and a reading list, so this book is useful to engineering faculty and students. |
|
|
|
|
|
|
|
|
|
|
|
|
|
With more than 40 full cases, including the Silver Bridge collapse in Point Pleasant, WV; the levee breaches in New Orleans, LA; and the Challenger space shuttle explosion, this book will also appeal to practicing engineers with an interest in forensic investigations or the analysis of historic failures. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910510604903321 |
|
|
Titolo |
Verification, Model Checking, and Abstract Interpretation : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings / / edited by Ranjit Jhala, David Schmidt |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2011.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 419 p. 90 illus., 11 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 6538 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
Compilers (Computer programs) |
Algorithms |
Machine theory |
Computer programming |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Compilers and Interpreters |
Formal Languages and Automata Theory |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 12th |
|
|
|
|
|
|
|
|
|
|
International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 71 initial submissions. The papers showcases state-of-the-art research in areas such as verification, model checking, abstract interpretation and address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Further topics covered are static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization. |
|
|
|
|
|
| |