TY - BOOK AU - Savage,John E. TI - Models of computation: exploring the power of computing SN - 0201895390 PY - 2000/// CY - Reading PB - [S.n.] KW - MODELOS COMPUTACIONALES N1 - Incluye bibliografía. --; The role of theory in computer science -- Logic circuits -- Machines with memory -- Finite-state machines and pushdown automata -- Computability -- Algebraic and combinatorial circuits -- Parallel computation -- Complexity classes -- Circuit complexity -- Space-time tradeoffs -- Memory-Hierarchy tradeoffs -- VLSI models of computation ER -