En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Longo, G. 5 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic colloquium'82
proceedings of the colloquium held in Florence,23-28 aug.,1982 Lolli, G. ; Longo, G. ; Marcja, A. | North-Holland 1984

Congrès


Call n° : 00007604
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

Location : Colloque 1er étage (FLOR)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Coding and complexity
Udine # July 1974 Longo, G. ; Massey, J. L. | Springer-Verlag 1975

Congrès

- 330 p.
Call n° : 00015593
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

Location : Colloque 1er étage (UDIN)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Information theory new trends and open problems :
CISM summer school on ...#Sept. 3-12 Longo, G. | Springer-Verlag 1975

Congrès

- 340 p.
Call n° : 00001303
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

Location : Colloque 1er étage (UDIN)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Atlas of velocity dispersion profiles and rotation curves for alliptical and lenticular galaxies Bussarello, G. ; Longo, G. ; Di Martino , F. | Liguori Editore 1989

Ouvrage

- 158 p.
Call n° : 00016093
astrophysique # lumière # photométrie # rotation de courbe # spectre # vélocité # étoile

85-02 ; 85A99

Location : Ouvrage RdC (BUSS)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Multi-user communication systems Longo, G. | Springer-Verlag 1981

Ouvrage

- iv; 258 p.
Call n° : 00037282
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

Location : Ouvrage RdC (LONG)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

Language