- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
44 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturverz. S. 37 - 39
- Bibliographic citation
-
Hildesheimer Informatik-Berichte ; 93,13
- Event
-
Veröffentlichung
- (where)
-
Hildesheim
- (who)
-
Inst. für Informatik
- (when)
-
1993
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:33 PM CET
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.
Associated
- Koutny, Maciej
- Esparza, Javier
- Best, Eike
- Inst. für Informatik
Time of origin
- 1993
Other Objects (12)
The calculus of SPECTRUM
The requirement and design specification language SPECTRUM, Part 1
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
General refinement and recursion for the box calculus
Werkstattgespräch Gesellschaftliche Auswirkungen Grosser Informationssysteme aus der Sicht Verschiedener Disziplinen, Bd. 1a [Erg.-Bd. zur 1., noch unvollst. Aufl.].. Restliche Arbeitspapiere
Petri-Netze in der Wissensverarbeitung
Anwendung des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen
Metamodell zur Analyse und formalisierten Modellierung von Softwareentwicklungsprozessen
The calculus of SPECTRUM
The requirement and design specification language SPECTRUM, Part 1
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
General refinement and recursion for the box calculus
Werkstattgespräch Gesellschaftliche Auswirkungen Grosser Informationssysteme aus der Sicht Verschiedener Disziplinen, Bd. 1a [Erg.-Bd. zur 1., noch unvollst. Aufl.].. Restliche Arbeitspapiere
Petri-Netze in der Wissensverarbeitung
Anwendung des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen
Metamodell zur Analyse und formalisierten Modellierung von Softwareentwicklungsprozessen
The calculus of SPECTRUM
The requirement and design specification language SPECTRUM, Part 1
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
General refinement and recursion for the box calculus
Werkstattgespräch Gesellschaftliche Auswirkungen Grosser Informationssysteme aus der Sicht Verschiedener Disziplinen, Bd. 1a [Erg.-Bd. zur 1., noch unvollst. Aufl.].. Restliche Arbeitspapiere
Petri-Netze in der Wissensverarbeitung
Anwendung des Theorembeweisers SETHEO auf die Theorie der Halbgruppen und Gruppen