Shortcuts
. D .
PageMenu- Hauptmenü-
Page content

Regalbrowser





- ¬A¬ meta-calculus for formal system development Weber, Karl Matthias ¬A¬ meta-calculus for formal system developmentmat 2.80/g28-195 1 -
Titel: ¬A¬ meta-calculus for formal system development
Autor: Weber, Karl Matthias
Jahr: 1991
- Data and information modelling: proceedings of the BERKOM Workshop in Höchst-Annelsbach, Odenwald, 9. - 13. July 1990 Lehert, Susanne Data and information modelling: proceedings of the BERKOM Workshop in Höchst-Annelsbach, Odenwald, 9. - 13. July 1990mat 2.80/g28-196 2 -
Titel: Data and information modelling: proceedings of the BERKOM Workshop in Höchst-Annelsbach, Odenwald, 9. - 13. July 1990
Autor: Lehert, Susanne
Jahr: 1991
- ¬Ein¬ Modell zur Generierung paralleler Attributauswerter Klein, Eduard ¬Ein¬ Modell zur Generierung paralleler Attributauswertermat 2.80/g28-197 3 -
Titel: ¬Ein¬ Modell zur Generierung paralleler Attributauswerter
Autor: Klein, Eduard
Jahr: 1991
- ¬Ein¬ tableaubasierter Theorembeweiser für die intuitionistische Logik Bittel, Oliver ¬Ein¬ tableaubasierter Theorembeweiser für die intuitionistische Logikmat 2.80/g28-198 4 -
Titel: ¬Ein¬ tableaubasierter Theorembeweiser für die intuitionistische Logik
Autor: Bittel, Oliver
Jahr: 1991
- Wissensbasierte Pr/T-Netze zur Planungsunterstützung in offenen Systemen und ihre Anwendung im Bürobereich Victor, Frank Wissensbasierte Pr/T-Netze zur Planungsunterstützung in offenen Systemen und ihre Anwendung im Bürobereichmat 2.80/g28-199 5 -
Titel: Wissensbasierte Pr/T-Netze zur Planungsunterstützung in offenen Systemen und ihre Anwendung im Bürobereich
Autor: Victor, Frank
Jahr: 1992
- IDOL: e. interaktives Display-orientiertes List Processing System Huenke, Horst mat 2.80/g28-2 6 -
Titel: IDOL: e. interaktives Display-orientiertes List Processing System
Autor: Huenke, Horst
Jahr: 1968
- ¬Ein¬ Steuerungsprinzip der Intervallrechnung und dessen Anwendung auf den Gaußschen Algorithmus Wisskirchen, Peter mat 2.80/g28-20 7 -
Titel: ¬Ein¬ Steuerungsprinzip der Intervallrechnung und dessen Anwendung auf den Gaußschen Algorithmus
Autor: Wisskirchen, Peter
Jahr: 1969
- Grundbegriffe für eine Logik über Ereignisse und Normen: ein semantischer Ansatz auf der Basis von Petrinetzen Linz, Reinhard Grundbegriffe für eine Logik über Ereignisse und Normen: ein semantischer Ansatz auf der Basis von Petrinetzenmat 2.80/g28-200 8 -
Titel: Grundbegriffe für eine Logik über Ereignisse und Normen: ein semantischer Ansatz auf der Basis von Petrinetzen
Autor: Linz, Reinhard
Jahr: 1992
- Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme Kock, Gerd Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programmemat 2.80/g28-201 9 -
Titel: Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme
Autor: Kock, Gerd
Jahr: 1992