Résultat(s)
1 - 5
résultats de
5
pour la requête '
Lime Didier
'
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
Lime Didier
Résultat(s)
1 - 5
résultats de
5
pour la requête '
Lime Didier
'
, Temps de recherche: 0,03s
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 d'applications temps réel à l'aide de réseaux de Petri temporels étendus
par
Lime
Didier
,
Trinquet Yvon
,
Roux Olivier
[s.n.] 2004
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
Synthèse de systèmes informatiques temporisés non interférents
par
Benattar Gilles
,
Roux Olivier
,
Lime
Didier
[s.n.] 2011
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 3
3
Problèmes d'optimisation dans les graphes paramétrés
par
Sérée Bastien
,
Lime
Didier
,
Jezequel Loïg
,
Markey Nicolas
,
André Étienne
Reynier Pierre-Alain
Sznajder Nathalie
Le Roux Stéphane
2022
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:
Merci de choisir la recherche numéro 4
4
Discrete Parameters in Petri Nets
par
David Nicolas
,
Jard Claude
,
Lime
Didier
,
Haddad Serge
,
Geeraerts Gilles
,
Leroux Jérôme
,
Bertrand Nathalie
2017
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:
Merci de choisir la recherche numéro 5
5
Vérification parametrée de systèmes temporisés
par
Jovanovic Aleksandra
2013
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:
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
thèses et écrits académiques
automates temporisés
contrôle
model-checking
petri, réseaux de
--
arbres (théorie des graphes) informatique
automate
canaux cachés
contraintes sur l énergie
décidabilité (logique mathématique)
graphes paramétrés
jeux sur les graphes
jeux temporisés
non-interférence
objectifs de parité
paramètres
plus court chemin
systèmes hybrides
temps réel (informatique)
théorie des graphes
théorie des jeux
transducteurs
vérification de modèles (informatique)
vérification de modèles (informatique) thèses et écrits académiques
×
Chargement en cours...