|
|
1.
|
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).
|
|
|
2.
|
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).
|
|
|
3.
|
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).
|
|
|
4.
|
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).
|
|
|
5.
|
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).
|
|
|
6.
|
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).
|
|
|
7.
|
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).
|
|
|
8.
|
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).
|
|
|
9.
|
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).
|
|
|
10.
|
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).
|
|
|
11.
|
Changing dynamics of global computer software and services industry : implications for developing countries
by Kozul-Wright, Zeljka | Howells, Jeremy. Material type: Book Publisher: 2002; United Nations Availability: Items available for loan: [Call number: TEC B24659] (1).
|
|
|
12.
|
Environmental software systems : environmental information and decision support
by Denzer, Ralf [edt]. Material type: Book Publisher: 2000; Kluwer Academic Publishers Availability: Items available for loan: [Call number: ENV B29559] (1).
|
|
|
13.
|
The international mobility of technical talent : trends and development implications
by D'Costa, Anthony P. Material type: Book Publisher: Helsinki 2006; UNU World Institute for Development Economics Research Availability: Items available for loan: [Call number: UNU E00468] (1).
|
|
|
14.
|
A case study on memory based machine translation tools
by Planas, Emmanuel. Material type: Book Publisher: 1997?; UNU Institute of Advanced Studies Online access: Click here to access online Availability: Items available for loan: [Call number: UNU IAS044] (1).
|
|
|
15.
|
Android programming : pushing the limits / Erik Hellman.
by Hellman, Erik [aut]. Publisher: West Sussex : John Wiley, 2014Online access: full text available (within UNU Campus) / ebrary Availability: Items available for loan: [Call number: TEC E00950] (1).
|
