This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
اقرأ المزيدIt addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
اقرأ المزيدThe book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis ...
اقرأ المزيدProviding computer support for tasks in civil engineering and architecture is hard. Projects can be complex, long and costly. ...
اقرأ المزيدThe present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...
اقرأ المزيدThis book provides an introduction to the theory of linear systems and control for students in business mathematics, econometrics, ...
اقرأ المزيدAtthestartofthe21stcentury,wearenowwellonthewaytowardsaknowled- intensive society, in which knowledge plays ever more important ...
اقرأ المزيدThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيدThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيدThe three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيدMore than 20 years after the last book on the subject the worldwide precipitation community has produced a comprehensive ...
اقرأ المزيدThis paper presents a method for classification of medical images, using machine learning and deformation-based morphometry. ...
اقرأ المزيدMethods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first ...
اقرأ المزيدhe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
اقرأ المزيدThe 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...
اقرأ المزيدThis book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...
اقرأ المزيدThis extensively revised second edition of Modeling Biological Systems: Principles and Applications describes the essentials ...
اقرأ المزيدThis book contains a selection of papers presented at a symposium organized under the aegis of COST Telecommunications Action ...
اقرأ المزيدModelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response ...
اقرأ المزيدModelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
اقرأ المزيد