1.
| Formal models of stepwise refinement of programs
/ Mili, A. ; Desharnais, J. ; Gagne, J.-R.
[TA 6412]
Published in:A.C.M. Computing Surveys (USA): vol. 018 (no 03), pp. 231-276
|
2.
| National water resources management planning based on gis
/ Keser, G. ; Bogardi, J.-J.
[TA 1997847]
Published in:TAHS-AISH Publication (GBR): vol. 0211, pp. 439-448
|
3.
| Increasing software reliability using a signature method
/ Ghribi, S. ; Abdennadher, A.
[TA 1997113771]
Published in:Information Sciences (USA): vol. 99 (no 3-4), pp. 235-246
|
4.
| La Protection du logiciel par la loi n° 94-36 du 24 fevrier 1994 relative a la propriete litteraire et artistique
/ Mezghani, N.
, 1994
[RTU 16]
Published in:Rev. Tun. Droit: (n° 1994), pp. 39-55
|
5.
| Un Systeme de developpement portable pour microprocesseurs INTEL MCS-51
/ Thedie, B. ; Durand, B.
, 1987
[RTU 02]
Published in:Ann. ENIT: vol. 01 (no 01), pp. 49-61
|
6.
| Conception interactive d'un trace routier sur ordinateur CITRO
/ Ben-Said, C. ; Fatmi, R. ; Limam, M.
, 1988
[RTU 02]
Published in:Ann. ENIT: vol. 02 (no 01), pp. 41-51
|
7.
| Un Gestionnaire de banque de donnees "ENIG - Data": application aux donnees thermodynamiques
/ Bhiri, M.-T. ; Jeday, M.-R. ; Abidi, K.
, 1990
[RTU 02]
Published in:Ann. ENIT: vol. 04 (no 02), pp. 175-189
|
8.
| Le Contentieux des logiciels et des donnees informatiques en Tunisie
/ Kallel, S.
, 1995
[RTU 11]
Published in:Rev. Tun. Comm.: (no 27), pp. 63-77
|
9.
| Le Contentieux des logiciels des donnees informatiques en Tunisie
/ Kallel, S.
, 1998
[RTU 11]
Published in:Rev. Tun. Comm.: (no 33-34), pp. 67-83
|
10.
| Soft: Windows Millennium arrive
/ Gontara, M.
, 2000
[RTU 01]
Published in:Afr. Econ.: (no 304), pp. 15-16
|