Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
اقرأ المزيدSoftware validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
اقرأ المزيدThe workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
اقرأ المزيدThe aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
اقرأ المزيدThe footprint and power constraints imposed on internet-of-things end-points, smart sensors, mobile and ad hoc network devices ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
اقرأ المزيدConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
اقرأ المزيدGenome Mapping and Molecular Breeding in Plants presents the current status of the elucidation and improvement of plant genomes ...
اقرأ المزيدFrom a manufacturability standpoint, nanometer routers must explicitly deal with the ever increasing design complexity, and ...
اقرأ المزيدThis volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
اقرأ المزيدGraphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
اقرأ المزيدFundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
اقرأ المزيدThis volume contains a collection of refereed articles on generalized convexity and generalized monotonicity. The first part ...
اقرأ المزيدGeo-information technology offers an opportunity to support disaster management: industrial accidents, road collisions, complex ...
اقرأ المزيدGeometric Fundamentals of Robotics provides an elegant introduction to the geometric concepts that are important to applications ...
اقرأ المزيدGeological characteristics of giant metallic deposits and their setting and the politico-economic constraints of access to ...
اقرأ المزيد