Listing 1 - 10 of 59 << page
of 6
>>
Sort by

Book
Je veux faire un livre tout de suite
Authors: ---
ISBN: 2905986034 Year: 1989 Publisher: Villeurbanne, [France] : Art Edition,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Scarce Natural Resources, Recycling, Innovation and Growth
Author:
ISBN: 3658120541 365812055X Year: 2016 Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Gabler,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This thesis uses neoclassical growth models to evaluate what effect the limited availability of nonrenewable resources has on the economy’s (world’s) growth potential. Markus Merz concludes that recycling may serve as a mid-term solution to continued growth, but technological progress is needed in the long-run. The theoretical analysis starts with the well-known Dasgupta-Heal model and considers the effect of recycling and technological progress on the resource constraints; resource-augmenting and backstop technology are analyzed. After a thorough analysis of the models it is concluded that the ultimate solution to long-term economic growth is a backstop technology. Contents • An Introduction to Economic Growth Theory • The Dasgupta-Heal Model • Recycling as a Source of Regeneration • Technological Progress Target Groups • Teachers and students of economics with a focus on economic growth theory and natural resource economics • Executives and consultants in the field of natural resource, energy politics and in energy companies About The Author Markus Merz is a research fellow at the Department of Banking, University of Tuebingen. His research interests are access to finance, finance and growth and microeconomics of banking.


Book
Les hauts-lieux cosmo-telluriques : leurs énergies subtiles méconnues
Author:
ISBN: 2825701041 Year: 1983 Publisher: Genève : Georg,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Erfahrene Unternehmensgründer
Author:
ISBN: 3834981591 Year: 2008 Publisher: Wiesbaden : Gabler Verlag : Imprint: Gabler Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Wie lässt sich der spätere Erfolg eines jungen Unternehmens zum Zeitpunkt seiner Gründung vorhersagen? Mit dieser schwierigen aber hochrelevanten Fragestellung sehen sich Investoren und Unternehmensgründer gleichermaßen konfrontiert, da sie den Gründungs- bzw. Investitionserfolg abschätzen müssen. Ein geeignetes Beurteilungskriterium, das zum Gründungszeitpunkt bereits bekannt ist, sind die Profile der Gründer selbst. Auf der Basis einer wissenschaftlich fundierten empirischen Untersuchung stellt Christin Merz die Erfahrung der Unternehmensgründer heraus, die sie zum Zeitpunkt der Gründung aufweisen und zeigt, welche Erfahrungsarten für den späteren Gründungserfolg entscheidend sind. Die Autorin verdeutlicht, welche Fähigkeiten die Gründer bereits mitbringen sollten und welche Kompetenzfelder dagegen auch in den ersten Jahren nach der Gründung noch erschlossen werden können. Die Erkenntnisse bieten Investoren und Gründern wertvolle Frühindikatoren für den Gründungserfolg als Grundlage für rationale Entscheidungen.

Temporal Logic and State Systems
Authors: ---
ISBN: 3540686355 3540674012 Year: 2008 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.


Book
Hit me with your color stick : a coloring book
Authors: ---
ISBN: 906917006X 9789069170060 Year: 2000 Publisher: Gent Merz


Book
Drug design : structure- and ligand-based approaches
Author:
ISBN: 9780521887236 0521887232 9780511730412 9781107475915 Year: 2010 Publisher: Cambridge: Cambridge university press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

"Structure-based (SBDD) and ligand-based (LBDD) drug design are extremely important and active areas of research in both the academic and commercial realms. This book provides a complete snapshot of the field of computer-aided drug design and associated experimental approaches. Topics covered include X-ray crystallography, NMR, fragment-based drug design, free energy methods, docking and scoring, linear-scaling quantum calculations, QSAR, pharmacophore methods, computational ADME-Tox, and drug discovery case studies. A variety of authors from academic and commercial institutions all over the world have contributed to this book, which is illustrated with more than 200 images. This is the only book to cover the subject of structure and ligand-based drug design, and it provides the most up-to-date information on a wide range of topics for the practicing computational chemist, medicinal chemist, or structural biologist"--Provided by publisher.


Book
Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Authors: ---
ISBN: 331911736X 3319117378 Year: 2014 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Keywords

Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Algorithms. --- Mathematical logic. --- Computer Science. --- Software Engineering. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Computer software. --- Software, Computer --- Computer systems --- Computer software engineering --- Engineering --- Informatics --- Science --- Formal methods (Computer science) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Distributed processing --- Foundations --- Programming

Listing 1 - 10 of 59 << page
of 6
>>
Sort by