Specification of systems : theory in search for practice ; summary of a workshop, Hildesheim, Germany, 7 - 9 March 1994
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
22 S.
- Language
-
Deutsch
- Bibliographic citation
-
Hildesheimer Informatik-Berichte ; 94,24
- Event
-
Veröffentlichung
- (where)
-
Hildesheim
- (who)
-
Inst. für Informatik
- (when)
-
1994
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:16 PM CEST
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
- Heymer, Stefan
- Universität Hildesheim. Institut für Informatik
- Inst. für Informatik
Time of origin
- 1994
Other Objects (12)
The requirement and design specification language SPECTRUM, Part 1
Formal specification of CSCW applications
A polymorphic sort system for axiomatic specification languages
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
A connectionist approach for learning search control heuristics for automated deduction systems
The specification language SPECTRUM : core language report V1.0
Modular and visual specification of hybrid systems : an introdcution to hyCharts
Werkstattgespräch Gesellschaftliche Auswirkungen Grosser Informationssysteme aus der Sicht Verschiedener Disziplinen, Bd. 1.. Arbeitspapiere
The requirement and design specification language SPECTRUM, Part 1
Formal specification of CSCW applications
A polymorphic sort system for axiomatic specification languages
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
A connectionist approach for learning search control heuristics for automated deduction systems
The specification language SPECTRUM : core language report V1.0
Modular and visual specification of hybrid systems : an introdcution to hyCharts
Werkstattgespräch Gesellschaftliche Auswirkungen Grosser Informationssysteme aus der Sicht Verschiedener Disziplinen, Bd. 1.. Arbeitspapiere
The requirement and design specification language SPECTRUM, Part 1
Formal specification of CSCW applications
A polymorphic sort system for axiomatic specification languages
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
A connectionist approach for learning search control heuristics for automated deduction systems
The specification language SPECTRUM : core language report V1.0
Modular and visual specification of hybrid systems : an introdcution to hyCharts