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