Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
اقرأ المزيد
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيدFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
From Data to Models and Back
This book constitutes the refereed proceedings of the 9th International Symposium on From Data Models and Back, DataMod 2020, ...
اقرأ المزيد
Fundamental Approaches to Software Engineering
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
General Theory of Information Transfer and Combinatorics
This book constitutes the thoroughly refereed research papers contributed to a research project on the `General Theory of ...
اقرأ المزيد
Generalized Collocations Methods : Solutions to Nonlinear Problems
This book examines various mathematical tools—based on generalized collocation methods—to solve nonlinear problems related ...
اقرأ المزيد
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
اقرأ المزيد
Geographic Information Science ; 5th International Conference, GIScience 2008, Park City, UT, USA, September 23-26, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th International Conference on Geographic Information Secience, GIScience ...
اقرأ المزيد
Global History and New Polycentric Approaches
This book It examines how the discipline had evolved in various historiographies, from Anglo Saxon to southern European, ...
اقرأ المزيدGlobal Specification and Validation of Embedded Systems
Global modelling and validation is required to master the design of systems made of heterogeneous components. These systems ...
اقرأ المزيد
Grid Economics and Business Models
In the third contribution, Altmann and colleagues formulate a taxonomical - proach to Grid business models. They survey the ...
اقرأ المزيد
Grid Economics and Business Models : 5th International Workshop, GECON 2008, Las Palmas de Gran Canaria, Spain, August 26, 2008. Proceedings
This volume constitutes the refereed proceedings of the 5th International Workshop on Grid Economics and Business Models, ...
اقرأ المزيد
Guide to Deep Learning Basics : Logical, Historical and Philosophical Perspectives
This stimulating text/reference presents a philosophical exploration of the conceptual foundations of deep learning, presenting ...
اقرأ المزيد
Guide to Efficient Software Design
This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...
اقرأ المزيد
H-infinity Control for Nonlinear Descriptor Systems
The authors present a study of the H-infinity control problem and related topics for descriptor systems, described by a set ...
اقرأ المزيد
Handbook Of Big Data Analytics ; Vol. 1: Methodologies
Big Data analytics is the complex process of examining big data to uncover information such as correlations, hidden patterns, ...
اقرأ المزيد
Heterogeneity in Statistical Genetics
Heterogeneity, or mixtures, are ubiquitous in genetics. Even for data as simple as mono-genic diseases, populations are a ...
اقرأ المزيد
Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice
Heterogeneous object modelling is a new and quickly developing research area. This book is one of the first attempts to systematically ...
اقرأ المزيد
