Datalogisk Institut

Læs mere
1601 - 1610 ud af 1.703Pr. side: 10
Sortering: Udgivelsesdato
  1. 2000
  2. Udgivet

    Supporting Intellectual Work Through Artifact Rendering and Group Review, DIKU-rapport 00/11

    Yde, L. & Katajainen, J., 2000, Datalogisk Institut, Københavns Universitet, 14 s.

    Publikation: Working paper › Forskning

  3. Udgivet

    Word encoding tree connectivity works

    Alstrup, Stephen, Secher, J. P. & Thorup, Mikkel, 2000, Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms. s. 498-499 2 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  4. 1999
  5. Udgivet

    "Iyngby" - A modeler's matlab toolbox for spatio-temporal analysis of functional neuroimages: NeuroImage

    Hansen, L. K., Nielsen, F. Å., Toft, P., Liptrot, M. G., Goutte, C., Strother, S. C., Lange, Nina Tranekær, Gade, A., Rottenberg, D. A. & Paulson, Olaf B., 1999, I: NeuroImage. 9, 6 PART II

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  6. Udgivet

    AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem, Lecture Notes in Computer Science, Vol. 1581

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, Proceedings Symposium on Typed Lambda Calculus and Applications (TLCA). Springer, s. 6-13

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  7. Udgivet

    AnnoDomini: From Type Theory to Year 2000 Conversion Tool

    Eidorff, P. H., Henglein, Fritz, Mossin, C., Niss, H., Sørensen, M. H. & Tofte, M., 1999, ACM Priciples of Programming Languages. Association for Computing Machinery, s. 1-14

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  8. Udgivet

    Basics of Compiler Design, Kursusbog 5 Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 100 s.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

  9. Udgivet

    Basics of Compiler Design, Kususbog 6 til Dat1E

    Mogensen, Torben Ægidius, 1999, Datalogisk Institut, Københavns Universitet. 110 s.

    Publikation: Bog/antologi/afhandling/rapport › Bog › Undervisning

  10. Udgivet

    Block Truncation and Planar Image Coding

    Olsen, Søren Ingvor, 1999, Proceedings fra Den Ottende Danske Konference om Mønstergenkendelse og Billedanalyse. Datalogisk Institut, Københavns Universitet, s. 75-81

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

  11. Udgivet

    Block Truncation and Planar Image Coding

    Olsen, Søren Ingvor, 1999, Proceedings of the 11th Scandinavian Conference on Image Analysis. Lyngby: The Pattern Recognition Society of Denmark, s. 569-575

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

  12. Udgivet

    Breaking Through the n^3 Barrier: Faster Object Type Inference

    Henglein, Fritz, 1999, I: Theory and Practice of Object Systems (TAPOS). 5, 1, s. 57--72 13 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Forrige 1...157 158 159 160 161 162 163 164 ...171 Næste