Did you mean: mathematicsmathematical

search result

Cover von Operation refinement proofs for VDM-like specifications

Operation refinement proofs for VDM-like specifications
Author: Buth, Bettina Search for this author
Year: 1995
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9501
Media group: DISSERTATION
Cover von Effektive Strategiekonstruktionen für Gale-Stewart-Spiele auf Transitionsgraphen

Effektive Strategiekonstruktionen für Gale-Stewart-Spiele auf Transitionsgraphen
Author: Seibert, Sebastian Search for this author
Year: 1996
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9611
Media group: DISSERTATION
Cover von Specification and verification of hybrid and real-time systems

Specification and verification of hybrid and real-time systems
Author: Lakhnech, Yassine Search for this author
Year: 1996
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9609
Media group: DISSERTATION
Cover von Compositional verification and specification of refinement for reactive systems in a dense time temporal logic

Compositional verification and specification of refinement for reactive systems in a dense time temporal logic
Author: Cau, Antonio Search for this author
Year: 1996
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9601
Media group: DISSERTATION
Cover von FPS-AM

FPS-AM
eine abstrakte Maschine für funktionale Produktionssysteme ; Speicherstrukturen, Maschinenbefehle und Übersetzung
Author: Oesterle, Kai Search for this author
Year: 1993
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9305
Media group: DISSERTATION
Cover von Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung

Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung
Author: Goerigk, Wolfgang Search for this author
Year: 1993
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9304
Media group: DISSERTATION
Cover von Kalküle für Prozesse und Funktionen

Kalküle für Prozesse und Funktionen
Author: Crasemann, Christoph Search for this author
Year: 1993
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9302
Media group: DISSERTATION
Cover von Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-Interpretierer

Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-Interpretierer
Author: Kröger, Henner Search for this author
Year: 1982
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 1/82
Media group: DISSERTATION
Cover von Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem

Organisatorische Maßnahmen zur effizienten Unterstützung höherer Sprachkonstrukte in einem interaktiven Reduktionssystem
Author: Blödorn, Harald Search for this author
Year: 1992
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9213
Media group: DISSERTATION
Cover von Graphentheoretische und algebraische Verfahren für die Analyse von Kristallstrukturen

Graphentheoretische und algebraische Verfahren für die Analyse von Kristallstrukturen
Author: Goetzke, Kai Search for this author
Year: 1992
Publisher: Kiel, Universität
Series: Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik; 9210
Media group: DISSERTATION
OPEN V 11.1.0.0