STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14-16, 1991 Proceedings /

Saved in:
Bibliographic Details
Meeting name:Annual Symposium on Theoretical Aspects of Computer Science (8th : 1991 : Hamburg, Germany)
Imprint:Berlin, Heidelberg : Springer-Verlag, 1991.
Description:1 online resource : v.: digital.
Series:Lecture Notes in Computer Science, 0302-9743 ; 480
Lecture notes in computer science ; 480.
Subject:Computer science.
Computer Communication Networks.
Computer software.
Logic design.
Combinatorial analysis.
Computer Science.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Combinatorial analysis.
Computer science.
Computer software.
Logic design.
Electronic books.
Format: E-Resource Book
URL for this record:
Hidden Bibliographic Details
Other authors / contributors:Choffrut, Christian.
Jantzen, Matthias, 1948-