Formal Refinement for Operating System Kernels
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...
اقرأ المزيد
Foundations for Local Governance
Various forms of decentralization are recently pursued in the world, including developing countries. However, there has not ...
اقرأ المزيد
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيدGallstones بدريا الناطور ؛ سلام الحراكي ؛ إشراف د. عبد الرزاق شيخ عيسى
Gallstones are hardened deposits of digestive fluid that can form in the gallbladder. the gallbladder is a small, pear-shaped ...
اقرأ المزيدGastroesophagal reflux disease (GERD) كرم خليل ؛ محمد موصللي ؛ منير الصباغ ؛ إشراف د. عبد الرزاق شيخ عيسى
Gastroesophageal reflux disease (GERD) is a common disease with a high prevalence worldwide and a great socioeconomic burden. ...
اقرأ المزيد
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
اقرأ المزيد
Geographies of Asylum in Europe and the Role of European Localities
This book describes how the numerous arrivals of asylum seekers since 2015 shaped reception and integration processes in ...
اقرأ المزيد
Geometric Algebra for Computer Graphics
The first five chapters review the algebras of real numbers, complex numbers, vectors, and quaternions and their associated ...
اقرأ المزيد
Governing the Pandemic The Politics of Navigating a Mega-Crisis
This book offers unique insights into how governments and governing systems, particularly in advanced economies, have responded ...
اقرأ المزيد
Graeme Mann & Patricia Capua Mann / Bruno Marchand
The Lausanne architects Mann & Capua Mann have been active since 1991. Their structures are compelling thanks to the variety ...
اقرأ المزيد
Guardians of Public Value How Public Organisations Become and Remain Institutions
This book presents case studies of twelve organisations which the public have come to view as institutions. From the BBC ...
اقرأ المزيد
HIMSS Dictionary of Health Information and Technology Terms, Acronyms and Organizations / Healthcare Information & Management Systems Society
This valuable resource includes more than 3,400 definitions, organizations, credentials, acronyms and references. Definitions ...
اقرأ المزيد
Handbook of Education Policy Studies School/University, Curriculum, and Assessment, Volume 2
This handbook brings together the latest research from a wide range of internationally influential scholars to analyze educational ...
اقرأ المزيد
Handbook of Education Policy Studies Values, Governance, Globalization, and Methodology, Volume 1
This handbook brings together the latest research from a wide range of internationally influential scholars to analyze educational ...
اقرأ المزيد
Handbook of Healthcare in the Arab World / Ismail Laher
Examines health and medical care in the Arab world from a systems biology approach. It features comprehensive coverage that ...
اقرأ المزيدHandbook of Modern Sensors. Physics, Designs, and Applications / Jacob Fraden
Presents a comprehensive and up-to-date account of the theory (physical principles), design, and practical implementations ...
اقرأ المزيد
Handbook of Petroleum Processing
"This Handbook describes and discusses the features that make up the petroleum refining industry. It begins with a description ...
اقرأ المزيدHistory of Mathematics Teaching and Learning : Achievements, Problems, Prospects
This work examines the main directions of research conducted on the history of mathematics education. It devotes substantial ...
اقرأ المزيد
