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 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 readingThe book describes the fundamentals of materials characterization from the standpoint of the incident photons or particles ...
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 readingEach topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
Continue readingFundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Continue readingEnzyme Kinetics Immobilized Enzyme Industrial Applications of Enzymes Cell Cultivations Cell Kinetics and Fermenter Design ...
Continue readingThe book presents a comprehensive review of the major concepts of biomechanics and summarizes them in nine principles of ...
Continue readingThis book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical ...
Continue readingThis book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Continue readingThis book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Continue reading