This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Weiterlesen
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Weiterlesen
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Weiterlesen
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
WeiterlesenThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Weiterlesen
Fundamental Astronomy gives a well-balanced and comprehensive introduction to the topics of classical and modern astronomy. ...
Weiterlesen
This set of four volumes on brings together evidence and insights on educational change issues from leading writers and researchers ...
Weiterlesen
This book is an in-depth learning and teaching resource for the understanding and programming of TCP/IP networking in Java. ...
Weiterlesen
This book inquires into how the city can be re-established as the space of dialogue and communication, how the spatial conditions ...
Weiterlesen
provides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of ...
Weiterlesen
The book describes the fundamentals of materials characterization from the standpoint of the incident photons or particles ...
Weiterlesen
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
WeiterlesenOffers coverage of the principles and practices of analytic chemistry and consistently shows students its applied nature. ...
Weiterlesen
Each topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
Weiterlesen
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Weiterlesen
Enzyme Kinetics Immobilized Enzyme Industrial Applications of Enzymes Cell Cultivations Cell Kinetics and Fermenter Design ...
Weiterlesen
The book presents a comprehensive review of the major concepts of biomechanics and summarizes them in nine principles of ...
Weiterlesen
This book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical ...
Weiterlesen
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Weiterlesen
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Weiterlesen