Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
Neuigkeiten Vom 10. September 2025, 13 Uhr, bis 11. September 2025, 22 Uhr, kann es zu Einschränkungen bei der Bereitstellung von Medienwerken kommen. Wir informieren Sie per E-Mail über den aktuellen Stand Ihrer Bestellungen. // From 13:00 on 10 September 2025 until 22:00 on 11 September 2025, there may be restrictions on the provision of media works. We will inform you by email about the current status of your orders.
 
 

Ergebnis der Suche nach: dcs=621.3*

Zurück zur Trefferliste


Treffer 13 von 431 < < > <



Elektronische Datenträger
Link zu diesem Datensatz https://d-nb.info/1323032940
Art des Inhalts Konferenzschrift, 2024, Kaiserslautern
Titel MBMV 2024 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 27. Workshop, 14.-15.Februar 2024 in Kaiserslautern / Tagungsleitung: Prof. Dr.-Ing. Wolfgang Kunz, RPTU Kaiserslautern-Landau
Person(en) Kunz, Wolfgang (Herausgeber)
Organisation(en) Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern) (Verfasser)
VDE Verlag (Verlag)
VDE ITG (Herausgebendes Organ)
VDE/VDI GMM (Herausgebendes Organ)
GI (Herausgebendes Organ)
Verlag Berlin : VDE VERLAG GmbH
Zeitliche Einordnung Erscheinungsdatum: [2024]
Umfang/Format 1 CD-ROM : Illustrationen ; 58 g
Andere Ausgabe(n) Digitale Übertragung 27.: Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern): MBMV 2024
ISBN/Einband/Preis 978-3-8007-6267-5 : EUR 119.00 (DE), EUR 119.00 (AT)
3-8007-6267-6
EAN 9783800762675
Sprache(n) Deutsch (ger)
Beziehungen Informationstechnische Gesellschaft: ITG-Fachbericht ; 314
Schlagwörter Entwurfsautomation ; Systemsynthese ; Modellierung ; Beschreibungssprache ; Verifikation
DDC-Notation 621.395 [DDC23ger]
Sachgruppe(n) 621.3 Elektrotechnik, Elektronik ; 004 Informatik

Frankfurt Signatur: 2024 DT 1650
Bereitstellung in Frankfurt
Leipzig Signatur: 2024 DT 1380
Bereitstellung in Leipzig




Treffer 13 von 431
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration