Wissenschaftszweige
- 202006 Computer Hardware
- 603109 Logik
- 102 Informatik
- 102031 Theoretische Informatik
- 102011 Formale Sprachen
- 102022 Softwareentwicklung
- 102001 Artificial Intelligence
13th Advanced Research Working Conf. on Correct Hardware Design and Verification Methods (CHARME'05)
- Armin Biere (Organisator*in)
Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Organisation von Konferenz, Workshop, ...