Your search returned 7 results.

Sort
Results
1.
Nordic workshop on programming environment research: Aalborg, May 29-31, 1996/ edited by Lars Bendix, Kurt Normark, Kasper Osterbye. by
  • Bendix, Lars
  • Nørmark, Kurt
  • Osterbye, Kasper
Series: Report (Aalborg universitetscenter. Institut for elektroniske systemer. Afdeling for matematik og datalogi) ; R-96-2019.
Publication details: Aalborg, Denmark: Aalborg University, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1996]
Availability: Items available for loan: Castorina (1)Call number: 005.133 N832 1996 IMPA.

2.
Linear and graphical models for the multivariate complex normal distribution. by
  • Andersen, H. H. (Heidi H.)
  • Hojbjerre, M
  • Sorensen, D. C. (Danny C.)
  • Eriksen, Poul Svante
Edition: [1st ed.]
Publication details: Aalborg, Denmark: Aalborg University, 1993
Availability: Items available for loan: Castorina (1)Call number: 519.2 A544l 1993 IMPA.

3.
Open distributed heterogeneous computing/ by Christian J. Callsen. by
  • Callsen, Christian J
Series: Report (Aalborg universitetscenter. Afdeling for matematik og datalogi) ; R 94-2025.
Language: English Summary language: Danish
Publication details: Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1994]
Dissertation note: Thesis (Ph. D.)--Aalborg University, 1994.
Availability: Items available for loan: Castorina (1).

4.
Timed modal specifications: a theory for verification of real-time concurrent systems/ by Jens Chr. Godskesen. by
  • Godskesen, Jens C
Series: Report (Aalborg universitetscenter. Afdeling for matematik og datalogi) ; R 94-2039.
Language: English Summary language: Danish
Publication details: Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1994]
Dissertation note: Thesis (Ph. D.)--Aalborg University, 1994.
Availability: Items available for loan: Castorina (1).

5.
Model construction for hybrid implicit specifications/ by Ole Hogh Jensen, Christian Jeppesen, Jarl Tuxen Lang. by
  • Jensen, Ole H
  • Jeppesen, Christian
  • Lang, Jarl Tuxen
Series: Report (Aalborg universitetscenter. Afdeling for matematik og datalogi) ; R 94-2012.
Publication details: Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1994]
Dissertation note: Thesis (M.S.)--Aalborg University, 1994.
Availability: Items available for loan: Castorina (1).

6.
Learning and using methodologies in information systems analysis and design/ by Peter Axel Nielsen. by
  • Nielsen, Peter A
Series: Report (Aalborg universitetscenter. Afdeling for matematik og datalogi) ; R 91-25.
Publication details: Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1991]
Dissertation note: Thesis (Ph. D.)--Lancaster University, 1990.
Availability: Items available for loan: Castorina (1).

7.
Specification and decomposition in concurrency/ by Liu Xinxin. by
  • Xinxin, Liu
Series: Report (Aalborg universitetscenter. Afdeling for matematik og datalogi) ; R 92-2005.
Publication details: Aalborg, Denmark: University of Aalborg, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1992]
Dissertation note: Thesis (Ph. D.)--University of Aalborg, 1992.
Availability: Items available for loan: Castorina (1).

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha