<--- Back to Details
First PageDocument Content
Systems science / Nature / Cybernetics / Complex systems theory / Holism / Transformity / Emergy / Exergy / Corrado Giannantoni / Science / Systems theory / Systems
Date: 2006-08-18 11:31:05
Systems science
Nature
Cybernetics
Complex systems theory
Holism
Transformity
Emergy
Exergy
Corrado Giannantoni
Science
Systems theory
Systems

In Ortega, E. & Ulgiati, S. (editors): Proceedings of IV Biennial International Workshop “Advances in Energy Studies”. Unicamp, Campinas, SP, Brazil. June 16-19, 2004. Pages[removed]

Add to Reading List

Source URL: www.unicamp.br

Download Document from Source Website

File Size: 137,44 KB

Share Document on Facebook

Similar Documents

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

DocID: 1xVRU - View Document

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2  Department of Computer Science, The University of Texas at Austin

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

DocID: 1xVI3 - View Document

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

DocID: 1xVqL - View Document

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

DocID: 1xVk1 - View Document

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document