INFORMATIQUE ET
Livres (25)
-
add_box
Systemes temps reel 1 : techniques de description et de verification (traite ic2, serie informatique
-
add_box
Utilisations industrielles des techniques formelles : interprétation abstraite
-
add_box
Graphes et applications 1 (traite ic2, serie informatique et systemes d'information)
-
add_box
Systèmes temps réel 2 : ordonnancement, réseaux et qualité de service
-
add_box
Graphes et applications 2 (traite ic2, serie informatique et systemes d'information)
-
add_box
Informatique et intelligence ambiante : Des capteurs aux applications
-
add_box
Le maitre d'ouvrage du systeme d'information : principes manageriaux en action
-
add_box
Logique floue, principes, aide a la decision (traite ic2, serie informatique et systemes d'informati
-
add_box
Outils de mise en oeuvre industrielle des techniques formelles
-
add_box
Analyse de traces et personnalisation des environnements informatiques pour l'apprentissage...
-
add_box
Optimisation combinatoire - t04 - optimisation combinatoire - vol04 - problemes paradigmatiques
-
add_box
Les réseaux de Petri : modèles fondamentaux
-
add_box
Management des connaissances - modeles d'entreprise et applications
-
add_box
Processus décisionnels de Markov en intelligence artificielle (les 2 volumes)
-
add_box
Optimisation combinatoire 2 : concepts avancés
-
add_box
Optimisation combinatoire 3 : applications
-
add_box
Optimisation combinatoire 5 : problèmes paradigmatiques et nouvelles problématiques
-
add_box
Les documents écrits : de la numérisation à l'indexation par le contenu
-
add_box
Interaction homme-machine dans les transports ; personnalisation, assistance et informations du voyageur
-
add_box
Graphes et applications (les 2 volumes) (traite ic2, serie informatique et systemes d'information)
-
add_box
Optimisation approchee en recherche operationnelle (traite ic2, serie informatique et systemes d'inf
-
add_box
Vérification et mise en oeuvre des réseaux de Pétri
-
add_box
Principes et architecture des systemes multi-agents (traite ic2, serie informatique et systemes d'in
-
add_box
Informatique pour l'analyse du transcriptome
-
add_box
Dispositifs de formation et environnements numériques ; enjeux pédagogiques et contraintes informatiques