This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Lire la suiteThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suiteETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThe 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 suiteFundamental Astronomy gives a well-balanced and comprehensive introduction to the topics of classical and modern astronomy. ...
Lire la suiteGraphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Lire la suiteEach topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
Lire la suiteThis book comprehensively covers the fundamentals of clinical data science, focusing on data collection, modelling and clinical ...
Lire la suiteThis book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
Lire la suiteMore than ever before, research and development in genomics and proteomics depends on the analysis and interpretation of ...
Lire la suiteThe book presents key analytical techniques used to analyze genomic and proteomic data by detailing their underlying principles, ...
Lire la suiteThe book presents key analytical techniques used to analyze genomic and proteomic data by detailing their underlying principles, ...
Lire la suiteA comprehensive guide to the current research, major challenges, and future prospects of controlled drug delivery systems. Provides ...
Lire la suiteThis textbook—a result of the author’s many years of research and teaching—brings together diverse concepts of dynamics, ...
Lire la suiteAddresses real issues commonly faced in the workplace. The essential concepts are explained in a practical way to enable ...
Lire la suiteAddresses real issues commonly faced in the workplace. The essential concepts are explained in a practical way to enable ...
Lire la suiteUpdated with full-color illustrations throughout and substantial revisions in every chapter to incorporate the latest scientific ...
Lire la suite