skip to content
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author: Nathalie Bertrand; Luca Bortolussi
Publisher: Cham : Springer International Publishing, 2017.
Series: Lecture notes in computer science, 10503.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017. The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Erscheint auch als:
Druck-Ausgabe
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Nathalie Bertrand; Luca Bortolussi
ISBN: 9783319663357 3319663356
OCLC Number: 1004333571
Description: 1 Online-Ressource (XIII, 370 Seiten 94 Illustrationen)
Series Title: Lecture notes in computer science, 10503.
Responsibility: edited by Nathalie Bertrand, Luca Bortolussi.

Abstract:

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017. The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1004333571> # Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "1004333571" ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computer_system_failures> ; # Computer system failures
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/logic_design> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/system_performance_and_evaluation> ; # System Performance and Evaluation
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computer_simulation> ; # Computer simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computer_system_performance> ; # Computer system performance
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/simulation_and_modeling> ; # Simulation and Modeling
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computers> ; # Computers
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/mathematical_statistics> ; # Mathematical statistics
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computation_by_abstract_devices> ; # Computation by Abstract Devices
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/probability_and_statistics_in_computer_science> ; # Probability and Statistics in Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computer_science> ; # Computer science
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4428772581#Person/bortolussi_luca> ; # Luca Bortolussi
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4428772581#Person/bertrand_nathalie> ; # Nathalie Bertrand
    schema:datePublished "2017" ;
    schema:description "This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017. The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4428772581> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4428772581#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4428772581#CreativeWork/> ;
    schema:name "Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings" ;
    schema:productID "1004333571" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1004333571#PublicationEvent/2017> ;
    schema:url <http://digitale-objekte.hbz-nrw.de/storage2/2018/07/10/file_16/8108979.pdf> ;
    schema:url <http://swbplus.bsz-bw.de/bsz492998086cov.htm> ;
    schema:url <https://doi.org/10.1007/978-3-319-66335-7> ;
    schema:workExample <http://worldcat.org/isbn/9783319663357> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-66335-7> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1004333571> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4428772581#Person/bertrand_nathalie> # Nathalie Bertrand
    a schema:Person ;
    schema:familyName "Bertrand" ;
    schema:givenName "Nathalie" ;
    schema:name "Nathalie Bertrand" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Person/bortolussi_luca> # Luca Bortolussi
    a schema:Person ;
    schema:familyName "Bortolussi" ;
    schema:givenName "Luca" ;
    schema:name "Luca Bortolussi" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1004333571> ; # Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computation_by_abstract_devices> # Computation by Abstract Devices
    a schema:Intangible ;
    schema:name "Computation by Abstract Devices" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computer_science> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computer_simulation> # Computer simulation
    a schema:Intangible ;
    schema:name "Computer simulation" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computer_system_failures> # Computer system failures
    a schema:Intangible ;
    schema:name "Computer system failures" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/computer_system_performance> # Computer system performance
    a schema:Intangible ;
    schema:name "Computer system performance" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/mathematical_statistics> # Mathematical statistics
    a schema:Intangible ;
    schema:name "Mathematical statistics" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/probability_and_statistics_in_computer_science> # Probability and Statistics in Computer Science
    a schema:Intangible ;
    schema:name "Probability and Statistics in Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/simulation_and_modeling> # Simulation and Modeling
    a schema:Intangible ;
    schema:name "Simulation and Modeling" ;
    .

<http://experiment.worldcat.org/entity/work/data/4428772581#Topic/system_performance_and_evaluation> # System Performance and Evaluation
    a schema:Intangible ;
    schema:name "System Performance and Evaluation" ;
    .

<http://worldcat.org/entity/work/data/4428772581#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Erscheint auch als:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1004333571> ; # Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319663357>
    a schema:ProductModel ;
    schema:isbn "3319663356" ;
    schema:isbn "9783319663357" ;
    .

<http://www.worldcat.org/title/-/oclc/1004333571>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1004333571> ; # Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    schema:dateModified "2019-07-01" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.