Integrated Formal Methods
One of the goals of IFM 2002 was to further investigate these themes. Moreover, IFM 2002 explored the relations between formal ...
اقرأ المزيد
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
اقرأ المزيد
Introducing Blockchain Applications : Understand and Develop Blockchain Applications Through Distributed Systems / Joseph Thachil George
Deepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough ...
اقرأ المزيد
Job Scheduling Strategies for Parallel Processing (vol. # 3834)
Constitutes the refereed postproceedings of the 11th International Workshop on Job Scheduling Strategies for Parallel Processing, ...
اقرأ المزيد
Just-in-Time Scheduling
As the field of Supply Chain Management has matured, maintaining the precise flow of goods to maintain schedules (hence, ...
اقرأ المزيد
Management of Converged Multimedia Networks and Services : 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008. Proceedings
This volume presents the proceedings of the 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile ...
اقرأ المزيدManufacturing Execution Systems - MES
The production plants of today develop into modern service centers. Economic efficiency of modern added value is not a property ...
اقرأ المزيد
Measurement, Control, and Communication Using IEEE 1588
IEEE 1588, published in November 2002, is a technology new to the engineering community expanding the performance capabilities ...
اقرأ المزيد
Model Checking and Artificial Intelligence
This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, ...
اقرأ المزيد
Model Driven Architecture - Foundations and Applications
Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...
اقرأ المزيد
Multibody Dynamics
This book contains the revised and extended versions of selected conference communications, representing the state-of-the-art ...
اقرأ المزيد
Networked Control Systems : Theory and Applications
Networked Control Systems presents the most recent results in stability and robustness analysis as well as new developments ...
اقرأ المزيد
Object Detection with Deep Learning Models : Principles and Applications / S. Poonkuntran, Rajesh Kumar Dhanraj, Balamurugan Balusamy
Discusses recent advances in object detection and recognition using deep learning methods, which have achieved great success ...
اقرأ المزيد
Principles of Computer Graphics
Topics and Features: -Provides a full introduction to computer graphics concepts, principles, methods, and applications -Concentrates ...
اقرأ المزيد
Principles of Distributed Systems (vol. # 4305)
This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, ...
اقرأ المزيد
Principles of the Spin Model Checker
Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
اقرأ المزيد
Program Analysis and Compilation. Theory and Practice
This Festschrift volume publishing to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed ...
اقرأ المزيد
Programming Languages and Systems (vol. # 3780)
Constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held ...
اقرأ المزيد
Rapid Integration of Software Engineering Techniques
RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr-ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, ...
اقرأ المزيد
Ray Tracing Gems II Next Generation Real-Time Rendering with DXR, Vulkan, and OptiX
This book is a must-have for anyone interested in real-time rendering. Ray tracing is the holy grail of gaming graphics, ...
اقرأ المزيد
