|
One-parameter semigroups of positive operators Автор: Wolfgang Arendt Год: 1986 |
Booster engine Год: 2011 |
Character Generator Год: 2011 |
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction Автор: Markus Müller-Olm Год: 1997 |
A Treatise On the Steam Engine: In Its Application to Mines, Mills, Steam Navigation, and Railways Автор: John Bourne Год: -0001 |