Electronic Books

Total Books: 281 - 300 /339

Term Rewriting and Applications (vol. # 4098)

PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...

Tests and Proofs

Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...

Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

This book covers the area of convergence of software proofing and testing and feature current research work that combines ...

The Agent Modeling Language - AML

During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...

The Agent Modeling Language - AML

During this period it has already been recognized, and supported by both theoretical and practical evidence, that such systems ...

The Early Years : Child Well-Being and the Role of Public Policy

The Early Years analyzes the development of Latin American and Caribbean children and makes a compelling case for government ...

The Ecological Scarcity Method for the European Union

This report transfers the Ecological Scarcity Method (ESM) to the EU and its 28 member states. It provides a powerful tool ...

The Entrepreneurial Society A Reform Strategy for Italy, Germany and the UK

This book is an outcome of the EU’s Horizon 2020 project ‘Financial and Institutional Reforms for an Entrepreneurial ...

The Future of Sustainability

This book provides a broad discussion on Sustainable Development, rethinking and improving its effectiveness as a paradigm ...

The Observational Method in Civil Engineering : Minimising Risk, Maximising Economy / Alan J Powderham, Anthony O'Brien

Its key features are highlighted in The Observational Method in Civil Engineering through twelve case histories from major ...

The Pain Management Workbook: Powerful CBT and Mindfulness Skills to Take Control of Pain and Reclaim Your Life / Rachel Zoffness

You'll find a comprehensive outline of this effective biopsychosocial approach, as well as scientifically supported interventions ...

The Palgrave Handbook of Family Policy

This handbook provides a multilevel view on family policies, combining insights on family policy outcomes at different levels ...

The Quantum Mechanics Solver

The Quantum Mechanics Solver grew from topics which are part of the final examination in quantum theory at the Ecole Polytechnique ...

The Role of Internal Audit in Improving Internal Control: -A Case Study in an Insurance Company- ليلاس بهاء الدين محمد الزريقي ؛ إشراف د. رياض عبد الرؤوف

This research aims to clarifying the definition of internal audit and how developing internal control and give recommendation ...

The Seventeen Provers of the World

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...

The Welfare of Horses

This book describes the development of horse behaviour, and the way in which the management of horses today affects their ...

The heparins : basic and clinical aspects / David Green

Brings information on heparin, one of the world's most widely used drugs. The book describes the fascinating history of ...

The role of six sigma إيثار عبد القادر كريدي ؛ هديل بهاء الدين عبد الله ؛ هيا ظافر العطار ؛ إشراف د. ليلاس اللحام

Banking Systems face a lot of changes and challenges, which necessitate applying new management and performance improvement ...

Theorem Proving in Higher Order Logics

Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...

Total Books: 281 - 300 /339