Quantitative evaluation of systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: QEST 2017
• Further Information: Note: Edited by Nathalie Bertrand, Luca Bortolussi.
• Editors: Bertrand, Nathalie; Bortolussi, Luca
• Other Names: International Conference on the Quantitative Evaluation of Systems, 14th
• Contents: Probabilistic modeling -- Smart energy systems over the cloud -- Petri nets and performance modeling -- Parametric verification -- Machine learning and formal methods -- Tools.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xiii, 370 pages), illustrations
• Subjects: 004.2/5; Computer science; Computer systems -- Evaluation -- Congresses; Computer networks -- Evaluation -- Congresses; Reliability (Engineering) -- Congresses; Petri nets -- Congresses; Machine theory -- Congresses; Logic design; Computer system performance; Computer simulation; Computer networks -- Evaluation; Computer systems -- Evaluation; Machine theory; Petri nets; Reliability (Engineering); Computers -- Hardware -- Handheld Devices; Computers -- Mathematical & Statistical Software; Computers -- Machine Theory; Computers -- Computer Simulation; Systems analysis & design; Maths for computer scientists; User interface design & usability; Computer modelling & simulation; Computers -- Programming -- General; Computer programming / software development; Computer Science; Logics and Meanings of Programs; System Performance and Evaluation; Probability and Statistics in Computer Science; Computation by Abstract Devices; Simulation and Modeling; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319663357; 3319663356
• Related ISBNs: 9783319663340; 3319663348
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 1, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.