Refine your search
Availability
-
Authors
- Addison, John West
- Anderson, Paul M.
- Bal, Henri E.
- Binmore, Kenneth Geo...
- Faulconer, James E.
- Filer, Robert
- Grune, Dick
- Henkin, Leon
- Kowalski, Robert
- Leinone, George
- Lightstone, Albert H...
- Motorola
- Packard, Dennis J.
- Reis, Ronald A.
- Stallings, William
- Tarski, Alfred
- Webb, John W.
- Show more
- Show less
-
Holding libraries
-
Item types
-
Series
-
Topics
- ABSTRACT ALGEBRA
- ARQUITECTURA DE COMP...
- AXIOMATIC METHOD
- DISTRIBUTED LANGUAGE
- FUNCTIONAL LANGUAGE
- IMPERATIVE LANGUAGE
- INSTRUCTION SETS
- LOGIC LANGUAGE
- LOGIC SYMBOLIC
- LOGICA MATEMATICA
- MATHEMATICAL AXIOMS
- MATHEMATICAL LOGIC
- PARADIGMS LANGUAGE
- PARALELL LANGUAGE
- PLC
- PROGRAMACION DE COMP...
- RELAY LOGIC
- SEQUENTIAL CONTROL
- SISTEMAS ELECTRICOS ...
- SOBRETENSION
- Show more
- Show less