Méthodes formelles pour le parallélisme

Spécification, modélisation et vérification des systèmes concurrents

Djalila Boughareb - ISBN: 978-613-9-52091-6

Traitement des données LiDAR

Optimisation de classification automatique des nuages de points acquis par LiDAR aéroporté

Nada HAMDANI, Lamyaa ZOUITINA - ISBN: 978-613-9-52294-1

Les protocoles de chirurgie vasculaire et endovasculaire

Protocole de prise en charge

Mohamed Ben Hammamia, Raouf Denguir - ISBN: 978-613-9-52151-7

Exploitation des eaux souterraines par forage manuel

Méthodes d'exploitation moins de 40 mètres de profondeur

Arnel Célestin Lovanomezanahary - ISBN: 978-613-9-50289-9

La Capacité de Contracteren Droit Malien

Mamadou Tchiekora Sacko - ISBN: 978-613-9-50512-8

Métallogénie des minéralisations à or et antimoine du Haut Atlas

Cas du gisement de Jbel Haouanite

Addi Azza - ISBN: 978-613-9-52260-6

Architectures d'alimentation et de commande d'actionneurs

tolérants au - Régulateur de Courant Non Linéaire à Large Bande Pas-sante

Mohammad Ali Shamsi Nejad - ISBN: 978-613-9-51923-1

La croissance radiale du genévrier thurifère dans le massif des Aurès

Étude de la croissance radiale du genévrier tufière

Farida Mettag - ISBN: 978-613-9-52046-6