- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
44 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 37 - 39
- Erschienen in
-
Hildesheimer Informatik-Berichte ; 93,13
- Ereignis
-
Veröffentlichung
- (wo)
-
Hildesheim
- (wer)
-
Inst. für Informatik
- (wann)
-
1993
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:33 MEZ
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.
Beteiligte
- Koutny, Maciej
- Esparza, Javier
- Best, Eike
- Inst. für Informatik
Entstanden
- 1993
Ähnliche Objekte (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