This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue readingETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue readingThe 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 readingFundamental Astronomy gives a well-balanced and comprehensive introduction to the topics of classical and modern astronomy. ...
Continue readingThis set of four volumes on brings together evidence and insights on educational change issues from leading writers and researchers ...
Continue readingThis book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
Continue readingThe book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
Continue readingThis book inquires into how the city can be re-established as the space of dialogue and communication, how the spatial conditions ...
Continue readingprovides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of ...
Continue readingThis course explores nuclear physics and its applications ranging from the structure of nuclei and their reactions, to astrophysics ...
Continue readingThe 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 readingGraphs 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 readingAn integrated introduction to the analysis of drugs, poisons, and other foreign compounds in biological and related specimens. ...
Continue readingEach topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
Continue readingLight is an inseparable part of architectural design, and is intended to provide students of architecture and interior design ...
Continue readingFundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Continue reading