analyse d'algorithme # analyse numérique # calcul # calcul par dispositif abstrait # codage # complexité # in génierie de logiciel # informatique théorique # langage de programmation # langage formel # logique # logique mathématique # manipulation algébrique # mathématique discrète # réseau d'ordinateur # signification des programmes # structure de mémoire # système # théorie de l'information

Publisher City : Heidelberg ; N.Y. ; Paris

Publisher country : France

Language : English

EAN13 : 9783540555537

ISBN : 3-540-55553-6

Collation : 24 cm#broch. ; Bibliogr.

Series : Lecture notes in computer science

Nb in series : 0601

Location : Collection 1er étage

Event Year : 1992

City of congres : Haifa

Country of congres : Islande

ACM code : B.3. ; C.2 ; F.1.4 ; G.1.2 ; I.1

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies