This book sets out the stress-system model for functional somatic symptoms in children and adolescents. The book begins ...
Lee mas
The book describes a method for creating models of telecom systems. The method is intended for practicing network architects ...
Lee mas
The quality of data represented by the a growing tendency to substitute modern light mic- images of cells and tissues had ...
Lee mas
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
Lee mas
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
Lee mas
This book constitutes the refereed proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS ...
Lee mas
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Lee mas
An increasing number of statistical problems and methods involve infinite-dimensional aspects. This is due to the progress ...
Lee mas
The primary objective of the NATO Advanced Study Institute (ASI) titled “Functionalized Nanoscale Materials, Devices, and ...
Lee mas
The Mathematics Elements of Nicolas BOURBAKI aim to provide a rigorous, systematic presentation without prerequisites of ...
Lee mas
This is a unique book related to the theory of functions of a-bounded type in the half-plane of the complex plane, which ...
Lee mas
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lee mas
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Lee mas
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Lee mas
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Lee mas
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lee mas
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee mas
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lee mas
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
Lee masThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lee mas