586 books found
by John E. Hopcroft, Jeffrey D. Ullman
by John E. Hopcroft, Rajeev Motwani
by International Colloquium on Automata, Languages, and Programming (9th 1982 Aarhus, Denmark), M. Nielsen
by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan)., Atsushi Togashi