Flux-Corrected Transport
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...
Continue reading
Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
Continue reading
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 ...
Continue reading
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
Continue reading
Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Continue reading
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
Continue reading
Formal Modeling and Analysis of Timed Systems (vol. # 4202)
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
Continue reading
Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
Continue reading
Frontiers in Hardware Security and Trust: Theory, design and practice
The footprint and power constraints imposed on internet-of-things end-points, smart sensors, mobile and ad hoc network devices ...
Continue reading
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Continue reading
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Continue reading
Fruits and Nuts
Genome Mapping and Molecular Breeding in Plants presents the current status of the elucidation and improvement of plant genomes ...
Continue readingFull-Chip Nanometer Routing Techniques
From a manufacturability standpoint, nanometer routers must explicitly deal with the ever increasing design complexity, and ...
Continue reading
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Continue reading
Fundamentals of Algebraic Graph Transformation
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Continue reading
Fundamentals of Artificial Intelligence
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Continue reading
Generalized Convexity, Generalized Monotonicity and Applications
This volume contains a collection of refereed articles on generalized convexity and generalized monotonicity. The first part ...
Continue reading
Geo-information for Disaster Management
Geo-information technology offers an opportunity to support disaster management: industrial accidents, road collisions, complex ...
Continue reading
Geometric Fundamentals of Robotics
Geometric Fundamentals of Robotics provides an elegant introduction to the geometric concepts that are important to applications ...
Continue reading
Giant Metallic Deposits
Geological characteristics of giant metallic deposits and their setting and the politico-economic constraints of access to ...
Continue reading
