Bernhard Spuida's Documents

Bernhard Spuida's Documents

Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization

Advanced symbolic analysis for compilers: new techniques and algorithms for symbolic program analysis and optimization
Read more
Combinatorial Optimization: Theory and Algorithms (Algorithms and Combinatorics)

Combinatorial Optimization: Theory and Algorithms (Algorithms and Combinatorics)
Read more
Self's punishment

Self's punishment
Read more
Combinatorial Optimization: Theory and Algorithms (Algorithms and Combinatorics)

Combinatorial Optimization: Theory and Algorithms (Algorithms and Combinatorics)
Read more
Systems Biology: Simulation of Dynamic Network States

Systems Biology: Simulation of Dynamic Network States
Read more
The Ubiquitin System in Health and Disease (Ernst Schering Foundation Symposium Proceedings)

The Ubiquitin System in Health and Disease (Ernst Schering Foundation Symposium Proceedings)
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Read more
Mündliche Prüfung Innere Medizin

Mündliche Prüfung Innere Medizin
Read more
Waldeigentum: Dimensionen und Perspektiven

Waldeigentum: Dimensionen und Perspektiven
Read more
Taschenatlas zum praparierkurs

Taschenatlas zum praparierkurs
Read more
Contours of Old Testament Theology

Contours of Old Testament Theology
Read more
Sozialpolitik kompakt, 2. Auflage

Sozialpolitik kompakt, 2. Auflage
Read more
Kurzes Lehrbuch der Organischen Chemie, 3. Auflage

Kurzes Lehrbuch der Organischen Chemie, 3. Auflage
Read more
Grzimek's Animal Life Encyclopedia: Evolution

Grzimek's Animal Life Encyclopedia: Evolution
Read more
Handlungspsychologie: Planung und Kontrolle intentionalen Handelns (Springer-Lehrbuch)

Handlungspsychologie: Planung und Kontrolle intentionalen Handelns (Springer-Lehrbuch)
Read more
BGB Allgemeiner Teil (Springer-Lehrbuch) (German Edition)

BGB Allgemeiner Teil (Springer-Lehrbuch) (German Edition)
Read more
Design: Geschichte, Theorie und Praxis der Produktgestaltung

Design: Geschichte, Theorie und Praxis der Produktgestaltung
Read more
Diabetes-Handbuch: ene Anleitung für Praxis und Klinik, 6. Auflage

Diabetes-Handbuch: ene Anleitung für Praxis und Klinik, 6. Auflage
Read more
Self's deception

Self's deception
Read more
Verkaufserfolg für Existenzgründer: Von der Geschäftsidee zum Vertriebskonzept

Verkaufserfolg für Existenzgründer: Von der Geschäftsidee zum Vertriebskonzept
Read more
The The Development of Byron's Philosophy of Knowledge: Certain in Uncertainty

The The Development of Byron's Philosophy of Knowledge: Certain in Uncertainty
Read more
Abstract State Machines 2004.. Advances in Theory and Practice, 11 conf., ASM 2004

Abstract State Machines 2004.. Advances in Theory and Practice, 11 conf., ASM 2004
Read more
The Music of the Nineteenth Century and its Culture (Cambridge Library Collection - Music)

The Music of the Nineteenth Century and its Culture (Cambridge Library Collection - Music)
Read more
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Read more
HR-PR Personalarbeit und Public Relations: Erfolgreiche Strategien und Praxisbeispiele

HR-PR Personalarbeit und Public Relations: Erfolgreiche Strategien und Praxisbeispiele
Read more
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Read more
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science)

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science)
Read more
Introduction to Computational Biology: An Evolutionary Approach

Introduction to Computational Biology: An Evolutionary Approach
Read more
Datenschutz kompakt und verstandlich, 2. Auflage: Eine praxisorientierte Einfuhrung und Online-Service

Datenschutz kompakt und verstandlich, 2. Auflage: Eine praxisorientierte Einfuhrung und Online-Service
Read more
Foundations of Knowledge Representation and Reasoning

Foundations of Knowledge Representation and Reasoning
Read more