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
0

Stacs 91 :
8th annual symposium on theoretical aspects of computer sciences#Feb. 14-16

Sélection Signaler une erreur
Congrès

Choffrut, C. (Editeur) ; Jantzen, M. (Editeur)

Springer-Verlag

1991

548 p.

978-3-540-53709-0

00014055

68N15 ; 68Pxx ; 68Q25 ; 68Q50 ; 68Qxx

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00014055


[disponible]
Sélection Signaler une erreur