Refine
Year of publication
- 2007 (44) (remove)
Document Type
- Article (24)
- Doctoral Thesis (9)
- Monograph/Edited Volume (6)
- Master's Thesis (3)
- Other (2)
Keywords
- Visualisierung (2)
- visualization (2)
- 3D Linsen (1)
- 3D lenses (1)
- ADFS (1)
- Active Directory Federation Services (1)
- Antwortmengenprogrammierung (1)
- Authorization (1)
- Automated Theorem Proving (1)
- Automatisches Beweisen (1)
Institute
- Institut für Informatik und Computational Science (44) (remove)