TY - BOOK AU - Markus Holzer, Martin Kutrib TI - Implementation and Application of Automata SN - 9783319088464 PY - 2014/// PB - Springer KW - Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Computational Biology/Bioinformatics; Data Structures; Information Storage and Retrieval UR - http://link.springer.com/openurl?genre=book&isbn=978-3-319-08845-7 ER -