Détail de l'indexation
Ouvrages de la bibliothèque en indexation 004.3 (9)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
texte imprimé
texte imprimé
Mathieu Zarouk, Auteur | Saint-Herblain : ENI | Epsilon (Saint-Herblain), ISSN 1960-3444 | cop. 2013texte imprimé
Bakhta Nachet, Auteur ; Abdelkader Adla, Auteur | Saarbrucken : Ed. universitaires européennes | 2015texte imprimé
Journées francophones sur les systèmes multi-agents (21; 2013; Lille), Auteur ; Salima Hssas, Directeur de publication ; Maxime Morge, Directeur de publication | Toulouse : Cépaduès éd. | impr. 2013, cop. 2013texte imprimé
Journées francophones sur les systèmes multi-agents (21; 2013; Lille), Auteur ; Pierre Chevaillier, Directeur de publication ; Bruno Mermet, Directeur de publication | [Toulouse : Cépaduès éd. | impr. 2012, cop. 2012texte imprimé
Jacques Jorda, Auteur | Paris : Dunod | Technique et ingénierie. Série EEA, ISSN 1632-448X | DL 2010texte imprimé
texte imprimé
Journées francophones sur les systèmes multi-agents (21; 2013; Lille), Auteur ; Alexis Drogoul, Directeur de publication ; Eric Ramat, Directeur de publication | Paris : Lavoisier | 2005texte imprimé
Analyse des principaux formalismes et des outils logiciels associés qui offrent des solutions pour spécifier un système temps réel et vérifier, avant le déploiement du système, le respect des propriétés attendues.
Accueil