Martin Wirsing's Documents

Martin Wirsing's Documents

Programming Language Implementation and Logic Programming, 4 conf., PLILP'92

Programming Language Implementation and Logic Programming, 4 conf., PLILP'92
Read more
STACS 88, Theoretical Aspects of Computer Science 5 conf

STACS 88, Theoretical Aspects of Computer Science 5 conf
Read more
Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project
Read more
Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Read more
Theoretical Aspects of Computing - ICTAC 2005, 2 conf

Theoretical Aspects of Computing - ICTAC 2005, 2 conf
Read more
The Ultimate Spanish Phraze Finder

The Ultimate Spanish Phraze Finder
Read more
The Ultimate Spanish Phraze Finder

The Ultimate Spanish Phraze Finder
Read more
Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

Trustworthy Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)
Read more
Recent Trends in Algebraic Development Techniques, 16 conf., WADT 2002

Recent Trends in Algebraic Development Techniques, 16 conf., WADT 2002
Read more
Web Engineering - 4 conf., ICWE 2004

Web Engineering - 4 conf., ICWE 2004
Read more
Adapting proofs-as-programs

Adapting proofs-as-programs
Read more
Radical Innovations of Software and Systems Engineering in the Future

Radical Innovations of Software and Systems Engineering in the Future
Read more
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)

Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Read more
Adapting Proofs-as-Programs: The Curry-Howard Protocol

Adapting Proofs-as-Programs: The Curry-Howard Protocol
Read more
Nobody is perfect

Nobody is perfect
Read more
Number Theory

Number Theory
Read more
Fixing fractured nations: the challenge of ethnic separatism in the Asia-Pacific

Fixing fractured nations: the challenge of ethnic separatism in the Asia-Pacific
Read more
STACS 87, Theoretical Aspects of Computer Science 4 conf

STACS 87, Theoretical Aspects of Computer Science 4 conf
Read more
Software-Intensive Systems and New Computing Paradigms

Software-Intensive Systems and New Computing Paradigms
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