Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-86876-3
Studies in logic and the foundations of mathematics , 0112
Localisation : Colloque 1er étage (FLOR)
NP # PA # logique # modèle de lambda calcul # modèle lambda filtre # modèle nonstandard de l'arithmétique # objet non-constructif # phrase logique # problème de décision # saturation forte # structure de type étendu # sémantique à valeur Heyting # théorie des modèles en informatique théorique # théorème d'interpolation de Craig # vérité continue
03-06 ; 03C35 ; 03C40 ; 03Cxx ; 03H15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 340 p.
ISBN 978-3-211-81378-2
C.I.S.M. courses and lectures , 0219
Localisation : Colloque 1er étage (UDIN)
codage # code abelien # code linéaire # code non linéaire # combinat oire # quadratique # théorie de Shannon # théorie de l'information # théorème du codage
94A18 ; 94A24 ; 94B05 ; 94B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 330 p.
ISBN 978-3-211-81341-6
CISM courses and lectures , 0216
Localisation : Colloque 1er étage (UDIN)
analyse des algorithmes et complexité d'un problème # circuits # codage de source # codes de convolution # communication # complexité d'un algorithme de codage # décodage # information # information et communication # informatique # informatique théorique # théorie de l'information # théorie des codes correcteurs d'erreurs
94-06 ; 94Axx ; 94B10 ; 94B35 ; 94Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 158 p.
ISBN 978-88-207-1885-5
Memorie dell'accademia si scienze fisiche e matematiche
Localisation : Ouvrage RdC (BUSS)
astrophysique # lumière # photométrie # rotation de courbe # spectre # vélocité # étoile
85-02 ; 85A99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- iv; 258 p.
ISBN 978-3-211-81484-0
CISM courses and lectures , 0265
Localisation : Ouvrage RdC (LONG)
communication multi-canal # système de télécommunication # résolution de conflits # codage # programmation linéaire
94-02 ; 93-06 ; 94A05 ; 94A24 ; 94B99 ; 94-06
... Lire [+]
