The following pages link to Verification: Theory and Practice (Q5305664):
Displaying 11 items.
- Quantization causes waves: smooth finitely computable functions are affine (Q895585) (← links)
- Automata finiteness criterion in terms of van der Put series of automata functions (Q1760320) (← links)
- Digital electronic circuits. Principles and practices (Q1787337) (← links)
- Digital circuit technique (Q1842555) (← links)
- The non-Archimedean theory of discrete systems (Q1949084) (← links)
- Bounded algebra and current-mode digital circuits (Q1965271) (← links)
- Synthesis and analysis of digital circuits (Q2785487) (← links)
- (Q3483237) (← links)
- Arithmetic and Algebraic Circuits (Q4964655) (← links)
- The p-adic Theory of Automata Functions (Q5044585) (← links)
- (Q5701837) (← links)