Refine your search
Availability
-
bib-level
-
Authors
- Kempe, G. (1)
- Posthoff, Christian (1)
- Steinbach, Bernd (2)
-
Topics
- Circuits and Systems (1)
- Computational complexity (1)
- Computer Science (1)
- Discrete Mathematics in Computer Science (1)
- Logic design (1)
- Logics and Meanings of Programs (1)
- Systems engineering (1)
- компьютерная безопасность (1)
- логический анализ (1)
- логический синтез (1)
- новые информационные технологии (1)
- распределенные вычисления (1)
- Show more
- Show less