| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910519408003321 |
|
|
Autore |
Ahmed, Selena |
|
|
Titolo |
La botanica al bar : l'arte e la scienza di preparare i bitter : portare nelle nostre bevande i sapori e le storie delle piante di tutto il mondo con bitter originali basati sulla scienza / Selena Ahmed ... [et al.] ; ricette dei cocktail: Christian Schaal ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano, : Guido Tommasi Editore, 2019 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910814660403321 |
|
|
Titolo |
Food system sustainability : insights from duALIne / / edited by Catherine Esnouf, INRA, France, Marie Russel, INRA, France, Nicolas Bricas, CIRAD, France [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge : , : Cambridge University Press, , 2013 |
|
|
|
|
|
|
|
ISBN |
|
1-107-06586-0 |
1-316-09042-6 |
1-62870-280-X |
1-107-05731-0 |
1-107-05509-1 |
1-107-05849-X |
1-107-05975-5 |
1-107-05619-5 |
1-139-56768-3 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xi, 303 pages) : digital, PDF file(s) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Food industry and trade |
Sustainable development |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from publisher's bibliographic system (viewed on 05 Oct 2015). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction. -- 1. Context : new challenges for food systems. -- 2. Consumption and consumers. -- 3. Carbon footprint and nutritional quality of diets in France. -- 4. Food systems. -- 5. Industrial organisation and sustainability. -- 6. Urbanisation and the sustainability of food system. -- 7. Losses and wastage. -- 8. International trade, price volatility and standards for sustainability. -- 9. Elements for a foresight debate on food sustainability. -- 10. A critical panorama of methods used to assess food sustainability. -- Conclusion. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
As western-style food systems extend further around the world, food sustainability is becoming an increasingly important issue. Such systems are not sustainable in terms of their consumption of resources, |
|
|
|
|
|
|
|
|
|
|
|
|
|
their impact on ecosystems or their effect on health and social inequality. From 2009 to 2011, the duALIne project, led by INRA and CIRAD, assembled a team of experts to investigate food systems downstream of the farm, from the farm gate, to consumption and the disposal of waste. Representing a diverse range of backgrounds spanning academia and the public and private sectors, the project aimed to review the international literature and identify major gaps in our knowledge. This book brings together its key conclusions and insights, presenting state-of-the-art research in food sustainability and identifying priority areas for further study. It will provide a valuable resource for researchers, decision-makers and stakeholders in the food industry. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910144918103321 |
|
|
Autore |
Müller-Olm Markus |
|
|
Titolo |
Modular Compiler Verification : A Refinement-Algebraic Approach Advocating Stepwise Abstraction / / by Markus Müller-Olm |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1997.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVI, 260 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 1283 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Programming languages (Electronic computers) |
Computer architecture |
Software engineering |
Computer logic |
Computers, Special purpose |
Programming Languages, Compilers, Interpreters |
Computer System Implementation |
Software Engineering |
Logics and Meanings of Programs |
Special Purpose and Application-Based Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Complete Boolean lattices -- Galois connections -- States, valuation functions and predicates -- The algebra of commands -- Communication and time -- Data refinement -- Transputer base model -- A small hard real-time programming language -- A hierarchy of views -- Compiling-correctness relations -- Translation theorems -- A functional implementation -- Conclusion. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general. |
|
|
|
|
|
|
|
| |