algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus

Ville d'édition : Heidelberg ; N.Y. ; Paris

Pays d'édition : France

Langue : Anglais

EAN13 : 9783540557197

ISBN : 3-540-55719-9

Collation : 24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 0623

Localisation : Collection 1er étage

Numéro de congrès : 19

Année de la rencontre : 1992

Ville du congrès : Wien

Pays du congrès : Australie

Code ACM : D.1 ; E.1 ; F.1 ; G.2 ; I.1

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires