Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held Austria in March/April 2006 as part of ETAPS. The 30 revised full research papers and four revised tool demonstration papers presented together with one invited paper were carefully reviewed and selected from a total of 118 submissions. The papers are organized in topical sections.
Medieval and Renaissance Letter Treatises and Form Letters
Letter writing was the major branch of rhetoric in the High Middle Ages (ars dictaminis) and Renaissance (ars epistolandi). As the primary source of discourse it played major roles in the history of education, the Latin language and literature, and its relation to grammar and oratory (ars arengandi). The letters are also a very rich source ranging from Church and State correspondence to social hierarchies and fiction. Several hundred authors, recognized as precursors of the Humanists, produced treatises, manuals, formularies and model letter collections found in a few thousand largely unstudied manuscripts. This is the third and final volume of the Medieval and Renaissance Letter Treatises and Form Letters, a singular reference work, a manuscript inventory of texts, most of which were examined in situ by Emil J. Polak in almost nine-hundred libraries and archives. The repertory is arranged alphabetically by country and city with standard details for each manuscript. Four indexes conclude the work.
Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.
The Growth Spiral
This book develops a new theory of the modern economy. Conventional economic theory is (still) based on an essentially static notion of equilibrium. In contrast, this book offers an analysis of the economic process based on a truly dynamic approach. It understands modern economic activity as manifesting itself in a growth spiral. There are two main drivers of the dynamics of this spiral: steady money creation in the banking system, on the one hand; and the continuous inflow of energy and raw materials through the exploitation of natural resources, on the other. Both driving forces are generally neglected by the conventional theory. Understanding their role is absolutely essential for preventing our economy from being more and more exposed to financial and ecological crises. This book offers important insights about the functioning of the modern economy and addresses the specialist as well as the interested lay reader.
Private Equity Investments
Private Equity experienced dramatic flutuations in investment activity in line with the turbulences of financial markets in recent years. Claudia Sommer develops a theoretical framework of factors driving private equity investment activity and the resulting performance implications. Using a data set of more than 40,000 European transations between 1990 and 2009 she applies a variety of econometrial approaches and shows how neoclassical aspects, information asymmetries, agency conflicts, and market timing contribute to the dynamics in the private equity market. In a performance analysis of more than 1,300 European private equity funds, she reveals how fund performance is linked to investment activity.
Logical Approaches to Computational Barriers
This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. The book presents 31 revised full papers together with 30 invited papers, including papers corresponding to 8 plenary talks and 6 special sessions on proofs and computation, computable analysis, challenges in complexity, foundations of programming, mathematical models of computers and hypercomputers, and Gödel centenary: Gödel's legacy for computability.
Theoretical Aspects of Computing - ICTAC 2004
This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics.
Web, Artificial Intelligence and Network Applications
This proceedings book presents the latest research findings, and theoretical and practical perspectives on innovative methods and development techniques related to the emerging areas of Web computing, intelligent systems and Internet computing. The Web has become an important source of information, and techniques and methodologies that extract quality information are of paramount importance for many Web and Internet applications. Data mining and knowledge discovery play a key role in many of today's major Web applications, such as e-commerce and computer security. Moreover, Web services provide a new platform for enabling service-oriented systems. The emergence of large-scale distributed com...
Color and Meaning in the Art of Achaemenid Persia
This book explores the use of polychromy in the art and architecture of ancient Iran. Focusing on Persepolis, he explores the topic within the context of the modern historiography of Achaemenid art and the scientific investigation of a range of works and monuments in Iran and in museums around the world.
