This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue reading
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue reading
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue reading
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Continue readingThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Continue reading
Fundamental Astronomy gives a well-balanced and comprehensive introduction to the topics of classical and modern astronomy. ...
Continue reading
This set of four volumes on brings together evidence and insights on educational change issues from leading writers and researchers ...
Continue reading
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
Continue reading
The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
Continue reading
This book inquires into how the city can be re-established as the space of dialogue and communication, how the spatial conditions ...
Continue reading
provides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of ...
Continue reading
This course explores nuclear physics and its applications ranging from the structure of nuclei and their reactions, to astrophysics ...
Continue reading
The book describes the fundamentals of materials characterization from the standpoint of the incident photons or particles ...
Continue readingAirplane flight mechanics is the application of Newton's laws to the study of airplane trajectories (performance), stability, ...
Continue reading
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Continue readingOffers coverage of the principles and practices of analytic chemistry and consistently shows students its applied nature. ...
Continue reading
An integrated introduction to the analysis of drugs, poisons, and other foreign compounds in biological and related specimens. ...
Continue reading
Each topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
Continue reading
Light is an inseparable part of architectural design, and is intended to provide students of architecture and interior design ...
Continue reading
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Continue reading