One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
Continue readingIt addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Continue readingDeepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough ...
Continue readingConstitutes the refereed postproceedings of the 11th International Workshop on Job Scheduling Strategies for Parallel Processing, ...
Continue readingAs the field of Supply Chain Management has matured, maintaining the precise flow of goods to maintain schedules (hence, ...
Continue readingThis volume presents the proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile ...
Continue readingThe production plants of today develop into modern service centers. Economic efficiency of modern added value is not a property ...
Continue readingIEEE 1588, published in November 2002, is a technology new to the engineering community expanding the performance capabilities ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...
Continue readingConstitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
Continue readingThis book contains the revised and extended versions of selected conference communications, representing the state-of-the-art ...
Continue readingNetworked Control Systems presents the most recent results in stability and robustness analysis as well as new developments ...
Continue readingDiscusses recent advances in object detection and recognition using deep learning methods, which have achieved great success ...
Continue readingTopics and Features: -Provides a full introduction to computer graphics concepts, principles, methods, and applications -Concentrates ...
Continue readingThis book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, ...
Continue readingPrinciples of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
Continue readingThis Festschrift volume publishing to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed ...
Continue readingConstitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held ...
Continue readingRISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr-ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, ...
Continue readingThis book is a must-have for anyone interested in real-time rendering. Ray tracing is the holy grail of gaming graphics, ...
Continue reading