Konferenzschrift | Kongress 2002
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832212025
3832212027
- Dimensions
-
21 cm
- Extent
-
248 S.
- Notes
-
Ill., graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben
- Keyword
-
Entwurfsautomation
Systemsynthese
Beschreibungssprache
Entwurfssprache
Verifikation
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:05 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress 2002
Associated
- Drechsler, Rolf
- Shaker
Time of origin
- 2003
Other Objects (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 ...]