m

F Nous contacter

0

Documents  Longo, G. | enregistrements trouvés : 5

O
     

-A +A

P Q

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 [+]

Z