Arama Sonu&ccedil;lar&#305; Logic programming. - Daralt&#305;lm&#305;&#351;: Mathematical statistics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLogic$002bprogramming.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bstatistics.$002509Mathematical$002bstatistics.$0026ps$003d300?dt=list 2026-03-14T16:50:07Z Multi-valued Logic for Decision-Making Under Uncertainty ent://SD_ILS/0/SD_ILS:607278 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Kagan, Evgeny. author.&#160;Rybalov, Alexander. author.&#160;Yager, Ronald. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-74762-5">https://doi.org/10.1007/978-3-031-74762-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482984 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:617034 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Reinecke, Philipp. editor.&#160;Di Marco, Antinisca. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612356 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Larsen, Kim Guldstrand. editor.&#160;Sokolsky, Oleg. editor.&#160;Wang, Ji. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-69483-2">https://doi.org/10.1007/978-3-319-69483-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization ent://SD_ILS/0/SD_ILS:613437 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Draheim, Dirk. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-69868-7">https://doi.org/10.1007/978-3-319-69868-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications ent://SD_ILS/0/SD_ILS:617778 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Berry, Stuart. editor.&#160;Lowndes, Val. editor.&#160;Trovati, Marcello. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-55417-4">https://doi.org/10.1007/978-3-319-55417-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394&#160;Bortolussi, Luca. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Bernardo, Marco. editor.&#160;De Nicola, Rocco. editor.&#160;Hillston, Jane. editor. (orcid)0000-0003-4914-9255&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616231 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Fiems, Dieter. editor.&#160;Paolieri, Marco. editor.&#160;Platis, Agapios N. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:616250 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;van Eekelen, Marko. editor.&#160;Dal Lago, Ugo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Agha, Gul. editor.&#160;Van Houdt, Benny. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616994 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Fr&auml;nzle, Martin. editor.&#160;Kapur, Deepak. editor.&#160;Zhan, Naijun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-47677-3">https://doi.org/10.1007/978-3-319-47677-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Uncertainty Theory ent://SD_ILS/0/SD_ILS:530406 2026-03-14T16:50:07Z 2026-03-14T16:50:07Z Yazar&#160;Liu, Baoding. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-44354-5">https://doi.org/10.1007/978-3-662-44354-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>