|
|
21.
|
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).
|
|
|
22.
|
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).
|
|
|
23.
|
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).
|
|
|
24.
|
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).
|
|
|
25.
|
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).
|
|
|
26.
|
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).
|
|
|
27.
|
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).
|
|
|
28.
|
Lectures on direct utilization of geothermal energy
by Lund, John W. Material type: Book Publisher: Rykjavik, Iceland: UNU. Geothermal Training Programme, 1996Online access: Freely accessible Availability: Items available for loan: [Call number: UNU B18232] (1).
|
|
|
29.
|
Thinking globally with M. Simai, Hungarian Academy of Sciences, former Director of UNU/WIDER
by Simai, Mihaly. Material type: Book Publisher: Tokyo New York 1997; United Nations University ; City University of New York Availability: Items available for loan: [Call number: UNU B22097b] (1).
|
|
|
30.
|
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).
|
|
|
31.
|
UNU/IAS report 2000 Material type: Book Publisher: Tokyo 2000; UNU Institute of Advanced Studies Availability: Items available for loan: [Call number: UNU B22539] (1).
|
|
|
32.
|
国連大学高等研究所年次報告書 2000 Material type: Book Publisher: Tokyo 2000; UNU Institute of Advanced Studies Other title: UNU/IAS report 2000.Availability: Items available for loan: [Call number: UNU B22543] (1).
|
|
|
33.
|
UNU in Africa : managing natural resources for sustainable development
by UNU-INRA. Material type: Book Publisher: Legon, Accra 1997; UNU Institute for Natural Resources in Africa Availability: Items available for loan: [Call number: AFR B22983] (1).
|
|
|
34.
|
東アジア研究・福岡国際文化会議1988 : 国連大学研究・研修センター誘致推進 = Fukuoka International Cultural Conference 1988 on the Problems of East Asian Studies : toward the establishment of a UN University research and training center
by Fukuoka UNESCO Association | Planning Committee of Establishment of a UNU RTC | Fukuoka City. Material type: Book Publisher: Fukuoka 1989; Fukuoka UNESCO Association Availability: Items available for loan: [Call number: UNU B23947] (1).
|
|
|
35.
|
The United Nations and crime prevention
by United Nations. Department of Public Information. Material type: Book Publisher: New York 1996; United Nations Availability: Items available for loan: [Call number: LAW B24437] (1).
|
|
|
36.
|
The United Nations University annual report
by United Nations University. Material type: Continuing resource Publisher: Tokyo : United Nations University, [1993?]-Other title: Annual report : United Nations University | UNU annual report.Online access: Freely accessible (English) Availability: Items available for loan: [Call number: UNU 1993-2014] (1).
|
|
|
37.
|
A compendium of training programmes and expertise capacities of Polish institutions registered in the TCDC-INRES database
by UNDP. Special Unit for Technical Cooperation among Developing Countries. Material type: Book Publisher: 1993; United Nations Development Programme Availability: Items available for loan: [Call number: DEV B26363] (1).
|
|
|
38.
|
Compendio de programas de capacitacion y servicios de expertos ofrecidos por las instituciones mejicanas registradas en la base de datos CTPD-INRES
by UNDP. Special Unit for Technical Cooperation among Developing Countries. Material type: Book Publisher: 1993; United Nations Development Programme Other title: A compendium of training programmes and expertise capacities of Mexican institutions registered in the TCDC-INRES database.Availability: Items available for loan: [Call number: DEV B26375] (1).
|
|
|
39.
|
A compendium of training programmes and expertise capacities of Cypriot institutions registered in the TCDC-INRES database
by UNDP. Special Unit for Technical Cooperation among Developing Countries. Material type: Book Publisher: 1993; United Nations Development Programme Availability: Items available for loan: [Call number: DEV B26376] (1).
|
|
|
40.
|
A compendium of training programmes and expertise capacities offered by Tanzanian institutions registered in the TCDC-INRES database
by UNDP. Special Unit for Technical Cooperation among Developing Countries. Material type: Book Publisher: 1993; United Nations Development Programme Availability: Items available for loan: [Call number: DEV B26377] (1).
|