Home Advanced Search

Advanced Search - Page 1

Adapting Proofs-as-Programs: The Curry-Howard Protocol

PDF
English
Year: 2005
Author: Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley (auth.)

The Dasmariñases, Early Governors of the Spanish Philippines

EPUB
English
Year: 2016
Author: John Newsome Crossley

Hernando de Los Ríos Coronel and the Spanish Philippines in the Golden Age

EPUB
English
Year: 2011
Author: John Newsome Crossley

Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

PDF
English
Year: 1975
Author: J N Crossley (auth.), Prof. John Newsome Crossley (eds.)

Component-Based Software Engineering: 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

PDF
English
Year: 2009
Author: Dominik Birkmeier, Sven Overhage (auth.), Grace A. Lewis, Iman Poernomo, Christine Hofmeister (eds.)

Elementare Aussagenlogik

PDF
German
Year: 1991
Author: Friedrich L. Bauer, Martin Wirsing (auth.)

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

PDF
German
Year: 2013
Author: Matthias Hölzl, Allaithy Raed, Martin Wirsing (auth.)

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

PDF
English
Year: 2011
Author: Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

PDF
English
Year: 2011
Author: Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

DJVU
English
Year: 1992
Author: Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)