Department of Computer Science

Read more
1 - 10 out of 154Page size: 10
Sort by: 1st author
  1. Published

    A financial benchmark for GPGPU compilation

    Andreetta, C., Begot, V., Berthold, J., Elsman, Martin, Henriksen, Troels, Nordfang, M. & Oancea, Cosmin Eugen, 2015, Department of Computer Science, Faculty of Science, University of Copenhagen. 16 p.

    Research output: Book/Report › Report › Research

  2. Published

    Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory

    Annenkov, D., 2017, Department of Computer Science, Faculty of Science, University of Copenhagen.

    Research output: Book/Report › Ph.D. thesis › Research

  3. Published

    Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting

    Bahr, P., 31 Oct 2012, 466 p.

    Research output: Book/Report › Ph.D. thesis › Research

  4. Published

    Syv samtaler om systemarbejde

    Bansler, Jørgen P., 1987, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  5. Published

    Systems development in Scandinavia: Three theoretical schools

    Bansler, Jørgen P., 1989, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  6. Published

    Systemudvikling: teori og historie i skandinavisk perspektiv

    Bansler, Jørgen P., 1987, Studentlitteratur.

    Research output: Book/Report › Book › Research

  7. Published

    Proceedings of the 16th IRIS: Information Systems Research Seminar in Scandinavia: Copenhagen, 7-10 August 1993

    Bansler, Jørgen P., 1993, Datalogisk Institut.

    Research output: Book/Report › Book › Research

  8. Published

    Math in the cabin - shape analysis workshop in Bad Gastein

    Bauer, M., Bruveris, M., Harms, P., Khesin, B., Marsland, S., Michor, P., Modin, K., Müller, O., Pennec, X., Sommer, Stefan Horst & Vialard, F., 2014, Brunel University London. 29 p.

    Research output: Book/Report › Report › Research

  9. Published

    The Fifth International Workshop on Pulmonary Image Analysis: Nagoya, Japan, September 26, 2013

    Beichel, R. R. (ed.), de Bruijne, Marleen (ed.), Kabus, S. (ed.), Kiraly, A. P. (ed.), Kuhnigk, J. (ed.), McClelland, J. R. (ed.), Kitasaka, T. (ed.), van Rikxoort, E. (ed.) & Rit, S. (ed.), 2013, CreateSpace Independent Publishing Platform . 160 p.

    Research output: Book/Report › Book › Research › peer-review

  10. Published

    VRIPHYS 11: 8th Workshop on Virtual Reality Interactions and Physical Simulations

    Bender, J. (ed.), Erleben, Kenny (ed.) & Galin, E. (ed.), 2011

    Research output: Book/Report › Anthology › Research

Previous 1 2 3 4 5 6 7 8 ...16 Next