Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 249 p.
Cote : 00005592
analise numérique # analyse d'erreur et analyse d'intervalle # intervalle et arithmétique finie # informatique # systèmes d'ordinateur et informatiques
06-00 ; 68-00
Localisation : Ouvrage RdC (KULI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 591 p.
Cote : 00026985
treillis # réseau # treillis continu # treillis topologique # sémantique # ensemble ordonné # théorie des catégories # topologie de Scott # topologie de Lawson
06-00 ; 06B35 ; 54H12 ; 68Q55
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 315-716
Cote : 00012490
algèbre de Boole # handbook
03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx
Localisation : Ouvrage RdC (Hand)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 721-1367
Cote : 00012491
algèbre de Boole # handbook
03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx
Localisation : Ouvrage RdC (Hand)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- xxi; 687 p.
Cote : 00037850
fonction booléenne # fonction algébrique # algèbre de Boole
06-00 ; 06E30
Localisation : Collection 1er étage