Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
Neuigkeiten Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.
 
 

Ergebnis der Suche nach: dcs=621.3*

Zurück zur Trefferliste


Treffer 48 von 450 < < > <



Elektronische Datenträger
Link zu diesem Datensatz https://d-nb.info/1253312648
Art des Inhalts Konferenzschrift, 2022, Online
Titel MBMV 2022 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 25. Workshop, 17.-18. Februar 2022, Hochschule Niederrhein, Online-Veranstaltung / Tagungsleitung: Prof. Dr.-Ing. Jens Brandt, Hochschule Niederrhein
Person(en) Brandt, Jens (Herausgeber)
Organisation(en) MBMV (25. : 2022 : Online) (Verfasser)
VDE Verlag (Verlag)
Verlag Berlin ; Offenbach : VDE VERLAG GMBH
Zeitliche Einordnung Erscheinungsdatum: [2022]
Umfang/Format 1 CD-ROM : Illustrationen ; 56 g
ISBN/Einband/Preis 978-3-8007-5754-1 : EUR 48.00 (DE), EUR 48.00 (AT)
3-8007-5754-0
EAN 9783800757541
Sprache(n) Deutsch (ger)
Beziehungen Informationstechnische Gesellschaft: ITG-Fachbericht ; 302
Schlagwörter Entwurfsautomation ; Systemsynthese ; Modellierung ; Beschreibungssprache ; Verifikation
DDC-Notation 621.395 [DDC23ger]
Sachgruppe(n) 621.3 Elektrotechnik, Elektronik ; 004 Informatik

Frankfurt Signatur: 2022 DT 2940
Bereitstellung in Frankfurt
Leipzig Signatur: 2022 DT 2195
Bereitstellung in Leipzig




Treffer 48 von 450
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration