| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996394281403316 |
|
|
Autore |
J. C (John Coles), <b. 1623 or 4.> |
|
|
Titolo |
Quercus regia in agro Staffordiensi, non, ut olim, Jovi, sed jam Jehovae [[electronic resource] ] : deo omnipotenti, deo misericordi, deo Caroli, totiúsq; Britanniae servatori, sacra |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Signed: J.C. [i.e. John Cole]. |
Imprint suggested by Wing. |
Verse: "Fugienti absaloni quercus exitium ..." |
Printed in two columns. |
Reproduction of original in the British Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910821101903321 |
|
|
Autore |
Suppes Galen J. |
|
|
Titolo |
Sustainable power technologies and infrastructure : energy sustainability and prosperity in a time of climate change / / Galen J. Suppes and Truman S. Storvick |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, [Netherlands] : , : Academic Press, , 2016 |
|
©2016 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
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 at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
1. Energy and Civilization -- 2. Sources of Energy -- 3. Energy and Sustainability -- 4. Energy Conversion and Storage -- 5. The New Electric Vehicle Society -- 6. Energy in Heating, Ventilation, and Air Conditioning -- 7. Electrical Grid Power and Strength Diversity -- 8. The Future in Nuclear Power -- 9. Options for Remote Locations -- 10. Strategies and Critical Paths to Sustainability. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents an overview of current renewable energy sources, challenges and future trends. Drawing from their longtime expertise and deep knowledge of the field, the authors present a critic and well-structured perspective on sustainable power sources and technologies, including solar, wind, hydrogen and nuclear, both in large and small scale. Using accessible language they provide rigorous technological reviews and analyze the main issues of practical usage. The book addresses current questions in this area, such as: "Is there enough biomass to make a difference in energy needs? Should biomass be used in Energy Generation?"; "How mature is battery technology? Will it finally become cost effective, and will it make a significant difference this next decade?"; "How big a role will small and modular nuclear power generation play in the coming decades?"; "What will be the influence of national tax policies?". No prior technical knowledge is assumed of the reader. It is, therefore, ideal for professionals and |
|
|
|
|
|
|
|
|
|
|
|
|
|
students in all areas of energy and power systems, as well as those involved in energy planning, management and policy. Presents a realistic and clear overview of the key sustainable energy technologies that will play important roles in the world’s energy mix and their impact on the current power infrastructure. Discusses key societal and economic topics related to the implementation of sustainable energy sources in a straightforward way. Covers a broad variety of sustainable and renewable energy sources, including hydrogen and bioenergy. It also explores key issues on small modular nuclear facilities, advances in battery technologies, grid integration, off-grid communities and the most recent topics in energy economics and policy. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910482960003321 |
|
|
Titolo |
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 381 p. 75 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 10501 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Machine theory |
Computer programming |
Software engineering |
Compilers (Computer programs) |
Computer science |
Artificial Intelligence |
Formal Languages and Automata Theory |
Programming Techniques |
Software Engineering |
Compilers and Interpreters |
Computer Science Logic and Foundations of Programming |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
|
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Sequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization and complexity. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers. |
|
|
|
|
|
|
|
| |