2 résultat(s) recherche sur le tag 'systemes repartis'

ACSY-R: Un Modèle pour l'Analyse, la Spécification et la Simulation de la Commande de Systèmes Discrets Complexes Répartis / V. CHAPURLAT

Public ISBD Titre : ACSY-R: Un Modèle pour l'Analyse, la Spécification et la Simulation de la Commande de Systèmes Discrets Complexes Répartis Type de document : texte imprimé Auteurs : V. CHAPURLAT, Auteur Année de publication : 1994 Langues : Français (fre) Tags : SYSTEMES AUTOMATISES DE PRODUCTION  GENIE AUTOMATIQUE  MODELISATION  GRAFCET  RESEAUX DE PETRI INTERPRETES  SYSTEMES REPARTIS  SYSTEMES DISTRIBUES  GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : PRUNET F. Président du jury : TAHON C. Rapporteur(s) : DESCOTES-GENON B. Examinateur(s) : LHOSTE P.;CALLET J.P. Date de soutenance : 29/09/1994 ACSY-R: Un Modèle pour l'Analyse, la Spécification et la Simulation de la Commande de Systèmes Discrets Complexes Répartis [texte imprimé] / V. CHAPURLAT, Auteur . - 1994. Langues : Français (fre) Tags : SYSTEMES AUTOMATISES DE PRODUCTION  GENIE AUTOMATIQUE  MODELISATION  GRAFCET  RESEAUX DE PETRI INTERPRETES  SYSTEMES REPARTIS  SYSTEMES DISTRIBUES  GENIE INFORMATIQUE, AUTOMATIQUE ET TRAITEMENT DU SIGNAL Index. décimale : THE Thèses de doctorat Directeur(s) de thèse : PRUNET F. Président du jury : TAHON C. Rapporteur(s) : DESCOTES-GENON B. Examinateur(s) : LHOSTE P.;CALLET J.P. Date de soutenance : 29/09/1994

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
THE-94 / 5265	Papier	THESES	NON CLASSES		Disponible

Méthodes Formelles pour les Systèmes Répartis et Coopératifs / S. HADDAD

Public ISBD Titre : Méthodes Formelles pour les Systèmes Répartis et Coopératifs Type de document : texte imprimé Auteurs : S. HADDAD, Auteur ; F. KORDON, Auteur ; L. PETRUCCI, Auteur Editeur : Hermès Sciences Année de publication : 2006 Importance : 347 p. ISBN/ISSN/EAN : 2-7462-1447-4 Langues : Inconnue (und) Tags : VALIDATION  FORMEL  VERIFICATION  MODELISATION  SYSTEMES REPARTIS Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations Méthodes Formelles pour les Systèmes Répartis et Coopératifs [texte imprimé] / S. HADDAD, Auteur ; F. KORDON, Auteur ; L. PETRUCCI, Auteur . - [S.l.] : Hermès Sciences, 2006 . - 347 p. ISBN : 2-7462-1447-4 Langues : Inconnue (und) Tags : VALIDATION  FORMEL  VERIFICATION  MODELISATION  SYSTEMES REPARTIS Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
I6 / 13849	Papier	OUVRAGES	INFORMATIQUE		Emprunté par: Karen Godary Sorti jusqu'au 22/05/2011