Datalogisk Institut

Læs mere
11 - 20 ud af 1.702Pr. side: 10
Sortering: Titel
  1. Udgivet

    Bayes estimation of shape model with application to vertebrae boundaries

    Crimi, A., Ghosh, A., Sporring, Jon & Nielsen, Mads, 2009, Medical Imaging 2009: Image Processing (Proceedings Volume). Bind 7259. 8 s.

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

  2. Udgivet

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, I: International Journal on Software Tools for Technology Transfer. s. 485 - 516 31 s.

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

  3. Udgivet

    Essays on C++ concepts

    Katajainen, J., 2008, 14 s.

    Publikation: Working paper

  4. Udgivet

    Making operations on standard-library containers strongly exception safe

    Katajainen, J., 2007, Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software. Bind 07. s. 158-169

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

  5. Udgivet

    Mini-project: Safe standard-library containers

    Katajainen, J., 2008, 2 udg., 6 s.

    Publikation: Working paper

  6. Udgivet

    Priority-queue framework: Programs

    Katajainen, J., 2009, 7 udg., København, 122 s.

    Publikation: Working paper

  7. Udgivet

    Proceedings of the 9th Scandinavian Workshop on Algorithm Theory: Lecture Notes in Computer Science 3111

    Katajainen, J. & Hagerup, T., 2004, Springer-Verlag. 506 s.

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

  8. Udgivet

    Project proposal: Associative containers with strong guarantees. CPH STL Report 2007-4

    Katajainen, J., 2007, 39 s.

    Publikation: Working paper

  9. Udgivet

    Project proposal: A meldable, iterator-valid priority queue. CPH STL Report 2005-1

    Katajainen, J., 2005, 37 s.

    Publikation: Working paper

  10. Udgivet

    Research proposal: Generic programming-algorithms and tools: CPH STL Report 2005-5

    Katajainen, J., 2005, 9 s.

    Publikation: Working paper

Forrige 1 2 3 4 5 6 7 8 ...171 Næste