STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Reischuk, Rüdiger (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Morvan, Michel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
• Έκδοση: 1st ed. 1997.
• Σειρά: Lecture Notes in Computer Science, 1200
• Θέματα: Computers.; Computer programming.; Programming languages (Electronic computers).; Computer science-Mathematics.; Theory of Computation.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Discrete Mathematics in Computer Science.
• Φυσική περιγραφή: XV, 621 p. online resource.
• ISBN: 9783540683421
• ISSN: 0302-9743 ;
• DOI: 10.1007/BFb0023443

This book constitutes the refereed proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science, STACS 97, held in Lübeck, Germany, in February/March 1997. The 46 revised full papers included were carefully selected from a total of 139 submissions; also included are three invited full papers. The papers presented span the whole scope of theoretical computer science. Among the topics covered are, in particular, algorithms and data structures, computational complexity, automata and formal languages, structural complexity, parallel and distributed systems, parallel algorithms, semantics, specification and verification, logic, computational geometry, cryptography, learning and inductive inference.