๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Some current topics in model checking

โœ Scribed by Michael Huth

Book ID
106245444
Publisher
Springer
Year
2006
Tongue
English
Weight
300 KB
Volume
9
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Some current topics in dislocation theor
Some current topics in dislocation theory
โœ J.P Hirth ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 254 KB

AbstractรSome topics of current interest in dislocation theory are discussed. Included are considerations of the elastic ยฎelds of dislocations with emphasis on nonlinear and anisotropic elastic eects and boundary conditions for computer simulations. Also discussed are core structures, extended dislo

Steel transmission towers: some current
Steel transmission towers: some current topics
โœ Carlo A Urbano ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 554 KB

## Abstract In developed countries the environmental impact of the traditional transmission towers is no longer accepted. Currently available design solutions with acceptable appearance are not employed in the developing countries, mainly for cost reasons. In the developing countries the use of the