Résultat(s)
1 - 2
résultats de
2
pour la requête '
Hains Gaétan
'
Aller au contenu
Toggle navigation
Nantilus
La BU
0
notices
(Plein)
FR
|
EN
Tous les champs
Titre
Titre de revue
Auteur
Sujet
ISBN/ISSN
Éditeur
Collection
Note de thèse
Auteur
Hains Gaétan
Résultat(s)
1 - 2
résultats de
2
pour la requête '
Hains Gaétan
'
, 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 au panier
Merci de choisir la recherche numéro 1
1
Algorithmes et programmation parallèles : théorie avec BSP et pratique avec OCaml
par
Hains
Gaétan
Ellipses C 2018
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Livre
Chargement en cours...
|
Ajouter au panier
Retirer du panier
|
Merci de choisir la recherche numéro 2
2
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
|
Tout cocher | avec la sélection:
Courriel
Exporter
Imprimer
Ajouter au panier
Réutiliser cette recherche:
Flux RSS
–
Envoyer cette recherche par courriel
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
algorithmes parallèles
exécution multi-coeurs
manuels d'enseignement supérieur
model-checking
objective caml (langage de programmation)
parallélisme (informatique)
petri, réseaux de
programmation parallèle (informatique)
réseaux de petri colorés de haut niveau
systèmes d exploitation temps réel
systèmes d'exploitation (ordinateurs)
temps réel (informatique)
thèses et écrits académiques
vérification d os autosar
vérification de modèles (informatique)
vérification formelle
×
Chargement en cours...