Konferenzschrift | Kongress
Tagungsband / 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22. - 24.2.2010 in Dresden
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783839601037
- Maße
-
21 cm
- Umfang
-
248 S.
- Anmerkungen
-
graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Entwurfsautomation
Systemsynthese
Modellierung
Beschreibungssprache
Verifikation
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Fraunhofer-Verl.
- (wann)
-
2010
- Beteiligte Personen und Organisationen
-
Dietrich, Manfred
Gesellschaft für Informatik
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (13 : 2010 : Dresden)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:27 MEZ
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
Beteiligte
- Dietrich, Manfred
- Gesellschaft für Informatik
- Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (13 : 2010 : Dresden)
- Fraunhofer-Verl.
Entstanden
- 2010
Ähnliche Objekte (12)
Disruptive innovation in manufacturing engineering towards the 4th industrial revolution, Buch.. Abstracts
Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Politikbericht
Rohstoffeffizienz und Rohstoffinnovationen, Bd. 2
Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Technologienbericht
MetaMan : Entwicklung einer Open-Source-Komponente zur Unterstützung des Metadatenmanagements im Semantic MediaWiki
Rohstoffeffizienz und Rohstoffinnovationen, [Bd. 1]
Rohstoffeffizienz und Rohstoffinnovationen, Bd. 1.
Charakterisierung und Modellierung glasfaserverstärkter Thermoplaste unter dynamischen Lasten
Kinematische Modellierung und Regelung omnidirektionaler, nicht-holonomer Fahrwerke
Modellierung eines Komfortindex zur Beurteilung des Raumklimas am Beispiel der Passagierflugzeugkabine
Modellierung und Lösung parametrischer Packungsprobleme mittels semi-infiniter Optimierung : angewandt auf die Verwertung von Edelsteinen
Auslegung von Multidomänen-Systemen : Analyse, Modellierung und Realisierung von mechatronischen Systemen am Beispiel einer aktiven Knieprothese
Disruptive innovation in manufacturing engineering towards the 4th industrial revolution, Buch.. Abstracts
Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Politikbericht
Rohstoffeffizienz und Rohstoffinnovationen, Bd. 2
Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Technologienbericht
MetaMan : Entwicklung einer Open-Source-Komponente zur Unterstützung des Metadatenmanagements im Semantic MediaWiki
Rohstoffeffizienz und Rohstoffinnovationen, [Bd. 1]
Rohstoffeffizienz und Rohstoffinnovationen, Bd. 1.
Charakterisierung und Modellierung glasfaserverstärkter Thermoplaste unter dynamischen Lasten
Kinematische Modellierung und Regelung omnidirektionaler, nicht-holonomer Fahrwerke
Modellierung eines Komfortindex zur Beurteilung des Raumklimas am Beispiel der Passagierflugzeugkabine
Modellierung und Lösung parametrischer Packungsprobleme mittels semi-infiniter Optimierung : angewandt auf die Verwertung von Edelsteinen
Auslegung von Multidomänen-Systemen : Analyse, Modellierung und Realisierung von mechatronischen Systemen am Beispiel einer aktiven Knieprothese
Disruptive innovation in manufacturing engineering towards the 4th industrial revolution, Buch.. Abstracts
Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Politikbericht
Rohstoffeffizienz und Rohstoffinnovationen, Bd. 2
Energietechnologien 2050 - Schwerpunkte für Forschung und Entwicklung, [...]. Technologienbericht
MetaMan : Entwicklung einer Open-Source-Komponente zur Unterstützung des Metadatenmanagements im Semantic MediaWiki
Rohstoffeffizienz und Rohstoffinnovationen, [Bd. 1]
Rohstoffeffizienz und Rohstoffinnovationen, Bd. 1.
Charakterisierung und Modellierung glasfaserverstärkter Thermoplaste unter dynamischen Lasten
Kinematische Modellierung und Regelung omnidirektionaler, nicht-holonomer Fahrwerke
Modellierung eines Komfortindex zur Beurteilung des Raumklimas am Beispiel der Passagierflugzeugkabine
Modellierung und Lösung parametrischer Packungsprobleme mittels semi-infiniter Optimierung : angewandt auf die Verwertung von Edelsteinen