Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

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

 
Neuigkeiten 24. Dezember 2025 bis 1. Januar 2026: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2026 bereitgestellt. // 24 December 2025 to 1 January 2026: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2026.
 
 

Ergebnis der Suche nach: dcs=621.3*

Zurück zur Trefferliste


Treffer 61 von 438 < < > <



Elektronische Datenträger
Link zu diesem Datensatz https://d-nb.info/1230236554
Art des Inhalts Konferenzschrift, 2021, Online
Titel MBMV 2021 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 24. Workshop, 18.-19. März 2021, TU München, Online-Veranstaltung / Tagungsleitung: Dr.-Ing. Daniel Müller-Gritschneder, TU München
Person(en) Müller-Gritschneder, Daniel (Herausgeber)
Organisation(en) MBMV (24. : 2021 : Online) (Verfasser)
VDE Verlag (Verlag)
VDE ITG (Herausgebendes Organ)
VDE/VDI GMM (Herausgebendes Organ)
GI (Herausgebendes Organ)
Verlag Berlin ; Offenbach : VDE VERLAG GMBH
Zeitliche Einordnung Erscheinungsdatum: [2021]
Umfang/Format 1 CD-ROM : Illustrationen ; 58 g
Andere Ausgabe(n) Digitale Übertragung 24.: MBMV (24. : 2021 : Online): MBMV 2021
ISBN/Einband/Preis 978-3-8007-5500-4 : EUR 78.00 (DE), EUR 78.00 (AT)
3-8007-5500-9
EAN 9783800755004
Sprache(n) Deutsch (ger), Englisch (eng)
Beziehungen Informationstechnische Gesellschaft: ITG-Fachbericht ; 296
Schlagwörter Entwurfsautomation ; Systemsynthese ; Modellierung ; Beschreibungssprache ; Verifikation
DDC-Notation 621.395 [DDC23ger]
Sachgruppe(n) 621.3 Elektrotechnik, Elektronik ; 004 Informatik

Frankfurt Signatur: 2021 DT 2043
Bereitstellung in Frankfurt
Leipzig Signatur: 2021 DT 2937
Bereitstellung in Leipzig




Treffer 61 von 438
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration