Konferenzschrift | Kongress
Quantitative evaluation of systems : 10th international conference ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642401954
3642401953
- Dimensions
-
24 cm, 640 g
- Extent
-
XII, 406 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Lecture notes in computer science ; 8054
- Keyword
-
Rechnernetz
Datenverarbeitungssystem
Leistungsbewertung
Model Checking
Automat
- Event
-
Veröffentlichung
- (where)
-
Heidelberg, Dordrecht, London, New York, NY, Berlin
- (who)
-
Springer
- (when)
-
2013
- Contributor
-
Joshi, Kaustubh
Siegle, Markus
Stoelinga, Marie͏̈lle
D'Argenio, Pedro R.
QEST (10 : 2013 : Buenos Aires)
- 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:13 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
- Joshi, Kaustubh
- Siegle, Markus
- Stoelinga, Marie͏̈lle
- D'Argenio, Pedro R.
- QEST (10 : 2013 : Buenos Aires)
- Springer
Time of origin
- 2013
Other Objects (12)
Unconventional computation : 10th international conference ; proceedings
Web engineering : 10th international conference ; proceedings
Concurrency theory : 10th international conference ; proceedings
Genetic programming : 10th European conference ; proceedings
Compiler construction : 10th international conference ; proceedings
Entertainment computing : 10th international conference ; proceedings
Software composition : 10th international conference ; proceedings
Database theory : 10th international conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 10th European conference ; proceedings
Formal concept analysis : 10th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Computer aided verification : 10th international conference ; proceedings
Unconventional computation : 10th international conference ; proceedings
Web engineering : 10th international conference ; proceedings
Concurrency theory : 10th international conference ; proceedings
Genetic programming : 10th European conference ; proceedings
Compiler construction : 10th international conference ; proceedings
Entertainment computing : 10th international conference ; proceedings
Software composition : 10th international conference ; proceedings
Database theory : 10th international conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 10th European conference ; proceedings
Formal concept analysis : 10th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings
Computer aided verification : 10th international conference ; proceedings
Unconventional computation : 10th international conference ; proceedings
Web engineering : 10th international conference ; proceedings
Concurrency theory : 10th international conference ; proceedings
Genetic programming : 10th European conference ; proceedings
Compiler construction : 10th international conference ; proceedings
Entertainment computing : 10th international conference ; proceedings
Software composition : 10th international conference ; proceedings
Database theory : 10th international conference ; proceedings
Symbolic and quantitative approaches to reasoning with uncertainty : 10th European conference ; proceedings
Formal concept analysis : 10th international conference ; proceedings
Integrated formal methods : 10th international conference ; proceedings