Résultat(s)
1 - 2
résultats de
2
pour la requête '
Traonouez Louis-Marie
'
Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
Se déconnecter
Mon compte
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Auteur
Traonouez Louis-Marie
Résultat(s)
1 - 2
résultats de
2
pour la requête '
Traonouez Louis-Marie
'
, Temps de recherche: 0,01s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Merci de choisir la recherche numéro 1
1
Vérification et dépliages de réseaux de Petri temporels paramétrés
par
Traonouez
Louis
-
Marie
[s.n.] 2009
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Thèse ou mémoire
Chargement en cours...
Réserver
|
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Merci de choisir la recherche numéro 2
2
Vérification et dépliages de réseaux de Petri temporels paramétrés
par
Traonouez
Louis
-
Marie
,
Roux Olivier Henri
,
Delfieu David
[s.n.] 2009
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Accès en ligne
Thèse ou mémoire
En ligne
Ajouter au panier
Retirer du panier
|
Ajouter à vos listes
Enregistré dans:
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
Réutiliser cette recherche:
Flux RSS
–
Envoyer cette recherche par courriel
–
Enregistrer la recherche
Vous cherchez un article par son titre ?
Consultez notre
mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien
.
Vous n'avez pas trouvé ?
Recherchez
dans d'autres universités (SUDOC)
, faites
une demande de Prêt entre bibliothèques (PEB)
ou faites
une suggestion d'achat
.
Sujets similaires
model-checking
logique temporelle
logique temporelle thèses et écrits académiques
méthodes formelles (informatique)
méthodes formelles (informatique) thèses et écrits académiques
ordonnancement (gestion)
ordonnancement (gestion) thèses et écrits académiques
petri, réseaux de
petri, réseaux de thèses et écrits académiques
temps réel (informatique)
temps réel (informatique) thèses et écrits académiques
thèses et écrits académiques
×
Chargement en cours...