Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aufgrund der Corona-Pandemie bleiben die Benutzungsbereiche der Deutschen Nationalbibliothek bis auf Weiteres, voraussichtlich bis Sonntag, 7. März 2021 geschlossen. Bestellungen von Medien werden in dieser Zeit nicht bearbeitet. Alle Informationen dazu finden Sie auf unserer Homepage.
 
Neuigkeiten Die mehr als 1,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".
 
 

Ergebnis der Suche nach: per="Große," AND per="Rolf" AND Catalog=dnb



Treffer 12 von 64 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1124366571
Titel Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Person(en) Große, Daniel (Herausgeber)
Drechsler, Rolf (Herausgeber)
Organisation(en) Shaker Verlag (Verlag)
Ausgabe 1. Auflage
Verlag Aachen : Shaker
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressourcen, 136 Seiten : 32 Illustrationen (pdf)
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Persistent Identifier URN: urn:nbn:de:101:1-201701293628
ISBN/Einband/Preis 978-3-8440-4996-1
Sprache(n) Englisch (eng), Deutsch (ger)
Beziehungen Berichte aus der Informatik
Anmerkungen Lizenzpflichtig
Schlagwörter Entwurfsautomation ; Systemsynthese ; Modellierung ; Beschreibungssprache ; Verifikation
DDC-Notation 621.395 [DDC22ger]
Sachgruppe(n) 621.3 Elektrotechnik, Elektronik ; 004 Informatik

Online-Zugriff Archivobjekt öffnen

Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.





Treffer 12 von 64
< < > <


E-Mail-IconAdministration