Hochschulschrift
Abstrakte Datentypen und temporale Logik : ein kombinierter Spezifikationsansatz
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826505331
3826505336
- Dimensions
-
21 cm
- Extent
-
211 S.
- Edition
-
Als Ms. gedr.
- Language
-
Deutsch
- Notes
-
Zugl.: München, Univ., Diss., 1994
- Keyword
-
Abstrakter Datentyp
Algebraische Spezifikation
Temporale Logik
- 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, 1:48 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
- Hochschulschrift
Associated
- Leßke, Frank
- Shaker
Time of origin
- 1995
Other Objects (12)
Eine temporale Logik der Prozesse
Bewertung des Vorspannkraftverlustes in Schraubenverbindungen unter kombinierter mechanischer und thermischer Beanspruchung
Elementare Geometrie und Logik
Bildsegmentierung mit Fuzzy-Logik
Anfrageoptimierung durch abstrakte Interpretation für ein deduktives Datenbanksystem
Untersuchung des Nachbeulverhaltens rechteckig versteifter metallischer Strukturen unter kombinierter Druck- und Schubbeanspruchung
Temporal web mining
Logik und Erkenntnis : drei kritische Studien
Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen
Theorie und Praxis kombinierter Wälz-Gleitlager für den Pressenbau
Fuzzy Logik, neuronale Netze und evolutionäre Algorithmen
Fuzzy Logik, neuronale Netze und evolutionäre Algorithmen
Eine temporale Logik der Prozesse
Bewertung des Vorspannkraftverlustes in Schraubenverbindungen unter kombinierter mechanischer und thermischer Beanspruchung
Elementare Geometrie und Logik
Bildsegmentierung mit Fuzzy-Logik
Anfrageoptimierung durch abstrakte Interpretation für ein deduktives Datenbanksystem
Untersuchung des Nachbeulverhaltens rechteckig versteifter metallischer Strukturen unter kombinierter Druck- und Schubbeanspruchung
Temporal web mining
Logik und Erkenntnis : drei kritische Studien
Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen
Theorie und Praxis kombinierter Wälz-Gleitlager für den Pressenbau
Fuzzy Logik, neuronale Netze und evolutionäre Algorithmen
Fuzzy Logik, neuronale Netze und evolutionäre Algorithmen
Eine temporale Logik der Prozesse
Bewertung des Vorspannkraftverlustes in Schraubenverbindungen unter kombinierter mechanischer und thermischer Beanspruchung
Elementare Geometrie und Logik
Bildsegmentierung mit Fuzzy-Logik
Anfrageoptimierung durch abstrakte Interpretation für ein deduktives Datenbanksystem
Untersuchung des Nachbeulverhaltens rechteckig versteifter metallischer Strukturen unter kombinierter Druck- und Schubbeanspruchung
Temporal web mining
Logik und Erkenntnis : drei kritische Studien
Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen
Theorie und Praxis kombinierter Wälz-Gleitlager für den Pressenbau
Fuzzy Logik, neuronale Netze und evolutionäre Algorithmen