In this book not only mathematical abstractions are discussed in a lucid manner, but also several practical applications ...
Lire la suite
This book constitutes the refereed proceedings of the 4th International Conference on Functional Imaging and Modeling of ...
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
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
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 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 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
The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
Lire la suiteAirplane flight mechanics is the application of Newton's laws to the study of airplane trajectories (performance), stability, ...
Lire la suite
Each topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
Lire la suite
Enzyme Kinetics Immobilized Enzyme Industrial Applications of Enzymes Cell Cultivations Cell Kinetics and Fermenter Design ...
Lire la suite
The book presents a comprehensive review of the major concepts of biomechanics and summarizes them in nine principles of ...
Lire la suite
Pares the theory and practice of a multi-disciplinary field to the essentials for classroom learning and real-world applications. ...
Lire la suite
The book presents a framework for specification through internationally adopted codes and standards and summarises the background ...
Lire la suite
This brings us to the purpose of this book namely to help students and engineers appreciate and understand the fundamental ...
Lire la suite