Hochschulschrift
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783860644690
3860644696
- Maße
-
21 cm
- Umfang
-
150 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1996
- Schlagwort
-
Programmverifikation
Typisierter Lambda-Kalkül
Funktionale Semantik
- Ereignis
-
Veröffentlichung
- (wo)
-
Hamburg
- (wer)
-
Kovač
- (wann)
-
1996
- Urheber
-
Kremer, Marion
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 13:32 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek.
Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Kremer, Marion
- Kovač
Entstanden
- 1996
Ähnliche Objekte (12)
Weiterentwicklung einer Kognitiven Systemarchitektur auf Basis von Graphtransformationen
Entwicklung von Bilanzbonitätsklassifikatoren auf der Basis schweizerischer Jahresabschlüsse
Planung und Bewertung strategischer Investitionsprojekte auf Basis stochastischer Netzpläne
Wortformerkennung des Bulgarischen : Morphemanalyse auf Basis einer formalen Grammatik
Moderation virtueller Projektarbeit : Entwicklung eines Moderationsansatzes auf Basis der Aktionsforschung
Neugliederung des Bundesgebiets auf Basis von Kreisdaten : ein finanzwissenschaftlicher Ansatz
Betriebswirtschaftliche Lagerstrategien für Sortenerzeugnisse der Stahlindustrie auf der Basis eines Simulationsmodells
Unscharfe Validierung strukturierter Daten : ein Modell auf der Basis unscharfer Logik
Analyse der Pionierstrategie bei Produktinnovationen auf der Basis unscharfer situativer Einflussgrößen
Gestaltung einer controllerbezogenen Anreizsystemkonzeption auf Basis der rationalitätsorientierten Controllingkonzeption : Erklärungsmodell und Gestaltungselemente
Die Automobilindustrie in Deutschland : eine Untersuchung auf Basis des Konzepts zur Koordinationsmängeldiagnose
Quantitative Risikosteuerung in der Investitionsplanung auf Basis des conditional value at risk
Weiterentwicklung einer Kognitiven Systemarchitektur auf Basis von Graphtransformationen
Entwicklung von Bilanzbonitätsklassifikatoren auf der Basis schweizerischer Jahresabschlüsse
Planung und Bewertung strategischer Investitionsprojekte auf Basis stochastischer Netzpläne
Wortformerkennung des Bulgarischen : Morphemanalyse auf Basis einer formalen Grammatik
Moderation virtueller Projektarbeit : Entwicklung eines Moderationsansatzes auf Basis der Aktionsforschung
Neugliederung des Bundesgebiets auf Basis von Kreisdaten : ein finanzwissenschaftlicher Ansatz
Betriebswirtschaftliche Lagerstrategien für Sortenerzeugnisse der Stahlindustrie auf der Basis eines Simulationsmodells
Unscharfe Validierung strukturierter Daten : ein Modell auf der Basis unscharfer Logik
Analyse der Pionierstrategie bei Produktinnovationen auf der Basis unscharfer situativer Einflussgrößen
Gestaltung einer controllerbezogenen Anreizsystemkonzeption auf Basis der rationalitätsorientierten Controllingkonzeption : Erklärungsmodell und Gestaltungselemente
Die Automobilindustrie in Deutschland : eine Untersuchung auf Basis des Konzepts zur Koordinationsmängeldiagnose
Quantitative Risikosteuerung in der Investitionsplanung auf Basis des conditional value at risk
Weiterentwicklung einer Kognitiven Systemarchitektur auf Basis von Graphtransformationen
Entwicklung von Bilanzbonitätsklassifikatoren auf der Basis schweizerischer Jahresabschlüsse
Planung und Bewertung strategischer Investitionsprojekte auf Basis stochastischer Netzpläne
Wortformerkennung des Bulgarischen : Morphemanalyse auf Basis einer formalen Grammatik
Moderation virtueller Projektarbeit : Entwicklung eines Moderationsansatzes auf Basis der Aktionsforschung
Neugliederung des Bundesgebiets auf Basis von Kreisdaten : ein finanzwissenschaftlicher Ansatz
Betriebswirtschaftliche Lagerstrategien für Sortenerzeugnisse der Stahlindustrie auf der Basis eines Simulationsmodells
Unscharfe Validierung strukturierter Daten : ein Modell auf der Basis unscharfer Logik
Analyse der Pionierstrategie bei Produktinnovationen auf der Basis unscharfer situativer Einflussgrößen
Gestaltung einer controllerbezogenen Anreizsystemkonzeption auf Basis der rationalitätsorientierten Controllingkonzeption : Erklärungsmodell und Gestaltungselemente
Die Automobilindustrie in Deutschland : eine Untersuchung auf Basis des Konzepts zur Koordinationsmängeldiagnose