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 ...
Lee mas
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 ...
Lee mas
The Future of Sustainability
This book provides a broad discussion on Sustainable Development, rethinking and improving its effectiveness as a paradigm ...
Lee mas
The Palgrave Handbook of Family Policy
This handbook provides a multilevel view on family policies, combining insights on family policy outcomes at different levels ...
Lee mas
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 ...
Lee masThe 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 ...
Lee mas
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 ...
Lee mas
The Welfare of Horses
This book describes the development of horse behaviour, and the way in which the management of horses today affects their ...
Lee masThe role of six sigma إيثار عبد القادر كريدي ؛ هديل بهاء الدين عبد الله ؛ هيا ظافر العطار ؛ إشراف د. ليلاس اللحام
Banking Systems face a lot of changes and challenges, which necessitate applying new management and performance improvement ...
Lee mas
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Lee mas
Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lee mas
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Lee mas
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lee mas
Theoretical Aspects of Computing – ICTAC 2007
Constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 ...
Lee mas
Third Generation Photovoltaics
Photovoltaics, the direct conversion of sunlight to electricity, is now the fastest growing technology for electricity generation. ...
Lee mas
Throughput Optimization in Robotic Cells
Intense global competition in manufacturing has compelled manufacturers to incorporate repetitive processing and automation ...
Lee mas
Thyroid Ultrasound and Ultrasound-Guided FNA
Thyroid Ultrasound and Ultrasound-Guided FNA, Second Edition is a "user friendly" book for the clinician, using ultrasound ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee mas
