Konferenzschrift
Workshop Formale Methoden der Linguistik und 14. Theorietag Automaten und Formale Sprachen : Caputh bei Potsdam, 27. September - 30. September 2004
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
144 S.
- Notes
-
graph. Darst.
Beitr. teilw. dt., teilw. engl. - Literaturangaben
- Bibliographic citation
-
Preprint / Universität Potsdam ; 2004,2
- Classification
-
Informatik
Sprache, Linguistik
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Inst. für Informatik
- (when)
-
2004
- Contributor
-
Bensch, Suna
Workshop Formale Methoden der Linguistik (2004 : Caputh)
Theorietag Automaten und Formale Sprachen (14 : 2004 : Caputh)
- 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:22 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.
Object type
- Konferenzschrift
Associated
- Bensch, Suna
- Workshop Formale Methoden der Linguistik (2004 : Caputh)
- Theorietag Automaten und Formale Sprachen (14 : 2004 : Caputh)
- Inst. für Informatik
Time of origin
- 2004
Other Objects (12)
Formal specification of CSCW applications
A formal foundation for concurrent object oriented programming
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
A lightweight formal method for the prediction of non-functional system properties
The requirement and design specification language SPECTRUM, Part 1
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 - June 30, 1994
A general framework for formal notions of "secure" systems
Anwendungs- und Optimierungspotenzial eines Neuro-Fuzzy-Systems im Wirkstoffdesign
Formal specification of CSCW applications
A formal foundation for concurrent object oriented programming
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
A lightweight formal method for the prediction of non-functional system properties
The requirement and design specification language SPECTRUM, Part 1
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 - June 30, 1994
A general framework for formal notions of "secure" systems
Anwendungs- und Optimierungspotenzial eines Neuro-Fuzzy-Systems im Wirkstoffdesign
Formal specification of CSCW applications
A formal foundation for concurrent object oriented programming
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
A lightweight formal method for the prediction of non-functional system properties
The requirement and design specification language SPECTRUM, Part 1
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 - June 30, 1994
A general framework for formal notions of "secure" systems