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
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
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
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
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 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
Light is an inseparable part of architectural design, and is intended to provide students of architecture and interior design ...
Lire la suite
Addresses the enormous advances in biochemistry, particularly in the areas of structural biology and Bioinformatics, by providing ...
Lire la suite
The book presents a comprehensive review of the major concepts of biomechanics and summarizes them in nine principles of ...
Lire la suite
This book treats cavitation, which is a unique phenomenon in the field of hyd- dynamics, although it can occur in any hydraulic ...
Lire la suite
Opens by considering general topics such as developmental biology and disease classification and then examines in depth the ...
Lire la suite
Readers will find detailed discussion of the treatment principles for craniosynostoses, orofacial clefts, branchio-oculo-facial ...
Lire la suite
More than ever before, research and development in genomics and proteomics depends on the analysis and interpretation of ...
Lire la suite
The book presents key analytical techniques used to analyze genomic and proteomic data by detailing their underlying principles, ...
Lire la suite