Konferenzschrift | Kongress
Descriptional complexity of formal systems : 15th international workshop ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642393099
3642393098
- Dimensions
-
24 cm
- Extent
-
X, 288 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 8031
- Keyword
-
Beschreibungskomplexität
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2013
- 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:15 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
- Kongress
Associated
- Jürgensen, Helmut
- Reis, Rogério
- DCFS (15 : 2013 : London, Ontario)
- Springer
Time of origin
- 2013
Other Objects (12)
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Descriptional complexity of formal systems : 13 international workshop ; proceedings
Descriptional complexity of formal systems : 14th international workshop ; proceedings
Computer science logic : 15th international workshop ; proceedings
Combinatorial image analysis : 15th international workshop ; proceedings
Structural information and communication complexity : 15th international colloquium ; proceedings
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Cryptographic hardware and embedded systems : 15th international workshop ; proceedings
Logic, language, information and computation : 15th international workshop ; proceedings
Groupware: design, implementation, and use : 15th international workshop ; proceedings
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings
Proceedings of the 15th International Workshop on Targetry and Target Chemistry
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Descriptional complexity of formal systems : 13 international workshop ; proceedings
Descriptional complexity of formal systems : 14th international workshop ; proceedings
Computer science logic : 15th international workshop ; proceedings
Combinatorial image analysis : 15th international workshop ; proceedings
Structural information and communication complexity : 15th international colloquium ; proceedings
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Cryptographic hardware and embedded systems : 15th international workshop ; proceedings
Logic, language, information and computation : 15th international workshop ; proceedings
Groupware: design, implementation, and use : 15th international workshop ; proceedings
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings
Proceedings of the 15th International Workshop on Targetry and Target Chemistry
Formal methods for industrial critical systems : 15th international workshop ; proceedings
Descriptional complexity of formal systems : 13 international workshop ; proceedings
Descriptional complexity of formal systems : 14th international workshop ; proceedings
Computer science logic : 15th international workshop ; proceedings
Combinatorial image analysis : 15th international workshop ; proceedings
Structural information and communication complexity : 15th international colloquium ; proceedings
Formal methods: foundations and applications : 15th Brazilian symposium ; proceedings
Cryptographic hardware and embedded systems : 15th international workshop ; proceedings
Logic, language, information and computation : 15th international workshop ; proceedings
Groupware: design, implementation, and use : 15th international workshop ; proceedings
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings