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)
Large Scale Infrastructures and Quality of Urban Shape -Annual Report
Pesticides in Soil and the Environment - Abstracts
Workshop on Doppler Weather Radar - Proceedings
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
Media, technology and the migrant family: Media uses, appropriations and articulations in a culturally diverse Europe.
- Author(s): COLA Marta (ed.)
- http://www.cost-transforming-audiences.eu/node/1510
Research report of Working Group 4 Audience transformations and social integration, available online