Conception et certification de programmes à partir d'une décomposition par les données

Conception des systèmes logiques

2e année ENSIMAG-C'4 maîtrise informatique. 1, Automates

Computerized literature searching

research strategies and databases

Computer-output microfilm

its library applications

Notes & exercices for SQLPLUS Commands