search result

Cover von Measuring and modelling image structure
Author: Sporring, Jon Search for this author
Year: 1998
Publisher: Kopenhagen, Universität
Series: Technical report / University of Copenhagen / Datalogisk institut; 98/28
Media group: DISSERTATION
Cover von The complexity of simple subtyping systems
Author: Rehof, Jakob Search for this author
Year: 1998
Publisher: Kopenhagen, Universität
Series: Technical report / University of Copenhagen / Datalogisk institut; 98/19
Media group: DISSERTATION
Cover von Polymorphic dynamic typing aspects of proof theory and inference
Author: Rehof, Jakob Search for this author
Year: 1995
Publisher: Kopenhagen, Universität
Series: Technical report / University of Copenhagen / Datalogisk institut; 95/9
Media group: DISSERTATION
Cover von Generic image structure
Author: Fogh Olsen, Ole Search for this author
Year: 2000
Publisher: Kopenhagen, University
Series: Technical report / University of Copenhagen / Datalogisk institut; 2000/04
Media group: DISSERTATION
Cover von Terminator II
stopping partial evaluatin of fully recursive programs
Author: Glenstrup, Arne John Search for this author
Year: 1999
Publisher: Kopenhagen, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/8
Media group: DISSERTATION
Cover von Timbre models of musical sounds
from the model of one sound to the model of one instrument
Author: Jensen, Kristoffer Search for this author
Year: 1999
Publisher: Kopenhagen, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/7
Media group: DISSERTATION
Cover von Program modules, separate compilation, and intermodule optimisation
Author: Elsman, Martin Search for this author
Year: 1999
Publisher: Kopenhagen, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/3
Media group: DISSERTATION
Cover von Perfect supercompilation
master's thesis
Author: Secher, Jens Peter Search for this author
Year: 1999
Publisher: Kopenhagen, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/1
Media group: DISSERTATION
Cover von Termination analysis for offline partial evaluation of a higher order functional language
Author: Andersen, Peter Holst Search for this author
Year: 1999
Publisher: Kopenhagen, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/6
Media group: DISSERTATION
Cover von Modal logic and the Curry-Howard isomorphism
Author: Nielsen, Michael Florentin Search for this author
Year: 1999
Publisher: Kopenhagen, Univ.
Series: Technical report / University of Copenhagen / Datalogisk institut; 99/10
Media group: DISSERTATION
OPEN V 11.1.0.0