Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 260 p.
Cote : 00011589
algèbre de Boole # algèbre linéaire # analyse combinatoire # arithmétique # calcul propositionnel # code détecteur # correction d'erreur # fonction booléennes # numération # outils mathématiques de l'informatique # relation # semble
03-01 ; 04-01 ; 05-01 ; 68Qxx
Localisation : Ouvrage RdC (VELU)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 324 p.
Cote : 00012099
algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages
03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 551 p.
Cote : 00012100
automate # complexité informatique # information théorique # intelligence artificielle # langage formel # recherche d'information # théorie des automates
03C80 ; 03C99 ; 68Wxx ; 68Q25 ; 68Q45
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 111 p.
Cote : 00012104
interprète # logique de l'information # processeur # programmation # théorie des langages
03-02 ; 68-06 ; 68N05 ; 68N15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 182 p.
Cote : 00012721
calculabilité
03-01 ; 03D15 ; 68Qxx
Localisation : Ouvrage RdC (RAYW)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 518 p.
Cote : 00013960
algorithme # calcul distribué # calcul en temps réel # calcul paralèlle # circuit integré # complexité # parallèle # programmation # réseaux
68Q22
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 278 p.
Cote : 00011865
informatique théorique # outil mathématique de l'informatique
68-XX ; 68B05 ; 68CXX ; 68DXX ; 68FXX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 671 p.
Cote : 00012096
automate # complexité # informatique théorique # progammation # théorie des langages
68-XX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 682 p.
Cote : 00012097
combinatoire # langage de progammation # mathématique discrète # processeur # théorie des langages
68-06 ; 68N05 ; 68N15 ; 68R05 ; 68Rxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 542 p.
Cote : 00012105
automate # complexité arithmétique # décidabilité # informatique théorique # langage # théorie algébrique des automates
68Qxx
Localisation : Collection 1er étage
English