Home Advanced Search
Advanced Search - Page 1
Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems
- English
- Year: 2023
- Author: Rolf Drechsler, Sebastian Huhn
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems
- English
- Year: 2023
- Author: Rolf Drechsler, Sebastian Huhn
Formal System Verification: State-of the-Art and Future Trends
- EPUB
- English
- Year: 2018
- Author: Drechsler, Rolf
Formal system verification : state-of the-art and future trends
- English
- Year: 2018
- Author: Drechsler, Rolf
Natural Language Processing for Electronic Design Automation
- English
- Year: 2020
- Author: Mathias Soeken, Rolf Drechsler
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
- English
- Year: 2020
- Author: Rolf Drechsler, Mathias Soeken
Information Storage: A Multidisciplinary Perspective
- English
- Year: 2020
- Author: Cornelia S. Große, Rolf Drechsler
Redalyc. La construcción de realidades inseguras. Reflexiones acerca de la violencia en Centroamérica. Revista de Ciencias Sociales (Cr)
- Spanish
- Year: 2012
- Author: Huhn, Sebastian ; Oettler, Anika ; Peetz, Peter
Politics and History of Violence and Crime in Central America
- English
- Year: 2017
- Author: Sebastian Huhn, Hannes Warnecke-Berger (auth.)