United Nations University Library

Your search returned 75 results. Subscribe to this search

Not what you expected? Check for suggestions
|
21. Process algebra semantics of phiSDL

by Bergstra, J. A | Middelburg, C. A.

Material type: book 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 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 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 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 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 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 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 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 Book Publisher: Tokyo New York 1997; United Nations University ; City University of New York Availability: Items available for loan: [Call number: UNU B22097b] (1).
Lists:

30. UNU/IIST annual report 2000

Material type: book 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 Book Publisher: Tokyo 2000; UNU Institute of Advanced Studies Availability: Items available for loan: [Call number: UNU B22539] (1).
Lists:

32. 国連大学高等研究所年次報告書 2000

Material type: book 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).
Lists:

33. UNU in Africa : managing natural resources for sustainable development

by UNU-INRA.

Material type: book 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 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 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: serial 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 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 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 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 Book Publisher: 1993; United Nations Development Programme Availability: Items available for loan: [Call number: DEV B26377] (1).


© United Nations University Library, 2022. All rights reserved.

Powered by Koha