Showing 61 - 80 results of 101 for search '', query time: 0.22s Refine Results
  1. 61
    Checking experiments in sequential machines /
    by Bhattacharyya, Asok
    Published 1989
    Book
  2. 62
    Trace theory for automatic hierarchical verification of speed-independent circuits /
    by Dill, David L.
    Published 1989
    Book
  3. 63
    Introduction to the theory of automata /
    by Bavel, Zamir, 1929-
    Published 1989
    Book
  4. 64
    Combinatorics on traces /
    by Diekert, Volker, 1955-
    Published 1990
    Book
  5. 65
    Algebraic and structural automata theory /
    Published 1991
    Book
  6. 66
    The on-line firing squad simulator /
    by Balzer, R. M.
    Published 1968
    Book
  7. 67
    General shift-register sequence generators /
    by Reed, Irving S.
    Published 1966
    Book
  8. 68
    Sequential and parallel algorithms for minimum cost parallel decomposition of finite state machines /
    by Shelke, Rajendra Ram, 1967-
    Published 1992
    Link to OAKTrust copy
    Thesis eBook
  9. 69
    Specification and proof in real-time CSP /
    by Davies, Jim, 1964-
    Published 1993
    Thesis Book
  10. 70
    Synthesis of finite state machines : functional optimization /
    Published 1997
    Book
  11. 71
    Introduction to languages and the theory of computation /
    by Martin, John C.
    Published 1997
    Book
  12. 72
    Synthesis of finite state machines : logic optimization /
    Published 1997
    Book
  13. 73
    Protocol conformance testing using unique input/output sequences /
    Published 1997
    Book
  14. 74
    Switching theory for logic synthesis /
    by Sasao, Tsutomu, 1950-
    Published 1999
    Book
  15. 75
    Self-checking and fault-tolerant digital design /
    by Lala, Parag K., 1948-
    Published 2001
    Book
  16. 76
    Sequence learning : paradigms, algorithms, and applications /
    Published 2001
    Connect to the full text of this electronic book
    eBook
  17. 77
    Automatic sequences : theory, applications, generalizations /
    by Allouche, Jean-Paul, 1953-
    Published 2003
    Book
  18. 78
    Advanced digital logic design : using Verilog, state machines, and synthesis for FPGAs /
    by Lee, Sunggu
    Published 2006
    Book
  19. 79
    Advanced digital logic design : using VHDL, state machines, and synthesis for FPGAs /
    by Lee, Sunggu
    Published 2006
    Book
  20. 80
    Finite automata and application to cryptography /
    by Tao, Renji
    Published 2008
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search