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
This set of four volumes on brings together evidence and insights on educational change issues from leading writers and researchers ...
Lire la suite
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
Lire la suite
The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
Lire la suite
This book describes the fundamental problems in modern astrophysics that cannot progress without easy and wide-spread access ...
Lire la suite
This book inquires into how the city can be re-established as the space of dialogue and communication, how the spatial conditions ...
Lire la suite
provides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of ...
Lire la suite
This course explores nuclear physics and its applications ranging from the structure of nuclei and their reactions, to astrophysics ...
Lire la suite
The book describes the fundamentals of materials characterization from the standpoint of the incident photons or particles ...
Lire la suiteAirplane flight mechanics is the application of Newton's laws to the study of airplane trajectories (performance), stability, ...
Lire la suite
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Lire la suiteOffers coverage of the principles and practices of analytic chemistry and consistently shows students its applied nature. ...
Lire la suite
Presents the latest developments in analytical chemistry today using a reader-friendly yet systematic and thorough approach. ...
Lire la suite
An integrated introduction to the analysis of drugs, poisons, and other foreign compounds in biological and related specimens. ...
Lire la suite
Each topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
Lire la suite