Treffer eingrenzen
-
Standort
- Standortunabhängig (5)
- Fachbibl. Mathematik… (1)
- Zentralbibliothek (1)
-
Schlagwort
- Typprüfung (7)
- Programmverifikation (5)
- Grid Computing (3)
- Kryptologie (3)
- Model Checking (3)
- Mehr anzeigen …
- Jahr
-
Sprache
- Englisch (7)
-
Erscheinungsform
- Monografie (7)
- Aufsatzsammlung (5)
- E-Book (5)
- Elektronische Ressource (5)
- Konferenzschrift (5)
- Mehr anzeigen …
-
Autor
- Wirsing, Martin (2)
- Friese, Sylvia (1)
- Ganty, Pierre (1)
- Hawblitzel, Chris (1)
- Jouannaud, Jean-Pierre (1)
- Mehr anzeigen …