The book describes a method for creating models of telecom systems. The method is intended for practicing network architects ...
Continue reading
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
Continue reading
This book presents a top-down validation methodology that complements the existing bottom-up approaches. It leverages the ...
Continue reading
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Continue reading
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Continue reading
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
Continue reading
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
Continue reading
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Continue reading
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue reading
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Continue reading
The 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 reading
This set of four volumes on brings together evidence and insights on educational change issues from leading writers and researchers ...
Continue reading
The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
Continue reading
This book inquires into how the city can be re-established as the space of dialogue and communication, how the spatial conditions ...
Continue reading
provides a practical approach by explaining the concepts of machine learning and deep learning algorithms, evaluation of ...
Continue readingAirplane flight mechanics is the application of Newton's laws to the study of airplane trajectories (performance), stability, ...
Continue reading
An integrated introduction to the analysis of drugs, poisons, and other foreign compounds in biological and related specimens. ...
Continue reading
Each topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
Continue reading
Light is an inseparable part of architectural design, and is intended to provide students of architecture and interior design ...
Continue reading