Résultat(s)
21 - 21
résultats de
21
pour la requête '
Roux Olivier Henri
'
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
Roux Olivier Henri
Résultat(s)
21 - 21
résultats de
21
pour la requête '
Roux Olivier Henri
'
, Temps de recherche: 0,02s
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 21
21
Modélisation, simulation et vérification des grands réseaux de régulation biologique
par
Paulevé Loïc
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:
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter à vos listes
Ajouter au panier
[1]
Précédent
1
2
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
petri, réseaux de
temps réel (informatique)
vérification de modèles (informatique)
automates
automobiles systèmes de guidage
systèmes embarqués (informatique)
vérification formelle
--
acquisition comprimée
agv synthèse
algèbre de processus
analyse des systèmes
architecture
arcs de reset
asynchronisme, langage electre (exécutif et langage de contrôle temps-réel reparti)
automate d'états fini
automated guided vehicles
automates, compositi
capacités d adaptation
circuits à transfert de charge (électronique)
code source (informatique)
commande automatique
commande prédictive
contrôle
convertisseurs analogique-numérique
diagnostic filaire
décidabilité (logique mathématique)
dépliage
détection de défaut (ingénierie)
×
Chargement en cours...