Search Results for Logic - Narrowed by: English - Mathematical statistics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bstatistics.$002509Mathematical$002bstatistics.$0026te$003dILS$0026ps$003d300? 2024-11-05T04:17:50Z Stochastic Coalgebraic Logic ent://SD_ILS/0/SD_ILS:190484 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Doberkat, Ernst-Erich. author.&#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-02995-0">http://dx.doi.org/10.1007/978-3-642-02995-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday ent://SD_ILS/0/SD_ILS:486859 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Alvim, M&aacute;rio S. editor.&#160;Chatzikokolakis, Kostas. editor.&#160;Olarte, Carlos. editor.&#160;Valencia, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Early Software Reliability Prediction A Fuzzy Logic Approach ent://SD_ILS/0/SD_ILS:335512 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Pandey, Ajeet Kumar. author.&#160;Goyal, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335512.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-81-322-1176-1">http://dx.doi.org/10.1007/978-81-322-1176-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Probabilistic Logics and Probabilistic Networks ent://SD_ILS/0/SD_ILS:205718 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Haenni, Rolf. author.&#160;Romeijn, Jan-Willem. author.&#160;Wheeler, Gregory. author.&#160;Williamson, Jon. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0008-6">http://dx.doi.org/10.1007/978-94-007-0008-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Decisions for Artificial Intelligence 16th International Conference, MDAI 2019, Milan, Italy, September 4&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482857 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Torra, Vicen&ccedil;. editor. (orcid)0000-0002-0368-8037&#160;Narukawa, Yasuo. editor.&#160;Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170&#160;Viviani, Marco. editor. (orcid)0000-0002-2274-9050&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-26773-5">https://doi.org/10.1007/978-3-030-26773-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484899 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391&#160;Ognjanovi&#263;, Zoran. editor. (orcid)0000-0003-2508-6480&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29765-7">https://doi.org/10.1007/978-3-030-29765-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Uncertainty Management 13th International Conference, SUM 2019, Compi&egrave;gne, France, December 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486570 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Ben Amor, Nahla. editor.&#160;Quost, Benjamin. editor.&#160;Theobald, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35514-2">https://doi.org/10.1007/978-3-030-35514-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483549 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Coecke, Bob. editor. (orcid)0000-0002-5310-8723&#160;Lambert-Mogiliansky, Ariane. editor. (orcid)0000-0003-4065-2049&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-35895-2">https://doi.org/10.1007/978-3-030-35895-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:482656 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Horv&aacute;th, Andr&aacute;s. editor.&#160;Wolter, Katinka. 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-10885-8">https://doi.org/10.1007/978-3-319-10885-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485683 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Norman, Gethin. editor.&#160;Sanders, William. 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-10696-0">https://doi.org/10.1007/978-3-319-10696-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485806 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Bobillo, Fernando. editor.&#160;Carvalho, Rommel N. editor.&#160;Costa, Paulo C.G. editor.&#160;d'Amato, Claudia. editor.&#160;Fanizzi, Nicola. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-13413-0">https://doi.org/10.1007/978-3-319-13413-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:488979 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;van Breugel, Franck. editor.&#160;Kashefi, Elham. editor.&#160;Palamidessi, Catuscia. editor.&#160;Rutten, Jan. 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-06880-0">https://doi.org/10.1007/978-3-319-06880-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CONCUR 2014 &ndash; Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. ent://SD_ILS/0/SD_ILS:489153 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Baldan, Paolo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44584-6">https://doi.org/10.1007/978-3-662-44584-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Paradoxes in Probability Theory ent://SD_ILS/0/SD_ILS:335896 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Eckhardt, William. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335896.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5140-8">http://dx.doi.org/10.1007/978-94-007-5140-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Beginner's Guide to Discrete Mathematics ent://SD_ILS/0/SD_ILS:168370 2024-11-05T04:17:50Z 2024-11-05T04:17:50Z Author&#160;Wallis, W.D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-8176-8286-6">http://dx.doi.org/10.1007/978-0-8176-8286-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>