Zusammenarbeit COST - Ziele, structuren, wirkungsweise (4 copies)
Methods for Planning & Optimisation of Telecommunications Networks
Population Studies of Airborne Pathogens on Cereals as a Mean of Improving Strategies for Disease Control - Annual Report 1994
Electronic Traffc Aids on Major Roads - Final Report Variable Message Signs Theme 1
Examples of the European Expertise in the Computer Simulatoin of Solidification and Casting (2 copies)
Tribology - Scientific Final Report
- Pages: 309
- Author(s): K. Holmberg, P. Kapsa, S. Hogmark et al
- ISBN/ISSN: 92-894-0639-9
- EUR: 19711
Tribology is the science of interacting surfaces in relative motion: friction, wear and lubrication of moving parts in instruments, machinery, manufacturing.
Formal Verification of Object-Oriented Software: Revised Selected Papers
- Pages: 197
- Author(s): Eds. B.Bekert and C. Marche
- Publisher(s): Springer
- Download from external website
- ISBN/ISSN: 978-3-642-18069-9
The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010) was organised by COST Action IC0701 but it went beyond the framework of this action. The conference was open to the whole scientific community. FoVeOOS aimed to foster collaboration and interaction among researchers in this area. This volume contains a selection of research papers and system descriptions presented at FoVeOOS 2010. Authors of the 23 papers presented at the conference were invited to submit improved versions, to be reviewed a second time. Twenty-one submissions were received, and the Program Committee selected 11 of them. Additionally, two of the invited speakers provided papers, which were reviewed by the Program Committee and included in this volume.
Materials Structure & Micromechanics of Fracture
- Pages: 68
- ISBN/ISSN: 80-214-1892-3
Abstract booklet