Hochschulschrift
Psychoakustische Verifikation von Computermodellen zur binauralen Raumsimulation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783861116523
3861116529
- Dimensions
-
21 cm
- Extent
-
II, 127 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Zugl.: Bochum, Univ., Diss., 1993
- Keyword
-
Binaurales Hören
Raumakustik
Computersimulation
- 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:42 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
- Hochschulschrift
Associated
- Pompetzki, Wulf
- Shaker
Time of origin
- 1993
Other Objects (12)
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Resynthese natürlichsprachlicher Äußerungen zur auditiven Verifikation einer prosodischen Etikettierung
Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Resynthese natürlichsprachlicher Äußerungen zur auditiven Verifikation einer prosodischen Etikettierung
Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme
Verifikation von Schaltungsbeschreibungen auf höheren Ebenen durch Rückübersetzung
Entwurf und Verifikation von Ablaufsteuerungen
Formale Verifikation von MOS-Transistorschaltungen
Verifikation digitaler Schaltungen mittels symbolischer Simulation
Modulare Spezifikation und Verifikation objektbasierter Programme
Ionensensitive Feldeffekttransistoren : Halbleitertechnologie, Entwurf und Verifikation
Verifikation numerischer Steuerungen an virtuellen Werkzeugmaschinen
Ein Rahmen zur Verifikation von SPS-Funktionsbausteinen in HOL
Generierung und Verifikation von Geländedatenbanken für Luftfahrzeuge
Resynthese natürlichsprachlicher Äußerungen zur auditiven Verifikation einer prosodischen Etikettierung
Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse
Verifikation entfaltbarer Composite-Booms für Gossamer-Raumfahrtsysteme