Electronic Books

Total Books: 121 - 140 /299
978-1-84628-967-5
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 ...

Continue reading
978-3-7908-2006-5
Foundations for Local Governance

Various forms of decentralization are recently pursued in the world, including developing countries. However, there has not ...

Continue reading
978-3-030-45231-5
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-3-540-78743-3
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 ...

Continue reading
NoIMG
Gallstones بدريا الناطور ؛ سلام الحراكي ؛ إشراف د. عبد الرزاق شيخ عيسى

Gallstones are hardened deposits of digestive fluid that can form in the gallbladder. the gallbladder is a small, pear-shaped ...

Continue reading
NoIMG
Gastroesophagal reflux disease (GERD) كرم خليل ؛ محمد موصللي ؛ منير الصباغ ؛ إشراف د. عبد الرزاق شيخ عيسى

Gastroesophageal reflux disease (GERD) is a common disease with a high prevalence worldwide and a great socioeconomic burden. ...

Continue reading
978-3-540-46235-4
Generative and Transformational Techniques in Software Engineering

This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...

Continue reading
978-3-030-25666-1
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 ...

Continue reading
978-1-84628-997-2
Geometric Algebra for Computer Graphics

The first five chapters review the algebras of real numbers, complex numbers, vectors, and quaternions and their associated ...

Continue reading
978-3-030-72680-5
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 ...

Continue reading
9783038211037
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 ...

Continue reading
978-3-030-51701-4
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 ...

Continue reading
9781138477506
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 ...

Continue reading
978-981-13-8343-4
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 ...

Continue reading
978-981-13-8347-2
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 ...

Continue reading
978-3-030-36811-1
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 ...

Continue reading
NoIMG
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 ...

Continue reading
978-1-4020-2820-5
Handbook of Petroleum Processing

"This Handbook describes and discusses the features that make up the petroleum refining industry. It begins with a description ...

Continue reading
NoIMG
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 ...

Continue reading
Total Books: 121 - 140 /299