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