Martin Leucker's Documents

Martin Leucker's Documents

Runtime Verification: 8th International Workshop, RV 2008 Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)

Runtime Verification: 8th International Workshop, RV 2008 Budapest, Hungary, March 30, 2008, Selected Papers (Lecture Notes in Computer Science)
Read more
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Functional programming languages for verification tools.A comparison of Standard ML and Haskell

Functional programming languages for verification tools.A comparison of Standard ML and Haskell
Read more
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)
Read more
Rebuses for Readers

Rebuses for Readers
Read more
Unsound Variations

Unsound Variations
Read more
The One True Ocean

The One True Ocean
Read more
Simetria Y Sistemas Dinamicos

Simetria Y Sistemas Dinamicos
Read more
Czytanie Pisma Świętego jako słowa Bożego

Czytanie Pisma Świętego jako słowa Bożego
Read more
The One True Ocean

The One True Ocean
Read more
Mr. Boffo Shrink Wrapped

Mr. Boffo Shrink Wrapped
Read more
Randomly Stirred fluids SupplProg

Randomly Stirred fluids SupplProg
Read more
Beyond Belief

Beyond Belief
Read more
Mathematisch für fortgeschrittene Anfänger: Weitere beliebte Beiträge von Matroids Matheplanet

Mathematisch für fortgeschrittene Anfänger: Weitere beliebte Beiträge von Matroids Matheplanet
Read more
Automatentheorie und Logik (eXamen.press)

Automatentheorie und Logik (eXamen.press)
Read more
Meine Jacobsleiter: Stufenweise in den kulinarischen Himmel mit dem Küchenchef des Hotel Louis C. Jacob

Meine Jacobsleiter: Stufenweise in den kulinarischen Himmel mit dem Küchenchef des Hotel Louis C. Jacob
Read more
Learned Optimism

Learned Optimism
Read more
Arizona's mountains: a hiking guide to the Grand Canyon state

Arizona's mountains: a hiking guide to the Grand Canyon state
Read more
The Risk Takers: 16 Women and Men Who Built Great Businesses Share Their Entrepreneurial Strategies For Success

The Risk Takers: 16 Women and Men Who Built Great Businesses Share Their Entrepreneurial Strategies For Success
Read more
Q&A Equity and Trusts 3rd edn (Q&A Series)

Q&A Equity and Trusts 3rd edn (Q&A Series)
Read more
[ss] Squeaky

[ss] Squeaky
Read more
Pring on Price Patterns : The Definitive Guide to Price Pattern Analysis and Intrepretation

Pring on Price Patterns : The Definitive Guide to Price Pattern Analysis and Intrepretation
Read more
The Risk Takers: 16 Women and Men Who Built Great Businesses Share Their Entrepreneurial Strategies For Success

The Risk Takers: 16 Women and Men Who Built Great Businesses Share Their Entrepreneurial Strategies For Success
Read more
Model-Based Testing of Reactive Systems, Advanced Lectures 2004

Model-Based Testing of Reactive Systems, Advanced Lectures 2004
Read more
Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures
Read more
Sidney: The Critical Heritage

Sidney: The Critical Heritage
Read more
Essays in financial engineering

Essays in financial engineering
Read more
Massinger (Critical Heritage Series)

Massinger (Critical Heritage Series)
Read more
A Darker Geometry: A Man-Kzin Novel

A Darker Geometry: A Man-Kzin Novel
Read more
The Aggressive Conservative Investor (Wiley Investment Classics)

The Aggressive Conservative Investor (Wiley Investment Classics)
Read more