skip to content
Quantitative Evaluation of Systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings Preview this item
ClosePreview this item
Checking...

Quantitative Evaluation of Systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

Author: Javier Campos; Boudewijn R Haverkort
Publisher: Cham : Springer International Publishing, 2015.
Series: Lecture Notes in Computer Science, 9259.
Edition/Format:   eBook : Document : English : 1st ed. 2015View all editions and formats
Summary:
This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid  Read more...
Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Javier Campos; Boudewijn R Haverkort
ISBN: 9783319222646 3319222643 9783319222639 3319222635
OCLC Number: 920800980
Description: 1 online resource (XVI, 329 Seiten 99 Illustrationen :) : Online-Ressource.
Series Title: Lecture Notes in Computer Science, 9259.
Responsibility: edited by Javier Campos, Boudewijn R. Haverkort.

Abstract:

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. They are organized in topical  Read more...

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/920800980> # Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "920800980" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2618682320#Place/cham> ; # Cham
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2618682320#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/2618682320#Topic/computer_simulation> ; # Computer simulation
    schema:about <http://experiment.worldcat.org/entity/work/data/2618682320#Topic/computer_system_performance> ; # Computer system performance
    schema:about <http://experiment.worldcat.org/entity/work/data/2618682320#Topic/logic_design> ; # Logic design
    schema:about <http://dewey.info/class/005.1015113/e23/> ;
    schema:bookEdition "1st ed. 2015." ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2618682320#Person/haverkort_boudewijn_r> ; # Boudewijn R. Haverkort
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2618682320#Person/campos_javier> ; # Javier Campos
    schema:datePublished "2015" ;
    schema:description "This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2618682320> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2618682320#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science ;
    schema:name "Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings" ;
    schema:productID "920800980" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/920800980#PublicationEvent/cham_springer_international_publishing_2015> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2618682320#Agent/springer_international_publishing> ; # Springer International Publishing
    schema:url <https://doi.org/10.1007/978-3-319-22264-6> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-22264-6> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218212&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9783319222639> ;
    schema:workExample <http://worldcat.org/isbn/9783319222646> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-22264-6> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/920800980> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2618682320#Agent/springer_international_publishing> # Springer International Publishing
    a bgn:Agent ;
    schema:name "Springer International Publishing" ;
    .

<http://experiment.worldcat.org/entity/work/data/2618682320#Person/campos_javier> # Javier Campos
    a schema:Person ;
    schema:familyName "Campos" ;
    schema:givenName "Javier" ;
    schema:name "Javier Campos" ;
    .

<http://experiment.worldcat.org/entity/work/data/2618682320#Person/haverkort_boudewijn_r> # Boudewijn R. Haverkort
    a schema:Person ;
    schema:familyName "Haverkort" ;
    schema:givenName "Boudewijn R." ;
    schema:name "Boudewijn R. Haverkort" ;
    .

<http://experiment.worldcat.org/entity/work/data/2618682320#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/920800980> ; # Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
    schema:name "Lecture Notes in Computer Science ;" ;
    .

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

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

<http://worldcat.org/isbn/9783319222639>
    a schema:ProductModel ;
    schema:isbn "3319222635" ;
    schema:isbn "9783319222639" ;
    .

<http://worldcat.org/isbn/9783319222646>
    a schema:ProductModel ;
    schema:isbn "3319222643" ;
    schema:isbn "9783319222646" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/920800980> ; # Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/920800980>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/920800980> ; # Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
    schema:dateModified "2018-06-14" ;
    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.