Modeling Reactive Systems with Statecharts
by D. Harel, M. Politi
Publisher: McGraw-Hill 1998
Number of pages: 258
The book provides a detailed description of a set of languages for modelling reactive systems, which underlies the STATEMATE toolset. The approach is dominated by the language of Statecharts, used to describe behavior, combined Activity-charts for describing activities and the data that flows between them.
Home page url
Download or read it online for free here:
(multiple PDF files)
by Samuel Keller - D. Van Nostrand Company
Much that is ordinarily included in treatises on Analytics and Calculus, has been omitted from this book, not because it was regarded as worthless, but because it was considered quite unnecessary for the student of engineering.
by Paul L. Younger (ed.) - MDPI AG
After decades of being largely the preserve of countries in volcanic regions, the use of geothermal energy is now expanding worldwide. This reflects its excellent low-carbon credentials and its ability to offer baseload and dispatchable output.
The goal of this handbook is to help scientists and engineers incorporate statistical methods in their work as efficiently as possible. Many parts of the book feature case studies or examples with computations from the free downloadable software.
by Erhan Cinlar, Robert J. Vanderbei
This text covers general notions regarding sets, functions, sequences, and series; metric spaces, convergence, continuity, approximations; functions on metric spaces; differential and integral equations; convex analysis; measure and integration.