> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Algorithms for incremental synthesis Beteiligte: Brand, Daniel [Sonstige Person, Familie und Körperschaft] Erschienen: Almaden [u.a.]: IBM, 1996 Erschienen in: Thomas J. Watson Research Center: Research report / RC ; 20352 Umfang: 33 S.; graph. Darst Sprache: Englisch RVK-Notation: SS 5104 : Research Report (IBM): RC Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Thomas J. Watson Research Center <Yorktown Heights, NY>: Research report / RC
Bereichsbibliothek DrePunct – Magazin Signatur: 95 4 92767 001 Barcode: 10091091 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden