algorithme efficient # algorithme parallèle # analyse numérique # calcul informatique # calcul numérique # calcul parallèle # classe de complexité # code combinatoire # complexité de système # complexité du calcul informatique # complexité structurelle # corde # hiérarchie # informatique théorique # langage de spécification # langage formel # logique # mathématique discrète # récursivité # réécriture des systèmes # système d'exploitation # sémantique # technique de programmation

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

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540577850

ISBN : 3-540-57785-8

Collation : 24 cm#broch. ; Bibliogr. ; Index

Collection : Lecture notes in computer science

N° de collection : 0775

Localisation : Collection 1er étage

Notes : 1991 année ACM

Nom de la rencontre : 11th annual symposium on theoretical aspects of computer science

Numéro de congrès : 11

Année de la rencontre : 1994

Ville du congrès : Caen

Pays du congrès : France

Code ACM : D.1 ; D.4 ; F ; G.1 ; G.2

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires