Konferenzschrift
2. GI-ITG-Workshop Anwenderprogrammierbare Schaltungen : 22. - 23. Juni 1995, Karlsruhe
- Alternative title
-
Anwenderprogrammierbare Schaltungen
Zweiter GI-ITG-Workshop Anwenderprogrammierbare Schaltungen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
24 cm
- Extent
-
VI, 162 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben
- Bibliographic citation
-
FZI-Publikation / FZI Forschungszentrum Informatik ; 95,2
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
Forschungszentrum Informatik
- (when)
-
1995
- Contributor
-
Rosenstiel, Wolfgang
Gesellschaft für Informatik
Workshop Anwenderprogrammierbare Schaltungen (2 : 1995 : Karlsruhe)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:54 AM CET
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
Associated
- Rosenstiel, Wolfgang
- Gesellschaft für Informatik
- Workshop Anwenderprogrammierbare Schaltungen (2 : 1995 : Karlsruhe)
- Forschungszentrum Informatik
Time of origin
- 1995
Other Objects (12)
12. GI/ITG Fachgespräch Sensornetze
MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
2. GI/ITG KuVS Fachgespräch
Custom computing : GI/ITG workshop, 19. - 21. Juni 1996 in Schloß Dagstuhl
GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]
14. GI/ITG KuVS Fachgespräch Sensornetze
19. GI/ITG KuVS Fachgespräch Sensornetze
Tagungsband des 3. GI-ITG-Workshops Anwendung Formaler Methoden beim Entwurf von Hardwaresystemen : [Passau, 16. - 17. März 1995]
Hardwarebeschreibungssprachen und Modellierungsparadigmen : 3. GI-ITG-GME-Workshop 26. - 28. Februar in Holzhau
Hardwarebeschreibungssprachen und Modellierungsparadigmen : 2. GI-ITG-GME-Workshop 15./16. Februar 1996 in Darmstadt
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : GI/ITG/GMM Workshop, Heinz Nixdorf Institut, Paderborn, 9. - 11. März 1998
5. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze"
12. GI/ITG Fachgespräch Sensornetze
MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
2. GI/ITG KuVS Fachgespräch
Custom computing : GI/ITG workshop, 19. - 21. Juni 1996 in Schloß Dagstuhl
GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]
14. GI/ITG KuVS Fachgespräch Sensornetze
19. GI/ITG KuVS Fachgespräch Sensornetze
Tagungsband des 3. GI-ITG-Workshops Anwendung Formaler Methoden beim Entwurf von Hardwaresystemen : [Passau, 16. - 17. März 1995]
Hardwarebeschreibungssprachen und Modellierungsparadigmen : 3. GI-ITG-GME-Workshop 26. - 28. Februar in Holzhau
Hardwarebeschreibungssprachen und Modellierungsparadigmen : 2. GI-ITG-GME-Workshop 15./16. Februar 1996 in Darmstadt
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : GI/ITG/GMM Workshop, Heinz Nixdorf Institut, Paderborn, 9. - 11. März 1998
5. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze"
12. GI/ITG Fachgespräch Sensornetze
MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
2. GI/ITG KuVS Fachgespräch
Custom computing : GI/ITG workshop, 19. - 21. Juni 1996 in Schloß Dagstuhl
GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : Braunschweig, 22. - 24. Februar 1999 ; [Tagungsband]
14. GI/ITG KuVS Fachgespräch Sensornetze
19. GI/ITG KuVS Fachgespräch Sensornetze
Tagungsband des 3. GI-ITG-Workshops Anwendung Formaler Methoden beim Entwurf von Hardwaresystemen : [Passau, 16. - 17. März 1995]
Hardwarebeschreibungssprachen und Modellierungsparadigmen : 3. GI-ITG-GME-Workshop 26. - 28. Februar in Holzhau
Hardwarebeschreibungssprachen und Modellierungsparadigmen : 2. GI-ITG-GME-Workshop 15./16. Februar 1996 in Darmstadt
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : GI/ITG/GMM Workshop, Heinz Nixdorf Institut, Paderborn, 9. - 11. März 1998