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