|
|
1.
|
UNU/IIST Report Material type:  Book Publisher: 1993; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17256] (1).
|
|
|
2.
|
UNU/IIST Report. Material type: Book Publisher: Macau, UNU Institute for Software Technology, 1993-1994Availability: Items available for loan: [Call number: UNU B17266] (1).
|
|
|
3.
|
UNU/IIST Report Material type: Book Publisher: 1994; UNU Institute of Advanced Studies Availability: Items available for loan: [Call number: UNU B17276] (1).
|
|
|
4.
|
UNU/IIST Report Material type: Book Publisher: 1994-1995; UNU Institute of Advanced Studies Availability: Items available for loan: [Call number: UNU B17287] (1).
|
|
|
5.
|
A theory of distributing train rescheduling
by George, Chris. Material type: Book Publisher: Macau 1995; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17607] (1).
|
|
|
6.
|
Domain analysis for manufacturing : formalization
by Janowski, Tomasz. Material type: Book Publisher: Macau 1996; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17619] (1).
|
|
|
7.
|
Formal development of a digital multiplexed radio-telephone system
by Durmiendo, Roderick | George, Chris W. Material type: Book Publisher: Macau 1996; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17623] (1).
|
|
|
8.
|
Process algebra semantics of phiSDL
by Bergstra, J. A | Middelburg, C. A. Material type: Book Publisher: Macau 1996; UNU Institute for Software Technology Availability: Items available for loan: [Call number: LAT B17624] (1).
|
|
|
9.
|
Semantics and verification of extended phase transition systems in duration calculus
by Xu, Qiwen. Material type: Book Publisher: Macau 1996; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17628] (1).
|
|
|
10.
|
A first course in software engineering
by Reddy, Venkat P. Material type: Book Publisher: Macau 1996; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17634] (1).
|
|
|
11.
|
Some results on the decidability of duration calculus under sycnhronous interpretation
by Satpathy, Manoranjan | Dang, Hung Van | Pandya, Paritosh K. Material type: Book Publisher: Macau 1996; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17642] (1).
|
|
|
12.
|
Towards foundations of the general theory of transport domains
by Nikitchenko, Nikolaj. Material type: Book Publisher: Macau 1996; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17644] (1).
|
|
|
13.
|
UNU/IIST's software technology R&D in Africa, Asia, Eastern Europe, and Latin America : a personal view
by Bjorner, Dines. Material type: Book Publisher: Macau 1997; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17646] (1).
|
|
|
14.
|
A formal model for competing enterpriess, applied to marketing decision-making
by Janowski, T | Atienza, R. V. Material type: Book Publisher: Macau 1997; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU B17648] (1).
|
|
|
15.
|
UNU/IIST annual report 2000 Material type: Book Publisher: Macau 2001; UNU Institute for Software Technology Online access: Click here to access online Availability: Items available for loan: [Call number: UNU B22376] (1).
|
|
|
16.
|
UNU/IIST annual reports Material type: Book Publisher: 1992-; UNU Institute for Software Technology Availability: Items available for loan: [Call number: UNU E00178] (1).
|
|
|
17.
|
UNU/IIST Report
by UNU | UNU/IIST | UNU/CS. Material type: Book Publisher: Macau : UNU International Institute for Software Technology, 1995Availability: Items available for loan: [Call number: UNU B44815] (6).
|
