Search Results for Quantitative Methods - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dQuantitative$002bMethods$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-04-06T06:08:51Z New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401223 2026-04-06T06:08:51Z 2026-04-06T06:08:51Z Author&#160;Balsamo, Simonetta. editor.&#160;Marin, Andrea. editor.&#160;Vicario, Enrico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91632-3">https://doi.org/10.1007/978-3-319-91632-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures ent://SD_ILS/0/SD_ILS:611797 2026-04-06T06:08:51Z 2026-04-06T06:08:51Z Author&#160;Bernardo, Marco. editor.&#160;De Nicola, Rocco. editor.&#160;Hillston, Jane. editor. (orcid)0000-0003-4914-9255&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures ent://SD_ILS/0/SD_ILS:192413 2026-04-06T06:08:51Z 2026-04-06T06:08:51Z Author&#160;Aldini, Alessandro. editor.&#160;Bernardo, Marco. editor.&#160;Pierro, Alessandra. editor.&#160;Wiklicky, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXVII ent://SD_ILS/0/SD_ILS:613757 2026-04-06T06:08:51Z 2026-04-06T06:08:51Z Author&#160;Mercik, Jacek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:614629 2026-04-06T06:08:51Z 2026-04-06T06:08:51Z Author&#160;Lankhorst, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615970 2026-04-06T06:08:51Z 2026-04-06T06:08:51Z Author&#160;Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394&#160;Bortolussi, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66335-7">https://doi.org/10.1007/978-3-319-66335-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616053 2026-04-06T06:08:51Z 2026-04-06T06:08:51Z Author&#160;Agha, Gul. editor.&#160;Van Houdt, Benny. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-43425-4">https://doi.org/10.1007/978-3-319-43425-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>