Periódicos correntes

Your search returned 5 results.

Results
	1.	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 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 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 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 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