Suchergebnisse in Normdaten
Ergebnisse 1 bis 2 von 2
| Autorisierte Ansetzungsform | Art der Ansetzung | Datensätze | ||
|---|---|---|---|---|
|
Kongressname:
verwendet für/siehe von:
International Symposium on Automated Technology for Verification and Analysis 10 2012 Thiruvananthapuram
siehe auch:
|
Details | Kongressname | 1 Titel | |
|
Kongressname:
verwendet für/siehe von:
International Conference on Algorithms and Discrete Applied Mathematics 2. 2016 Thiruvananthapuram
siehe auch:
|
Details | Kongressname | 1 Titel |