This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suite
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lire la suiteThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lire la suite
Fundamental Astronomy gives a well-balanced and comprehensive introduction to the topics of classical and modern astronomy. ...
Lire la suite
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Lire la suite
Each topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
Lire la suite
This book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical ...
Lire la suite
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Lire la suite
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Lire la suite
A comprehensive guide to the current research, major challenges, and future prospects of controlled drug delivery systems. Provides ...
Lire la suite
This textbook—a result of the author’s many years of research and teaching—brings together diverse concepts of dynamics, ...
Lire la suite
Addresses real issues commonly faced in the workplace. The essential concepts are explained in a practical way to enable ...
Lire la suite
Addresses real issues commonly faced in the workplace. The essential concepts are explained in a practical way to enable ...
Lire la suiteInformation is a valuable resource to an organization. Computer software provides an efficient means of processing information, ...
Lire la suite
Explains foundational concepts and principles surrounding the theory of vibrations and gives equations of motion for complex ...
Lire la suite
Switching theory and logic design provide mathematical foundations and tools for digital system design that is an essential ...
Lire la suiteBuilding Construction has been the go-to reference for thousands of professionals and students of architecture, engineering, ...
Lire la suite
The significantly updated second edition of Fundamentals of the New Artificial Intelligence thoroughly covers the most essential ...
Lire la suite