Department of Informatics and Mathematical Modeling

21 - 30 out of 745Page size: 10
RSS feed of this list
Sort by: Start date
  1. Completed

    Formelle metoder til udvikling af parallelle systemer

    Grønning, P. & Løvengreen, H. H.

    01-02-90 → 28-01-97

    Project: PhD

  2. Completed

    Datalogisk retsvidenskab. Vidensreepræsentation og inferens i forb. med menneskeskabte overenskomster og forskrifter

    Karpf, J., Nilsson, J. F. & Østerby, T.

    01-03-90 → 15-08-95

    Project: PhD

  3. Completed

    Idenfifikation af dynamsike systemer i kontinuert tid

    Melgaard, H., Madsen, H., Hendricks, E. & Holst, J.

    01-03-90 → 09-03-95

    Project: PhD

  4. Completed

    Programudviklingsmodeller i et hypertekstbaseret informationssystem

    Lange, D. B. & Bjørner, D.

    01-07-90 → 26-05-94

    Project: PhD

  5. Completed

    Undersøgelser af kontrolstrategier for regulering af fjernvarmesystemer

    Palsson, O. P., Madsen, H. & Ravn, H. V.

    01-07-90 → 27-05-94

    Project: PhD

  6. Completed

    Global optimization

    Madsen, K., Stauning, O., Zerchaninov, S., Zilinskas, A. & Zilinskas, J.

    01-08-90 → …

    Project

  7. Completed

    Adaptive filtre til undertrykkelse af akustisk ekko i mobiltelefoner

    Jensen, S. H. & Sørensen, J. A.

    01-09-90 → 30-08-95

    Project: PhD

  8. Completed

    Deltamodellering

    Thygesen, B. G. & Poulsen, N. K.

    01-09-90 → 18-04-94

    Project: PhD

  9. Completed

    Formelle metoder til test af parallelle systemer

    Binau, U. & Sharp, R.

    01-09-90 → 01-07-94

    Project: PhD

  10. Completed

    Korrekthed af protokoller i ditribuerede systemer

    Søgaard-Andersen, J. F. & Løvengreen, H. H.

    01-09-90 → 09-01-95

    Project: PhD

Previous 1 2 3 4 5 6 7 8 ...75 Next
Anker Engelunds Vej 1Building 101A2800 Kgs. LyngbyTel +45 45 25 25 25VAT 30 06 09 46EAN