59 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 International Colloquium on Automata, Languages, and Programming (20th 1993 Lund, Sweden), A. Lingas
by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (6th 1993 Boston, Mass.), Richard L. Tenney
by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques (8th 1995 Montreal, Canada)
by IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland).
by International Colloquium on Automata, Languages, and Programming (33rd 2006 Venice, Italy)