Holzmann G.'s Documents

Holzmann G.'s Documents

Social Protection & Labor at the World Bank, 2000-2008

Social Protection & Labor at the World Bank, 2000-2008
Read more
Spatial awareness of autonomous embedded systems

Spatial awareness of autonomous embedded systems
Read more
Design and Validation of Computer Protocols (Prentice Hall Software Series)

Design and Validation of Computer Protocols (Prentice Hall Software Series)
Read more
Adaptive Cooperation between Driver and Assistant System: Improving Road Safety

Adaptive Cooperation between Driver and Assistant System: Improving Road Safety
Read more
Technische Mechanik Kinematik und Kinetik

Technische Mechanik Kinematik und Kinetik
Read more
Pension Reform in Europe: Process and Progress (Directions in Development)

Pension Reform in Europe: Process and Progress (Directions in Development)
Read more
New Ideas about Old Age Security: Toward Sustainable Pension Systems in the 21st Century

New Ideas about Old Age Security: Toward Sustainable Pension Systems in the 21st Century
Read more
Adequacy of Retirement Income after Pension Reforms in Central, Eastern and Southern Europe: Eight Country Studies (Directions in Development; Finance)

Adequacy of Retirement Income after Pension Reforms in Central, Eastern and Southern Europe: Eight Country Studies (Directions in Development; Finance)
Read more
The SPIN Model Checker: Primer and Reference Manual

The SPIN Model Checker: Primer and Reference Manual
Read more
Design And Validation Of Computer Protocols

Design And Validation Of Computer Protocols
Read more
Naturliche und pflanzliche Baustoffe: Rohstoff - Bauphysik - Konstruktion

Naturliche und pflanzliche Baustoffe: Rohstoff - Bauphysik - Konstruktion
Read more
New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century
Read more
New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century

New Ideas About Old Age Security: Toward Sustainable Pension Systems in the 21st Century
Read more
Current Studies in Italian Syntax: Essays Offered to Lorenzo Renzi

Current Studies in Italian Syntax: Essays Offered to Lorenzo Renzi
Read more
Giaur

Giaur
Read more
Social Life in Britain from the Conquest to the Reformation (Cambridge Library Collection - History)

Social Life in Britain from the Conquest to the Reformation (Cambridge Library Collection - History)
Read more
A study of Hegel's logic

A study of Hegel's logic
Read more
Complex variables

Complex variables
Read more
Handbook of Veterinary Obstetrics 2nd Edition

Handbook of Veterinary Obstetrics 2nd Edition
Read more
Solid-State Physics

Solid-State Physics
Read more
The Lovely Kittengirls of Mew Orleans

The Lovely Kittengirls of Mew Orleans
Read more
On the shoulders of giants: A course in single variable calculus

On the shoulders of giants: A course in single variable calculus
Read more
Introduction to Statistics and Data Analysis for Physicists

Introduction to Statistics and Data Analysis for Physicists
Read more
The Adoration of Addana

The Adoration of Addana
Read more
Cluster model interrelation with modern physical concepts

Cluster model interrelation with modern physical concepts
Read more
NEUROINFLAMMATION IN NEURONAL DEATH AND REPAIR

NEUROINFLAMMATION IN NEURONAL DEATH AND REPAIR
Read more
Surface Diffusion

Surface Diffusion
Read more
The Medieval Village (Cambridge Library Collection - History)

The Medieval Village (Cambridge Library Collection - History)
Read more
The Seleukid Royal Economy: The Finances and Financial Administration of the Seleukid Empire

The Seleukid Royal Economy: The Finances and Financial Administration of the Seleukid Empire
Read more
A Branch-and-cut Algorithm for the Undirected Rural Postman Problem

A Branch-and-cut Algorithm for the Undirected Rural Postman Problem
Read more