Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 398 p.
Cote : 00013916
langage de requète # programmation parallèle # spécification # vérification de programme
68Q10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 400 p.
Cote : 00013951
algorithme # complexité # logique
68Q30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 540 p.
Cote : 00014025
constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications
68N05 ; 68N15 ; 68Q10 ; 68Q60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 106 p.
Cote : 00016090
animation d'exécusions parallèles à un processus ou comme en # annimation d'algorithmes parallèles # environnement d'animation pour programmes parallèles # implémentation de la méthode d'animation # modèle d'exécution parallèle
68Mxx ; 68Q10 ; 68Q22 ; 68U05 ; 90Cxx
Localisation : Ouvrage RdC (SOLI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 350 p.
Cote : 00016064
algorithme distribué # algorithme parallèle # combinatoire # concept de graphe théorique # décomposition de graphes # grammaire de graphe # géométrie
05Cxx ; 05Dxx ; 68R10 ; 68R15 ; 68S05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 510 p.
Cote : 00015451
algorithme # algorithme combinatoire # algorithme des couleurs # algorithme des graphes # algorithme parallèle # algorithmique # calcul # complexité # graphe # géométrie de l'informatique # stucture des données # théorie de la complexité
68P05 ; 68Q25 ; 68Q30 ; 68Qxx ; 68R05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 684 p.
Cote : 00022086
algorithme machine # algorithmique # calcul parallèle # grammaire # informatique graphique # informatique théorique # langages # logique de programmation # machine de Turigny # mode de calcul # programmation parallèle # représentation de langages # répartition et stockage des données # réécriture des systèmes # stucture des données
68-XX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 544 p.
Cote : 00023973
cryptologie # cryptographie # théorie des courbes # courbe elliptique # signature # fonction de hachage # NTRU # chiffrement par blocs # protocole # échange de clés # authentification # identification
94-06
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 241 p.
Cote : 00023972
générateur pseudo-aléatoire # courbe elliptique # application à la sécurité des réseaux # cryptoanalyse de système de chiffrement par blocs # aspects de système de chiffrement par blocs # implémentation de sytème de chiffrement
94A60 ; 94-06
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 545 p.
Cote : 00026052
cryptographie # cryptologie # cryptanalyse # clé publique # signature # sécurité # échange de clé # encryptage # cryptographie symétrique
94A60 ; 94-06
Localisation : Collection 1er étage