جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید. http://localhost/handle/Hannan/567
عنوان: Quantitative Evaluation of Systems
عنوان دیگر: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
پدیدآورنده: McIver, Annabelle. ;;Horvath, Andras. ; (orcid)0000-0002-8210-545X ; http://orcid.org/0000-0002-8210-545X. ;
کلید واژه ها: Logic design. ;;Software Engineering;Computer Science;Artificial Intelligence;Computer simulation. ;;Logics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;;Software Engineering;Probability and Statistics in Computer Science. ; http://scigraph.springernature.com/things/product-market-codes/I17036. ;;Artificial Intelligence and Robotics;Simulation and Modeling. ; http://scigraph.springernature.com/things/product-market-codes/I21025. ;;Mathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;;005.1015113 ; 23 ;;QA76.63 ;
تاریخ انتشار: 2018
محل نشر: Cham :
ناشر: Springer International Publishing :
Imprint: Springer,
فروست / شماره : Theoretical Computer Science and General Issues ; ; 11024. ;
Theoretical Computer Science and General Issues ; ; 11024. ;
چکیده: This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods. ;
توضیحات : Printed edition: ; 9783319991535. ;
SpringerLink (Online service) ;




Printed edition: ; 9783319991559. ;
آدرس: http://localhost/handle/Hannan/567
شابک : 9783319991542 ;
9783319991535 (print) ;
9783319991559 (print) ;
اطلاعات بیشتر: XI, 423 p. 101 illus. ; online resource. ;
مجموعه(های):مدیریت فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319991535.pdf14.56 MBAdobe PDFتصویر
مشاهده فایل
عنوان: Quantitative Evaluation of Systems
عنوان دیگر: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
پدیدآورنده: McIver, Annabelle. ;;Horvath, Andras. ; (orcid)0000-0002-8210-545X ; http://orcid.org/0000-0002-8210-545X. ;
کلید واژه ها: Logic design. ;;Software Engineering;Computer Science;Artificial Intelligence;Computer simulation. ;;Logics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;;Software Engineering;Probability and Statistics in Computer Science. ; http://scigraph.springernature.com/things/product-market-codes/I17036. ;;Artificial Intelligence and Robotics;Simulation and Modeling. ; http://scigraph.springernature.com/things/product-market-codes/I21025. ;;Mathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;;005.1015113 ; 23 ;;QA76.63 ;
تاریخ انتشار: 2018
محل نشر: Cham :
ناشر: Springer International Publishing :
Imprint: Springer,
فروست / شماره : Theoretical Computer Science and General Issues ; ; 11024. ;
Theoretical Computer Science and General Issues ; ; 11024. ;
چکیده: This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods. ;
توضیحات : Printed edition: ; 9783319991535. ;
SpringerLink (Online service) ;




Printed edition: ; 9783319991559. ;
آدرس: http://localhost/handle/Hannan/567
شابک : 9783319991542 ;
9783319991535 (print) ;
9783319991559 (print) ;
اطلاعات بیشتر: XI, 423 p. 101 illus. ; online resource. ;
مجموعه(های):مدیریت فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319991535.pdf14.56 MBAdobe PDFتصویر
مشاهده فایل
عنوان: Quantitative Evaluation of Systems
عنوان دیگر: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
پدیدآورنده: McIver, Annabelle. ;;Horvath, Andras. ; (orcid)0000-0002-8210-545X ; http://orcid.org/0000-0002-8210-545X. ;
کلید واژه ها: Logic design. ;;Software Engineering;Computer Science;Artificial Intelligence;Computer simulation. ;;Logics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;;Software Engineering;Probability and Statistics in Computer Science. ; http://scigraph.springernature.com/things/product-market-codes/I17036. ;;Artificial Intelligence and Robotics;Simulation and Modeling. ; http://scigraph.springernature.com/things/product-market-codes/I21025. ;;Mathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;;005.1015113 ; 23 ;;QA76.63 ;
تاریخ انتشار: 2018
محل نشر: Cham :
ناشر: Springer International Publishing :
Imprint: Springer,
فروست / شماره : Theoretical Computer Science and General Issues ; ; 11024. ;
Theoretical Computer Science and General Issues ; ; 11024. ;
چکیده: This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods. ;
توضیحات : Printed edition: ; 9783319991535. ;
SpringerLink (Online service) ;




Printed edition: ; 9783319991559. ;
آدرس: http://localhost/handle/Hannan/567
شابک : 9783319991542 ;
9783319991535 (print) ;
9783319991559 (print) ;
اطلاعات بیشتر: XI, 423 p. 101 illus. ; online resource. ;
مجموعه(های):مدیریت فناوری اطلاعات

پیوست های این کاربرگه
فایل توضیحات اندازهفرمت  
9783319991535.pdf14.56 MBAdobe PDFتصویر
مشاهده فایل