Whit Wirsing's Documents

Whit Wirsing's Documents

The Ultimate Spanish Phraze Finder

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

The Ultimate Spanish Phraze Finder
Read more
Their Blood Runs Cold: Adventures with Reptiles and Amphibians

Their Blood Runs Cold: Adventures with Reptiles and Amphibians
Read more
Dead, She Was Beautiful

Dead, She Was Beautiful
Read more
The Rule of Law in Afghanistan: Missing in Inaction

The Rule of Law in Afghanistan: Missing in Inaction
Read more
Dead, She Was Beautiful

Dead, She Was Beautiful
Read more
Frogs: The Animal Answer Guide

Frogs: The Animal Answer Guide
Read more
Frogs: The Animal Answer Guide

Frogs: The Animal Answer Guide
Read more
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
Nobody is perfect

Nobody is perfect
Read more
Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project
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
Theoretical Aspects of Computing - ICTAC 2005, 2 conf

Theoretical Aspects of Computing - ICTAC 2005, 2 conf
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
Adapting proofs-as-programs

Adapting proofs-as-programs
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
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
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
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
Lincoln and Freedom: Slavery, Emancipation, and the Thirteenth Amendment

Lincoln and Freedom: Slavery, Emancipation, and the Thirteenth Amendment
Read more