Electronic Books

Total Books: 141 - 160 /339

Formal Approaches to Software Testing (vol. # 3997)

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...

Formal Approaches to Software Testing and Runtime Verification

Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...

Formal Correctness of Security Protocols

The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...

Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM ...

Formal Methods for Hardware Verification

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International ...

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open ...

Foundations of Augmented Cognition

These papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...

Foundations of Software Science and Computation Structures

This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...

From Assessing to Conserving Biodiversity

This book despite increasing communication, accelerating policy and management responses, and notwithstanding improving ecosystem ...

From Brows to Trust

This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 ...

From Hahn-Banach to Monotonicity

In this new edition of LNM 1693 the essential idea is to reduce questions on monotone multifunctions to questions on convex ...

From globular proteins to amyloids

Proposes a model and mechanism for explaining protein misfolding. Concepts presented are based on a model originally intended ...

Frontiers of Combining Systems

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...

Frontiers of Combining Systems

Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...

Fundamental Approaches to Software Engineering

This book cover software verification; model-driven development and model transformation; software evolution and requirements ...

Fundamental Trends in City Development

This book inquires into how the city can be re-established as the space of dialogue and communication, how the spatial conditions ...

Genetic Programming Theory and Practice V

Genetic Programming Theory and Practice V was developed from the fifth workshop at the University of Michigan’s Center ...

Graph-Based Representations in Pattern Recognition

Constitutes the refereed proceedings of the 6th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern ...

Health Research in Developing Countries

Health research in developing countries has many facets. On one side, malaria and AIDS as main causes of morbidity and mortality ...

Highway ريما بسام القباني ؛ عمر محمد لؤي المرابط ؛ إشراف د. جهاد يعقوب

Our idea was generated as a result of the technical and technological shift in almost all industries and its endorsements ...

Total Books: 141 - 160 /339