Konferenzschrift | Kongress 2002
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832212025
3832212027
- Maße
-
21 cm
- Umfang
-
248 S.
- Anmerkungen
-
Ill., graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben
- Schlagwort
-
Entwurfsautomation
Systemsynthese
Beschreibungssprache
Entwurfssprache
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker
- (wann)
-
2003
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:05 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress 2002
Beteiligte
- Drechsler, Rolf
- Shaker
Entstanden
- 2003
Ähnliche Objekte (12)
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Looking at the coloniser : cross-cultural perceptions in Central Asia and the Caucasus, Bengal, and related areas
Zukunftsorientierte Politik und Verwaltung für Westfalen
Geschichte(n) - Erzählen : Konstruktionen von Vergangenheit in literarischen Werken deutschsprachiger Autorinnen seit dem 18. Jahrhundert
"Herrschaft" und "Staat" : Untersuchungen zum Zivilisationswortschatz im südosteuropäischen Raum 1840 - 1870 ; eine erste Bilanz
Recht und Realität der Qualitätssicherung im Gesundheitswesen : Rehabilitationseinrichtung - Krankenhaus - stationäre Pflegeeinrichtung ; interdisziplinäre wissenschaftliche Tagung des Instituts für Sozialrecht und Sozialpolitik in Europa der Christian-Albrechts-Universität zu Kiel, der AOK Schleswig-Holstein und der LVA Schleswig-Holstein, 22./23. November 2001, Kiel ; eine Publikation des Instituts für Sozialrecht und Sozialpolitik in Europa der Christian-Albrechts-Universität zu Kiel
Regionen im Nationalsozialismus
Fachkräftesicherung im Handwerk vor dem Hintergrund struktureller Wandlungen der Arbeitsmärkte
Collaboration and resistance during the holocaust : Belarus, Estonia, Latvia, Lithuania
Češi a Němci v pojetí a politice T. G. Masaryka : sborník příspěvk°u z mezinárodní konference ; [pořádné Masarykovým Ústavem AV ČR dne 6. prosince 2002 v Praze]
Pinocchio : entre texte et image : [un colloque organisé en mars 2002 l' Institut International Charles Perrault ...]
Das Verhältnis zwischen Schule und Hochschule : die Erwartungen des Postsekundarbereiches an die Qualität der Schulbildung
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Looking at the coloniser : cross-cultural perceptions in Central Asia and the Caucasus, Bengal, and related areas
Zukunftsorientierte Politik und Verwaltung für Westfalen
Geschichte(n) - Erzählen : Konstruktionen von Vergangenheit in literarischen Werken deutschsprachiger Autorinnen seit dem 18. Jahrhundert
"Herrschaft" und "Staat" : Untersuchungen zum Zivilisationswortschatz im südosteuropäischen Raum 1840 - 1870 ; eine erste Bilanz
Recht und Realität der Qualitätssicherung im Gesundheitswesen : Rehabilitationseinrichtung - Krankenhaus - stationäre Pflegeeinrichtung ; interdisziplinäre wissenschaftliche Tagung des Instituts für Sozialrecht und Sozialpolitik in Europa der Christian-Albrechts-Universität zu Kiel, der AOK Schleswig-Holstein und der LVA Schleswig-Holstein, 22./23. November 2001, Kiel ; eine Publikation des Instituts für Sozialrecht und Sozialpolitik in Europa der Christian-Albrechts-Universität zu Kiel
Regionen im Nationalsozialismus
Fachkräftesicherung im Handwerk vor dem Hintergrund struktureller Wandlungen der Arbeitsmärkte
Collaboration and resistance during the holocaust : Belarus, Estonia, Latvia, Lithuania
Češi a Němci v pojetí a politice T. G. Masaryka : sborník příspěvk°u z mezinárodní konference ; [pořádné Masarykovým Ústavem AV ČR dne 6. prosince 2002 v Praze]
Pinocchio : entre texte et image : [un colloque organisé en mars 2002 l' Institut International Charles Perrault ...]
Das Verhältnis zwischen Schule und Hochschule : die Erwartungen des Postsekundarbereiches an die Qualität der Schulbildung
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Looking at the coloniser : cross-cultural perceptions in Central Asia and the Caucasus, Bengal, and related areas
Zukunftsorientierte Politik und Verwaltung für Westfalen
Geschichte(n) - Erzählen : Konstruktionen von Vergangenheit in literarischen Werken deutschsprachiger Autorinnen seit dem 18. Jahrhundert
"Herrschaft" und "Staat" : Untersuchungen zum Zivilisationswortschatz im südosteuropäischen Raum 1840 - 1870 ; eine erste Bilanz
Recht und Realität der Qualitätssicherung im Gesundheitswesen : Rehabilitationseinrichtung - Krankenhaus - stationäre Pflegeeinrichtung ; interdisziplinäre wissenschaftliche Tagung des Instituts für Sozialrecht und Sozialpolitik in Europa der Christian-Albrechts-Universität zu Kiel, der AOK Schleswig-Holstein und der LVA Schleswig-Holstein, 22./23. November 2001, Kiel ; eine Publikation des Instituts für Sozialrecht und Sozialpolitik in Europa der Christian-Albrechts-Universität zu Kiel
Regionen im Nationalsozialismus
Fachkräftesicherung im Handwerk vor dem Hintergrund struktureller Wandlungen der Arbeitsmärkte
Collaboration and resistance during the holocaust : Belarus, Estonia, Latvia, Lithuania
Češi a Němci v pojetí a politice T. G. Masaryka : sborník příspěvk°u z mezinárodní konference ; [pořádné Masarykovým Ústavem AV ČR dne 6. prosince 2002 v Praze]
Pinocchio : entre texte et image : [un colloque organisé en mars 2002 l' Institut International Charles Perrault ...]