Refine your search
Availability
-
Authors
- Daniel Kroening (1)
- Miller, D. Michael (1)
- Shmerko, Vlad (1)
- Stankovic, Radomir (1)
- Strichman, Ofer (1)
- Yanushkevich, Svetla... (1)
- Show more
- Show less
-
Collections
- SES (2)
-
Item types
-
Series
-
Topics
- Algorithms (1)
- Decision logic table... (1)
- Decision making (1)
- Decision making--Mat... (1)
- Logic, Symbolic and ... (1)
- Microelectronics (1)
- Nanotechnology (1)
- Show more
- Show less