New Releases: Subscribe (RSS) Subscribe (email)
Herman Ruge Jervell Proof theory | |
Herman Ruge Jervell Logic and Computations | |
Thomas Michael Fehlmann Autonomous Real-Time Testing. Testing Artificial Intelligence and Other Complex Systems |
Advances in Information Systems and Management Science Eds.: J. Becker, B. Hellingrath, S. Klein, H. Kuchen, G. Vossen | |
Augsburger Schriften zur Mathematik, Physik und Informatik Eds.: B. Aulbach, F. Pukelsheim, W. Reif, B. Schmidt, D. Vollhardt | |
Human Data Understanding - Sensors, Models, Knowledge Ed.: Frank Deinzer und Marcin Grzegorzek | |
Studien zur Mustererkennung Eds.: Heinrich Niemann, Elmar Nöth | |
Wirtschaftsinformatik - Theorie und Anwendung Ed.: Peter Loos |
New Releases: Subscribe (RSS) Subscribe (email)
Herman Ruge Jervell Proof theory | |
Herman Ruge Jervell Logic and Computations | |
Thomas Michael Fehlmann Autonomous Real-Time Testing. Testing Artificial Intelligence and Other Complex Systems |
Advances in Information Systems and Management Science Eds.: J. Becker, B. Hellingrath, S. Klein, H. Kuchen, G. Vossen | |
Augsburger Schriften zur Mathematik, Physik und Informatik Eds.: B. Aulbach, F. Pukelsheim, W. Reif, B. Schmidt, D. Vollhardt | |
Human Data Understanding - Sensors, Models, Knowledge Ed.: Frank Deinzer und Marcin Grzegorzek | |
Studien zur Mustererkennung Eds.: Heinrich Niemann, Elmar Nöth | |
Wirtschaftsinformatik - Theorie und Anwendung Ed.: Peter Loos |