> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Integrating low level symmetries into reachability analysis Beteiligte: Wolf, Karsten [VerfasserIn] Erschienen: Berlin: Inst. für Informatik, 1999 Erschienen in: Informatik-Berichte ; 122 Umfang: [17] S.; graph. Darst Sprache: Englisch RVK-Notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 1999 4 029860 001 Barcode: 30443345 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden