Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 552p.
Cote : 00029987
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 167 p.
Cote : 00023860
nformatique # réseau informatique # combinatoire # réseau de communication # organisation des systèmes informatiques # construction de réseau
68-06 ; 68M10 ; 68M15 ; 68R05 ; 68R10 ; 68M14 ; 68W10 ; 68W15 ; 68W20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 195 p.
Cote : 00025889
auto-stabilisation # informatique # algorithme # stabiliseur # convergence # algorithme distribué # réseau # système distribué
93D21 ; 68M14 ; 93-XX
Localisation : Ouvrage RdC (DOLE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00025882
système parallèle # système distribué # ordonnancement
68M14 ; 65Y05 ; 68Q10
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 289p.
Cote : 00029983
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 434p.
Cote : 00029984
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68M14 ; 68N30 ; 68Q85 ; 68W15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431p.
Cote : 00029985
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 443p.
Cote : 00029986
informatique # logique de programmation # softwere pour ingénieurs # algorithme de spécification # algorithme de vérification # algorithme d'analyse # algorithme de construction # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68M14 ; 68Q85 ; 68W15 ; 68N30
Localisation : Collection 1er étage