Résultat(s)
1 - 4
résultats de
4
pour la requête '
Martineau Patrick
'
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
Martineau Patrick
Résultat(s)
1 - 4
résultats de
4
pour la requête '
Martineau Patrick
'
, 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 1
1
Anatomie macroscopique et microscopique de l'articulation temporo-mandibulaire.
par
Martineau
Patrick
[s.n.] 1973
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
ORDONNANCEMENT EN-LIGNE DANS LES SYSTEMES INFORMATIQUES TEMPS REEL
par
Martineau
Patrick
,
Chetto Maryline
[s.n.] 1994
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
AUTOSAR compliant multi-core RTOS formal modeling and verification
par
Haur Imane
,
Roux Olivier-Henri
,
Béchennec Jean-Luc
,
Grolleau Emmanuel
Martineau
Patrick
Hains Gaétan
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
Contribution au dépliage des réseaux de Petri et à l'analyse des processus de branchement
par
Comlan Maurice
,
Roux Olivier-Henri
,
Vianou Antoine
,
Attiogbé Christian
,
Martineau
Patrick
,
Niel Eric
,
Frizon de Lamotte Florent
,
Lahaye Sébastien
Delfieu David
2016
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
thèses et écrits académiques
petri, réseaux de
temps réel (informatique)
algèbre de processus
arcs de reset
articulation temporo-mandibulaire, anatomie
distributed system/computer system/scheduling/real time/modeling/constraint/adaptive algorithm/mutual exclusion/migration/overload
dépliage
exécution multi-coeurs
informatique
model-checking
réseaux de petri colorés de haut niveau
sciences appliquees : informatique, automatique theorique, systemes
systeme reparti/systeme informatique/ordonnancement/temps reel/modelisation/contrainte/algorithme adaptatif/exclusion mutuelle/migration/surcharge/contrainte temps
systèmes d exploitation temps réel
systèmes d'exploitation (ordinateurs)
vérification d os autosar
vérification de modèles (informatique)
vérification formelle
×
Chargement en cours...