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.
 
 

Ergebnis der Suche nach: nid=132370647X



Treffer 1 von 1 < < > <



Veranstaltungen
Link zu diesem Datensatz https://d-nb.info/gnd/132370647X
Veranstaltung Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern)
Andere Namen MBMV (27. : 2024 : Kaiserslautern)
MBMV 2024 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Zeit 14.02.2024-15.02.2024
Land Rheinland-Pfalz (XA-DE-RP)
Geografischer Bezug Veranstaltungsort: Kaiserslautern
Beziehungen zu Organisationen Veranstalter: Informationstechnische Gesellschaft
Veranstalter: Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik
Veranstalter: Gesellschaft für Informatik
Typ Veranstaltung (vie)
Autor von 2 Publikationen
  1. MBMV 2024
    Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern). - Leipzig : Deutsche Nationalbibliothek, 2025
  2. MBMV 2024
    Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern). - Berlin : VDE VERLAG GmbH, [2024]





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration