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 ...
Lee mas
Foundations for Local Governance
Various forms of decentralization are recently pursued in the world, including developing countries. However, there has not ...
Lee mas
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 ...
Lee masFoundations 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 ...
Lee mas
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 ...
Lee masGallstones بدريا الناطور ؛ سلام الحراكي ؛ إشراف د. عبد الرزاق شيخ عيسى
Gallstones are hardened deposits of digestive fluid that can form in the gallbladder. the gallbladder is a small, pear-shaped ...
Lee masGastroesophagal reflux disease (GERD) كرم خليل ؛ محمد موصللي ؛ منير الصباغ ؛ إشراف د. عبد الرزاق شيخ عيسى
Gastroesophageal reflux disease (GERD) is a common disease with a high prevalence worldwide and a great socioeconomic burden. ...
Lee mas
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Lee mas
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 ...
Lee mas
Geometric Algebra for Computer Graphics
The first five chapters review the algebras of real numbers, complex numbers, vectors, and quaternions and their associated ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee masHandbook 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 ...
Lee mas
Handbook of Petroleum Processing
"This Handbook describes and discusses the features that make up the petroleum refining industry. It begins with a description ...
Lee masHistory 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 ...
Lee mas
