| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000020277 |
|
|
Autore |
Stella, Maria Carmela |
|
|
Titolo |
I suonatori di tradizione orale e le relative forme di scrittura. Il caso di Leonardo Antonio Lanza [Tesi di dottorato] / dottoranda: Maria Carmela Stella ; tutor: Ferdinando Mirizzi ; coordinatore del dottorato: Rita Enrica Librandi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
1 v. (varie sequenze) : ill. ; 30 cm. |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465589903316 |
|
|
Titolo |
Practical aspects of declarative languages : 10th international symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, proceedings / / Paul Hudak, David S. Warren (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg : , : Springer, , [2008] |
|
©2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 342 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science ; ; 4902 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) - Semantics |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
Nota di contenuto |
|
Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml -- Automatic Coding Rule |
|
|
|
|
|
|
|
|
|
|
|
|
|
Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint Solvers with BDDs -- Flexible, Rule-Based Constraint Model Linearisation -- The Role of Abduction in Declarative Authorization Policies -- Unification of Arrays in Spreadsheets with Logic Programming -- Specialising Simulator Generators for High-Performance Monte-Carlo Methods -- A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers -- Matchete: Paths through the Pattern Matching Jungle -- Parser Combinators for Ambiguous Left-Recursive Grammars -- DCGs + Memoing = Packrat Parsing but Is It Worth It? -- An Improved Continuation Call-Based Implementation of Tabling -- Scheduling Light-Weight Parallelism in ArTCoP -- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism -- Hierarchical Master-Worker Skeletons -- High-Level Multi-threading Programming in Logtalk -- Switched-On Yampa -- Model-Based Testing of Thin-Client Web Applications and Navigation Input -- High-Level Database Programming in Curry. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910779550303321 |
|
|
Autore |
Braasch Gary |
|
|
Titolo |
Earth under fire [[electronic resource] ] : how global warming is changing the world / / Gary Braasch ; with an afterword by Bill McKibben |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berkeley, : University of California Press, c2009 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[Updated ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (299 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Climatic changes |
Global warming |
|
|
|
|
|
|
|
|
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 and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Frontmatter -- CONTENTS -- PREFACE TO THE 2009 EDITION -- INTRODUCTION -- CERTAINTY AND UNCERTAINTY IN CLIMATE CHANGE |
|
|
|
|
|
|
|
|
|
|
|
-- DIMENSIONS OF CLIMATE CHANGE IN THE MOUNTAINS OF PERU -- AN EVER-WARMING ARCTIC? -- DETECTING IMPACTS OF CLIMATE CHANGE -- CHALLENGES TO BIODIVERSITY IN A CHANGING CLIMATE -- CLIMATE CHANGE AND WATER -- DISEASE RISKS FROM CLIMATE CHANGE -- CHANGING CLIMATE, CHANGING OCEAN -- Epilogue. Mission: Possible -- AFTERWORD -- ACKNOWLEDGMENTS -- CONTRIBUTORS -- NOTES -- REFERENCES -- ILLUSTRATION CREDITS -- INDEX |
|
|
|
|
|
|
Sommario/riassunto |
|
More than a warning, Earth under Fire is the most complete illustrated guide to the effects of climate change now available. It offers an upbeat and intelligent account of how we can lessen the effects of our near-total dependence on fossil fuels using technologies and energy sources already available. A thorough revision and a new preface for the paperback edition bring the compelling facts about climate change up to date. |
|
|
|
|
|
|
|
| |