Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Die 2,3 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Aufgrund von Systemarbeiten sind die archivierten Webseiten vorübergehend nicht erreichbar.
 
 

Ergebnis der Suche nach: idn=962731447



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/962731447
Art des Inhalts Hochschulschrift
Titel Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen / Holger Hinrichsen
Person(en) Hinrichsen, Holger (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2000
Umfang/Format ca. 1,1 MB
Andere Ausgabe(n) Druckausg.: Hinrichsen, Holger: Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen
Hochschulschrift Darmstadt, Techn. Univ., Diss., 2000
Persistent Identifier URN: urn:nbn:de:tuda-tuprints-1108
URL http://elib.tu-darmstadt.de/diss/000110/hinrichsen.pdf
Schlagwörter Pipeline-Rechner ; Hardwareentwurf ; Schaltungssynthese ; Semantikerhaltende Transformation ; Hardwareverifikation ; Hardwarebeschreibungssprache
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration