This book constitutes the refereed proceedings of the 4th International Conference on Functional Imaging and Modeling of ...
Lire la suite
The FIMH conference was the ?rst attempt to agglutinate researchers from several complementary but often i- lated ?elds: ...
Lire la suite
in This book some recent advances in the structural design of nanoscale assemblies are shown, along with examples from the ...
Lire la suite
Nanostructured materials are becoming of major significance, and their investigations require a comprehensive approach. The ...
Lire la suite
This book sets out the stress-system model for functional somatic symptoms in children and adolescents. The book begins ...
Lire la suite
The book describes a method for creating models of telecom systems. The method is intended for practicing network architects ...
Lire la suite
The quality of data represented by the a growing tendency to substitute modern light mic- images of cells and tissues had ...
Lire la suite
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
Lire la suite
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
Lire la suite
An increasing number of statistical problems and methods involve infinite-dimensional aspects. This is due to the progress ...
Lire la suite
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suite
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suite
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Lire la suite
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Lire la suite
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suite
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suite
The 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 suite
Fundamental Astronomy gives a well-balanced and comprehensive introduction to the topics of classical and modern astronomy. ...
Lire la suite