Datalogisk Institut

Læs mere
101 - 110 ud af 1.702Pr. side: 10
Sortering: Udgivelsesdato
  1. 1999
  2. Udgivet

    Tractable Constraints in Finite Semilattices

    Rehof, N. J. & Mogensen, Torben Ægidius, 1999, I: Science of Computer Programming. Vol.35, no.2-3, November, s. 191-221

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

  3. 2000
  4. Udgivet

    Amanda - og problemerne med Statens IT-projekter

    Frøkjær, Erik, 2000, Konference Softwareudvikling. Teknologisk Institut, s. 10

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

  5. Udgivet

    An fMRI study of visual activation in young and elderly healthy subjects: NeuroImage

    Rostrup, Egill, Liptrot, M. G., Garde, E. & Hansen, L. K., 2000, I: NeuroImage. 11, 5 PART II

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

  6. Udgivet

    Asymptotically efficient in-place merging

    Geffert, V., Katajainen, J. & Pasanen, T., 2000, I: Theoretical Computer Science. 237, 1-2, s. 159-181

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

  7. Udgivet

    Basics of Compiler Design, Kursusbog for Datalogi 1E, Vol.5, 2. edition

    Mogensen, Torben Ægidius, 2000, Datalogisk Institut, Københavns Universitet. 217 s.

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

  8. Udgivet

    Block Truncation and planar image coding, Vol.21, no.13-14

    Olsen, Søren Ingvor, 2000, Pattern Recognition Letters. Elsevier, s. 1141-1148

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

  9. Udgivet

    Efficient first order functional program interpreter with time bound certifications

    Marion, J. & Moyen, J., 2000, LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS. Bind 1955. s. 25-42

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

  10. Udgivet

    Exact Algorithms for Plane Steiner Tree Problems: A Computational Study

    Warme, D. M., Winter, Pawel & Zachariasen, M., 2000, Advance in Steiner Trees. Kluwer Academic Publishers, s. 81-116

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

  11. Udgivet

    Glossary for Partial Evaluation and Related Topics

    Mogensen, Torben Ægidius, 2000, I: Higher-Order and Symbolic Computation. Vol.13 (4), s. 355-368

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

  12. Udgivet

    Highly flexible nodes in external heaps

    Brodal, G. S. & Katajainen, J., 2000.

    Publikation: Working paper

Forrige 1...7 8 9 10 11 12 13 14 ...171 Næste