Karolin K. Kroening's Documents

Karolin K. Kroening's Documents

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Read more
Living with Paradoxes: Victims of Sexual Violence and Their Conduct of Everyday Life (VS Research)

Living with Paradoxes: Victims of Sexual Violence and Their Conduct of Everyday Life (VS Research)
Read more
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Read more
Analysis of Chemical Warfare Degradation Products

Analysis of Chemical Warfare Degradation Products
Read more
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Read more
Masters of Horror- Damned if You Don't- Self-Help Horror

Masters of Horror- Damned if You Don't- Self-Help Horror
Read more
Masters of Horror - Self-Help Horror

Masters of Horror - Self-Help Horror
Read more
Digitaltechnik - Eine praxisnahe Einfuhrung

Digitaltechnik - Eine praxisnahe Einfuhrung
Read more
The Domestic

The Domestic
Read more
The Hatfields and the McCoys

The Hatfields and the McCoys
Read more
A Hopeless Case

A Hopeless Case
Read more
Time in Science and Life: The greatest legacy of Albert Einstein

Time in Science and Life: The greatest legacy of Albert Einstein
Read more
Uses of Metals and Metallic Minerals

Uses of Metals and Metallic Minerals
Read more
The Revenge of Kali Ra

The Revenge of Kali Ra
Read more
World Tourism Today

World Tourism Today
Read more
Cold Smoked

Cold Smoked
Read more
Fats in Food Technology (Sheffield Food Technology)

Fats in Food Technology (Sheffield Food Technology)
Read more
Complex manifolds and deformation of complex structures

Complex manifolds and deformation of complex structures
Read more
Faking Literature

Faking Literature
Read more
Introducing English Grammar

Introducing English Grammar
Read more
Cold Smoked

Cold Smoked
Read more
Faking Literature

Faking Literature
Read more
Cold Smoked

Cold Smoked
Read more
Lectures on low-dimensional topology

Lectures on low-dimensional topology
Read more
Advances in Carpet manufacture

Advances in Carpet manufacture
Read more
Tourism and Travel Industry

Tourism and Travel Industry
Read more
The Hatfields and the McCoys

The Hatfields and the McCoys
Read more
Computer Mathematics - Proceedings of the 5th Asian Symposium, ASCM 2001 (Lecture Notes Series on Computing)

Computer Mathematics - Proceedings of the 5th Asian Symposium, ASCM 2001 (Lecture Notes Series on Computing)
Read more
Neutron physics

Neutron physics
Read more
Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings
Read more