| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990004648630403321 |
|
|
Titolo |
Cultura hispánica y revolución francesa / edición al cuidado de Loreto Busquets |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Letterature e Culture Iberiche e dell'America Latina / Consiglio Nazionale delle Ricerche , Saggi e Ricerche |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910794631103321 |
|
|
Autore |
Wilson David Gordon <1928-, > |
|
|
Titolo |
The design of high-efficiency turbomachinery and gas turbines / / David Gordon Wilson and Theodosios Korakianitis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge, Massachusetts : , : MIT Press, , [2014] |
|
[Piscataqay, New Jersey] : , : IEEE Xplore, , [2014] |
|
|
|
|
|
|
|
|
|
Edizione |
[Second edition, with a new preface.] |
|
|
|
|
|
Descrizione fisica |
|
1 PDF (xxix, 593 pages) : illustrations |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Gas-turbines - Design and construction |
Turbomachines - Design and construction |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This comprehensive textbook is unique in its design-focused approach to turbomachinery and gas turbines. It offers students and practicing engineers methods for configuring these machines to perform with the highest possible efficiency. Examples and problems are based on the actual design of turbomachinery and turbines. After an introductory chapter that outlines the goals of the book and provides definitions of terms and parts, the book offers a brief review of the basic principles of thermodynamics and efficiency definitions. The rest of the book is devoted to the analysis and design of real turbomachinery configurations and gas turbines, based on a consistent application of thermodynamic theory and a more empirical treatment of fluid dynamics that relies on the extensive use of design charts. Topics include turbine power cycles, diffusion and diffusers, the analysis and design of three-dimensional free-stream flow, and combustion systems and combustion calculations. The second edition updates every chapter, adding material on subjects that include flow correlations, energy transfer in turbomachines, and three-dimensional design. A solutions manual is available for instructors. This new MIT Press edition makes a popular text available again, with corrections and some updates, to a wide audience of students, professors, and |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910349411603321 |
|
|
Titolo |
Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings / / edited by Andreas Podelski |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 445 p. 102 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering, , 2945-9168 ; ; 11002 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Software engineering |
Compilers (Computer programs) |
Computer programming |
Electronic digital computers - Evaluation |
Computers |
Professions |
Computer Science Logic and Foundations of Programming |
Software Engineering |
Compilers and Interpreters |
Programming Techniques |
System Performance and Evaluation |
The Computing Profession |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Static Analysis -- Program Verification.-Bug Detection -- Compiler Organization -- Program Understanding -- Software Maintenance. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, |
|
|
|
|
|
|
|
|
|
|
Germany, in August 2018. The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance. |
|
|
|
|
|
| |