Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدConstructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيد
Contrast Agents III
The series Topics in Current Chemistry presents critical reviews of the present and future trends in modern chemical research. ...
اقرأ المزيد
Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems
This volume presents a well balanced combination of state-of-the-art theoretical results in the field of nonlinear controller ...
اقرأ المزيد
Control of Uncertain Systems: Modelling, Approximation, and Design
This Festschrift contains a collection of articles by friends, co-authors, colleagues, and former Ph.D. students of Keith ...
اقرأ المزيدCorporate Data Quality : Voraussetzung erfolgreicher Geschäftsmodelle = Corporate data quality: a prerequisite for successful business models
Data is the basis of the digitized economy. Industry 4.0 and digital services produce unprecedented amounts of data and enable ...
اقرأ المزيد
Cost-sharing and Accessibility in Higher Education: A Fairer Deal?
Higher education finances lie at the crossroads in many Western countries. On the one hand, the surging demand of the past ...
اقرأ المزيد
Courbes algébriques planes = Plane Algebraic Curves
Resulting from a master's course at the University of Paris VII, this text is re-edited as it appeared in 1978. Various ...
اقرأ المزيد
Cours doptique : Simulations et exercices résolus avec Maple, Matlab, Mathematica, Mathcad = Optics course : Simulations and exercises solved with Maple, Matlab, Mathematica, Mathcad
Intended for students at the L and M levels of the university as well as for engineers wishing to study certain subjects ...
اقرأ المزيد
Creating Web-based Laboratories
Remote web-based experimentation, enabling students and researchers to access the laboratory anytime via the Internet, is ...
اقرأ المزيد
Creating the European Area of Higher Education
This volume brings together a group of higher education researchers across Europe and looks into the implementation of the ...
اقرأ المزيدCrisis Response in Higher Education : How the Pandemic Challenged University Operations and Organisation
This book explores the impact of Covid-19 on universities, and how students, staff, faculty and academic leaders have adapted ...
اقرأ المزيد
Critical Information Infrastructured Security
This volume contains the proceedings of the 1st International Workshop on Critical Information Infrastructure Security (CRITIS ...
اقرأ المزيدCyber Security and Digital Forensics: Challenges and Future Trends / Mangesh M. Ghonge
This groundbreaking new volume, written and edited by a wide range of professionals in this area, covers broad technical ...
اقرأ المزيد
Data Collection in Fragile States Innovations from Africa and Beyond
This book addresses an urgent issue on which little organized information exists. It reflects experience in Africa but is ...
اقرأ المزيد
Database: Enterprise, Skills and Innovation
The British National Conference on Databases (BNCOD) was established in 1980 as a forum for research into the theory and ...
اقرأ المزيد
Declarative Programming for Knowledge Management
This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
اقرأ المزيدDelft Pneumatic Bipeds
Walking is simple for most of us, but two-legged robots (bipeds) are often slow, complex, inefficient, heavy, and have robotic-looking ...
اقرأ المزيد
Designing Sustainable Technologies, Products and Policies
This open access book provides insight into the implementation of Life Cycle approaches along the entire business value chain, ...
اقرأ المزيد
