Työ/työelämä

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings

Time structures : formal description and algorithmic representation

Heidegger's hidden sources : East Asian influences on his work

Helping battered women : new perspectives and remedies

Spanish Loanwords in the English Language : A Tendency towards Hegemony Reversal.

Mental illness in the family : issues and trends

The love affair as a work of art

Existence, thought, style : perspectives of a primary relation : portrayed through the work of Søren Kierkegaard

Preventing job burnout : transforming work pressures into productivity

Applied Cryptography: Protocols, Algorithms, and Source Code in C, Second Edition

Database Design for Mere Mortals