|
Abstract Cauchy problems: three approaches Автор: Irina V. Melnikova Год: 2001 |
Implementation of Building Codes: factors affecting the implementation of the Saudi Building Code Автор: Ali Al-Mudhei Год: 2010 |
GAAP Implementation Guide Автор: Steven M. Bragg Год: 2004 |
An Introduction to Formal Hardware Verification Автор: Franz Schwabl Год: 2005 |