Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
Saved in:
| Format: | Electronic Conference Proceeding eBook |
|---|---|
| Language: | English |
| Published: |
Cham
Springer
2015
|
| Edition: | 1st ed. 2015 |
| Series: | Lecture Notes in Computer Science
9259 |
| Subjects: | |
| Online Access: | Volltext Abstract |
| Physical Description: | 1 Online-Ressource (XVI, 329 p. 99 illus) |
| ISBN: | 9783319222646 9783319222639 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-22264-6 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042788335 | ||
| 003 | DE-604 | ||
| 005 | 20150908 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150901s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319222646 |c Online |9 978-3-319-22264-6 | ||
| 020 | |a 9783319222639 |c Print |9 978-3-319-22263-9 | ||
| 024 | 7 | |a 10.1007/978-3-319-22264-6 |2 doi | |
| 035 | |a (OCoLC)920800980 | ||
| 035 | |a (DE-599)BVBBV042788335 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Quantitative Evaluation of Systems |b 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings |c edited by Javier Campos, Boudewijn R. Haverkort |
| 250 | |a 1st ed. 2015 | ||
| 264 | 1 | |a Cham |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (XVI, 329 p. 99 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9259 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer system performance | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer simulation | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a System Performance and Evaluation | |
| 650 | 4 | |a Probability and Statistics in Computer Science | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Campos, Javier |e Sonstige |4 oth | |
| 711 | 2 | |a QEST |n 12. |d 2015 |c Madrid |j Sonstige |0 (DE-588)1075740444 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9259 |w (DE-604)BV014880109 |9 9259 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-22264-6 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218212&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028218212 | ||
Record in the Search Index
| _version_ | 1804175020977553408 |
|---|---|
| adam_text | QUANTITATIVE EVALUATION OF SYSTEMS
/
: 2015
ABSTRACT / INHALTSTEXT
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV042788335 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)920800980 (DE-599)BVBBV042788335 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-22264-6 |
| edition | 1st ed. 2015 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02381nmm a2200565zcb4500</leader><controlfield tag="001">BV042788335</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150908 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150901s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319222646</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-22264-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319222639</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-22263-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-22264-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)920800980</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042788335</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Quantitative Evaluation of Systems</subfield><subfield code="b">12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings</subfield><subfield code="c">edited by Javier Campos, Boudewijn R. Haverkort</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2015</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 329 p. 99 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9259</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer system performance</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System Performance and Evaluation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Probability and Statistics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Campos, Javier</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">QEST</subfield><subfield code="n">12.</subfield><subfield code="d">2015</subfield><subfield code="c">Madrid</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1075740444</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9259</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9259</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-22264-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218212&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028218212</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042788335 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:09:39Z |
| institution | BVB |
| institution_GND | (DE-588)1075740444 |
| isbn | 9783319222646 9783319222639 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028218212 |
| oclc_num | 920800980 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XVI, 329 p. 99 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings edited by Javier Campos, Boudewijn R. Haverkort 1st ed. 2015 Cham Springer 2015 1 Online-Ressource (XVI, 329 p. 99 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9259 0302-9743 Computer science Computer system performance Logic design Computer simulation Computer Science Logics and Meanings of Programs System Performance and Evaluation Probability and Statistics in Computer Science Computation by Abstract Devices Simulation and Modeling Informatik (DE-588)1071861417 Konferenzschrift gnd-content Campos, Javier Sonstige oth QEST 12. 2015 Madrid Sonstige (DE-588)1075740444 oth Lecture Notes in Computer Science 9259 (DE-604)BV014880109 9259 https://doi.org/10.1007/978-3-319-22264-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218212&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings Lecture Notes in Computer Science Computer science Computer system performance Logic design Computer simulation Computer Science Logics and Meanings of Programs System Performance and Evaluation Probability and Statistics in Computer Science Computation by Abstract Devices Simulation and Modeling Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings |
| title_auth | Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings |
| title_exact_search | Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings |
| title_full | Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings edited by Javier Campos, Boudewijn R. Haverkort |
| title_fullStr | Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings edited by Javier Campos, Boudewijn R. Haverkort |
| title_full_unstemmed | Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings edited by Javier Campos, Boudewijn R. Haverkort |
| title_short | Quantitative Evaluation of Systems |
| title_sort | quantitative evaluation of systems 12th international conference qest 2015 madrid spain september 1 3 2015 proceedings |
| title_sub | 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings |
| topic | Computer science Computer system performance Logic design Computer simulation Computer Science Logics and Meanings of Programs System Performance and Evaluation Probability and Statistics in Computer Science Computation by Abstract Devices Simulation and Modeling Informatik |
| topic_facet | Computer science Computer system performance Logic design Computer simulation Computer Science Logics and Meanings of Programs System Performance and Evaluation Probability and Statistics in Computer Science Computation by Abstract Devices Simulation and Modeling Informatik Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-22264-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028218212&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT camposjavier quantitativeevaluationofsystems12thinternationalconferenceqest2015madridspainseptember132015proceedings AT qestmadrid quantitativeevaluationofsystems12thinternationalconferenceqest2015madridspainseptember132015proceedings |