|
One-parameter semigroups of positive operators Автор: Wolfgang Arendt Год: 1986 |
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction Автор: Markus Müller-Olm Год: 1997 |
A categorical characterization of varieties Автор: Adamek J. Год: 2004 |
Boiler (Steam Generator) Год: 2011 |