Stacs 91 :
8th annual symposium on theoretical aspects of computer sciences#Feb. 14-16
algorithme # calcul parallèle # complexité # démonstration # informatique théorique # logique # sémantique # syntaxe
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9783540537090
ISBN : 3-540-53709-0
Collation : Bibliogr. ; fig.#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 0480
Localisation : Collection 1er étage
Numéro de congrès : 8
Année de la rencontre : 1991
Ville du congrès : Hamburg
Pays du congrès : Allemagne
Code ACM : C.2.1 ; C.2.4 ; F ; G.2 ; I.1
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00014055 | [disponible] |