Periódicos correntes

Your search returned 5 results.

Results
	1.	No cover image available No cover image available No cover image available 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). Place hold Add to cart (remove)
	2.	No cover image available No cover image available No cover image available 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). Place hold Add to cart (remove)
	3.	No cover image available No cover image available No cover image available 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). Place hold Add to cart (remove)
	4.	No cover image available No cover image available No cover image available 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). Place hold Add to cart (remove)
	5.	No cover image available No cover image available No cover image available 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). Place hold Add to cart (remove)

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

Powered by Koha