Poles Apart Cb

Poles Apart Cb
Author: Jacqueline Hayden
Publisher: Routledge
Total Pages: 245
Release: 2012-10-12
Genre: History
ISBN: 1136301364

First published in 1994. In Poles Apart the author is trying to tell the story of Poland's democratic transition through the personal stories of the men and women that she first met in 1980. She hopes that by focusing on the experience of some of the key players she can expose aspects of the complex arguments surrounding controversial issues such as the imposition of martial law in 1981, the Round Table agreement between Solidarity and the Communist Party (which resulted in the first semi-free election in 1989) as well as examine the factors which precipitated the defeat of the post-Solidarity parties in the September 1993 election.

Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems
Author: Cliff B. Jones
Publisher: Springer
Total Pages: 551
Release: 2007-09-04
Genre: Computers
ISBN: 3540752218

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.