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