Vai al contenuto principale della pagina

CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings / by Jean-Claude Raoult



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: Raoult, J.-C. (Jean-Claude) Visualizza persona
Titolo: CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings / by Jean-Claude Raoult
Link to work: CAAP '92 Visualizza cluster
Pubblicazione: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992
Index term-Uncontrolled: Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Data Structures
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Soggetto non controllato: Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Data Structures
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Termine d'indicizzazione-Occupazione: Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Data Structures
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Accesso ente: SpringerLink (Online service)
Collana: Lecture notes in computer science, 0302-9743 ; 581
ISBN: 9783540552512
Formato: Software
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 7354999
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/3-540-55251-0
Lo trovi qui: University of Chicago
Item: Permalink to OPAC
Fa parte di: Springer e-books