Datalogisk Institut

Læs mere
1581 - 1590 ud af 1.702Pr. side: 10
Sortering: Udgivelsesdato
  1. 2000
  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. Udgivet

    Highly flexible nodes in external heaps

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

    Publikation: Working paper › Forskning

  8. Udgivet

    Highly flexible nodes in external heaps

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

    Publikation: Working paper › Forskning

  9. Udgivet

    Highly flexible nodes in external heaps

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

    Publikation: Working paper › Forskning

  10. Udgivet

    Highly flexible nodes in external heaps

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

    Publikation: Working paper › Forskning

  11. Udgivet

    Lienar-Time Self-Interpretation of the Pure Lambda Calculus

    Mogensen, Torben Ægidius, 2000, I: Higher-Order and Symbolic Computation. Vol.13 (3), s. 217-237

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

Forrige 1...155 156 157 158 159 160 161 162 ...171 Næste