STACS 2007
24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Wolfgang Thomas
Themen in »STACS 2007«
Automat algorithm algorithms automata complexity complexity theory computer computer science data structure data structures formal language formal languages logic semantics verification
Stimmen zu »STACS 2007«
Details
ISBN: 9783540709183
Verlag: Springer Berlin
Erscheinung: 24.05.2007