- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826540776
3826540778
- Maße
-
21 cm
- Umfang
-
VI, 283 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: Karlsruhe, Univ., Diss., 1998
- Schlagwort
-
Systementwicklung
Formale Methode
Programmverifikation
Verfeinerung
Temporale Logik
Kalkül
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 11.06.2025, 11:33 UTC
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
- Hochschulschrift
Beteiligte
- Fuchß, Thomas
- Shaker
Entstanden
- 1998
Ähnliche Objekte (12)
Abstrakte Datentypen und temporale Logik : ein kombinierter Spezifikationsansatz
Bildsegmentierung mit Fuzzy-Logik
Temporal web mining
Fuzzy-Logik im Bereich der Regelung elektromechanischer Vorschubachsen
Eine grafische Anfragesprache für temporale Datenbanken
Spatio-temporal decomposition of bioelectrical brain signals
Kontextuelle Urteilslogik mit Begriffsgraphen : ein Beitrag zur Restrukturierung der mathematischen Logik
Beitrag zum Einsatz von Fuzzy-Logik bei der Adaption von Regelkreisen
On flows with spatio-temporal symmetries near heteroclinic networks
Program optimization for temporal reasoning within a logic programming framework
Temporale Modellierung multimedialer interaktiver Systeme : Integration visueller und nichtvisueller Interaktionsformen
Naso-temporale Asymmetrie des Pupillensystems : Konsequenzen für den Verlauf der Pupillen-Lichtreflexbahn
Abstrakte Datentypen und temporale Logik : ein kombinierter Spezifikationsansatz
Bildsegmentierung mit Fuzzy-Logik
Temporal web mining
Fuzzy-Logik im Bereich der Regelung elektromechanischer Vorschubachsen
Eine grafische Anfragesprache für temporale Datenbanken
Spatio-temporal decomposition of bioelectrical brain signals
Kontextuelle Urteilslogik mit Begriffsgraphen : ein Beitrag zur Restrukturierung der mathematischen Logik
Beitrag zum Einsatz von Fuzzy-Logik bei der Adaption von Regelkreisen
On flows with spatio-temporal symmetries near heteroclinic networks
Program optimization for temporal reasoning within a logic programming framework
Temporale Modellierung multimedialer interaktiver Systeme : Integration visueller und nichtvisueller Interaktionsformen
Naso-temporale Asymmetrie des Pupillensystems : Konsequenzen für den Verlauf der Pupillen-Lichtreflexbahn
Abstrakte Datentypen und temporale Logik : ein kombinierter Spezifikationsansatz
Bildsegmentierung mit Fuzzy-Logik
Temporal web mining
Fuzzy-Logik im Bereich der Regelung elektromechanischer Vorschubachsen
Eine grafische Anfragesprache für temporale Datenbanken
Spatio-temporal decomposition of bioelectrical brain signals
Kontextuelle Urteilslogik mit Begriffsgraphen : ein Beitrag zur Restrukturierung der mathematischen Logik
Beitrag zum Einsatz von Fuzzy-Logik bei der Adaption von Regelkreisen
On flows with spatio-temporal symmetries near heteroclinic networks
Program optimization for temporal reasoning within a logic programming framework
Temporale Modellierung multimedialer interaktiver Systeme : Integration visueller und nichtvisueller Interaktionsformen