K.Rustan M. Leino's Documents

K.Rustan M. Leino's Documents

Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011

Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011
Read more
Stability and Creativity as Contradicting Values in Information Management

Stability and Creativity as Contradicting Values in Information Management
Read more
Constructional Reorganization (Constructional Approaches to Language)

Constructional Reorganization (Constructional Approaches to Language)
Read more
Wind energy in Colombia: a framework for market entry

Wind energy in Colombia: a framework for market entry
Read more
Resurgence

Resurgence
Read more
Revenant Rising

Revenant Rising
Read more
Revenant Rising

Revenant Rising
Read more
Retribution

Retribution
Read more
The Priority of Justice: Elements for a Sociology of Moral Choices

The Priority of Justice: Elements for a Sociology of Moral Choices
Read more
War Surf

War Surf
Read more
One Hundred Selected Games

One Hundred Selected Games
Read more
Playing Bit Parts in Shakespeare

Playing Bit Parts in Shakespeare
Read more
Death In Berlin

Death In Berlin
Read more
Mediaeval Trade and Finance

Mediaeval Trade and Finance
Read more
Jackie's Week

Jackie's Week
Read more
Hyperthought

Hyperthought
Read more
Het Zwaard Van Goud en Liefde

Het Zwaard Van Goud en Liefde
Read more
All That Was Happy

All That Was Happy
Read more
Groupe de Brauer

Groupe de Brauer
Read more
Friedenstiftende Religionen- Religion und die Deeskalation politischer Konflikte

Friedenstiftende Religionen- Religion und die Deeskalation politischer Konflikte
Read more
Gran Enciclopedia Sarpe Armamento y Poder Militar Volumen 1

Gran Enciclopedia Sarpe Armamento y Poder Militar Volumen 1
Read more
Handbook of Nonwoven Filter Media

Handbook of Nonwoven Filter Media
Read more
Foundations of Galois Theory (Dover Books on Mathematics)

Foundations of Galois Theory (Dover Books on Mathematics)
Read more
Grumman F-14A Tomcat

Grumman F-14A Tomcat
Read more
Klinikmanual Anästhesie

Klinikmanual Anästhesie
Read more
Logic in computer science - Errata

Logic in computer science - Errata
Read more
Quasi-periodic oscillations for wave equations under periodic forcing

Quasi-periodic oscillations for wave equations under periodic forcing
Read more
Representation theory of finite reductive groups

Representation theory of finite reductive groups
Read more
Continuous Advances in Qcd 2006: William I. Fine Theoretical Physics Institie, Minneapolis, USA, 11-14 May 2006, Proceedings

Continuous Advances in Qcd 2006: William I. Fine Theoretical Physics Institie, Minneapolis, USA, 11-14 May 2006, Proceedings
Read more
All That Was Happy

All That Was Happy
Read more