Electronic Books

Total Books: 81 - 100 /167

Integrated Formal Methods

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

Integrated Reaction and Separation Operations

The book presents the latest developments in simulation of integrated processes as well as new methods of process synthesis ...

Intelligent Computing in Engineering and Architecture

Providing computer support for tasks in civil engineering and architecture is hard. Projects can be complex, long and costly. ...

International Symposium on Fundamentals of Software Engineering

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...

Introduction to Mathematical Systems Theory

This book provides an introduction to the theory of linear systems and control for students in business mathematics, econometrics, ...

Large-Scale Knowledge Resources. Construction and Application : Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings

Atthestartofthe21stcentury,wearenowwellonthewaytowardsaknowled- intensive society, in which knowledge plays ever more important ...

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Measuring Precipitation from Space

More than 20 years after the last book on the subject the worldwide precipitation community has produced a comprehensive ...

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005

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

Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first ...

Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

Model-Driven Architecture in Practice

This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...

Modeling Biological Systems:

This extensively revised second edition of Modeling Biological Systems: Principles and Applications describes the essentials ...

Modeling and Simulation Tools for Emerging Telecommunication Networks

This book contains a selection of papers presented at a symposium organized under the aegis of COST Telecommunications Action ...

Modelling Environmental Dynamics : Advances in Geomatic Solutions

Modelling environmental dynamics is critical to understanding and predicting the evolution of the environment in response ...

Modelling and Analysis of Hybrid Supervisory Systems

Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...

Total Books: 81 - 100 /167