Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Economic theory. --- Economic policy. --- Economics. --- Economic Theory/Quantitative Economics/Mathematical Methods. --- R & D/Technology Policy. --- Economic Policy. --- Recycling (Waste, etc.) --- Economic development --- Nonrenewable natural resources. --- Environmental aspects. --- Non-renewable natural resources --- Exhaustible resources --- Natural resources, Nonrenewable --- Nonrenewable natural resources --- Eco-development --- Ecodevelopment --- Conversion of waste products --- Recovery of natural resources --- Recovery of waste materials --- Resource recovery --- Waste recycling --- Waste reuse --- Economic aspects --- Economic nationalism --- Economic planning --- National planning --- State planning --- Economics --- Planning --- National security --- Social policy --- Economic theory --- Political economy --- Social sciences --- Economic man

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Logic, Symbolic and mathematical. --- Tense (Logic) --- Time. --- Hours (Time) --- Geodetic astronomy --- Nautical astronomy --- Horology --- Logic, Tense --- Grammar, Comparative and general --- Logic --- Time --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Tense --- Computer science. --- Software engineering. --- Logic design. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming languages (Electronic computers). --- Mathematical logic. --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Programming languages (Electronic computers)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

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

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Letter of Mara bar Sarapion to his son – preserved in a single Syriac manuscript (7th. century CE) – still speaks to its readers, evocatively depicting the dramatic situation of a nobleman imprisoned after the Roman capture of Samosata, capital of Commagene. The letter is best known today for a passage on the “wise king of the Jews,” which may be one of the earliest pagan testimonies concerning Jesus Christ. Ongoing controversy over the letter’s date, nature, and purpose has, however, led to the widespread neglect of this intriguing document. In the present volume, Merz and Tieleman have brought together cutting-edge research from an interdisciplinary team of leading experts that significantly advances our appreciation of the letter and its historical context.

Syriac literature --- Consolation in literature --- Philosophy, Ancient --- Middle Eastern literature --- History and criticism --- Mara bar Serapion --- Mara bar Sarapion --- Mārā ibn Sirāfiyūn --- Ibn Sirāfiyūn, Mārā --- ابن سرافيون، مارا --- مارا بن سرافيون --- Mārā bar Serapyon --- Commagene --- Kommagene --- Comagene --- Komagen --- History

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Database design --- Data warehousing