Electronic Books

Total Books: 121 - 140 /299

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 ...

Total Books: 121 - 140 /299