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

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RDA

Language : English

EAN13 : 9783540577850

ISBN : 3-540-57785-8

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

Series : Lecture notes in computer science

Nb in series : 0775

Location : Collection 1er étage

Notes : 1991 année ACM

Event Title : 11th annual symposium on theoretical aspects of computer science

Event Number : 11

Event Year : 1994

City of congres : Caen

Country of congres : France

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

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies