Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings (Lecture Notes in Computer Science)
暫譯: 系統的定量評估：第十二屆國際會議 QEST 2015，西班牙馬德里，2015年9月1-3日，會議論文集（計算機科學講義）

Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 2015-08-12
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 348
  • 裝訂: Paperback
  • ISBN: 3319222635
  • ISBN-13: 9783319222639
  • 相關分類: Computer-Science

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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.

商品描述(中文翻譯)

本書為第十二屆國際系統定量評估會議（QEST 2015）的會議紀錄，該會議於2015年9月在西班牙馬德里舉行。所呈現的19篇論文經過仔細審查和選擇，來自42篇投稿。這些論文被組織成幾個主題部分，包括：建模與應用；工具；Petri 網、過程代數與故障樹；應用；以及排隊系統與混合系統。本書還包含一篇完整的邀請演講論文。

類似商品