Search Results for Logic - Narrowed by: Mathematical statistics. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bstatistics.$002509Mathematical$002bstatistics.$0026ps$003d300?dt=list 2026-03-24T09:27:46Z Stochastic Coalgebraic Logic ent://SD_ILS/0/SD_ILS:190484 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> Multi-valued Logic for Decision-Making Under Uncertainty ent://SD_ILS/0/SD_ILS:607278 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Kagan, Evgeny. author.&#160;Rybalov, Alexander. author.&#160;Yager, Ronald. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> Fuzzy sets, fuzzy logic, fuzzy methods with applications ent://SD_ILS/0/SD_ILS:16460 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Bandemer, Hans.<br/>Preferred Shelf Number&#160;QA248.5 B3613 1995<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Probabilistic Logics and Probabilistic Networks ent://SD_ILS/0/SD_ILS:205718 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483549 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> 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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> Patch-Based Techniques in Medical Imaging Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612104 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Wu, Guorong. editor.&#160;Munsell, Brent C. editor.&#160;Zhan, Yiqiang. editor.&#160;Bai, Wenjia. editor.&#160;Sanroma, Gerard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67434-6">https://doi.org/10.1007/978-3-319-67434-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization ent://SD_ILS/0/SD_ILS:613437 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Draheim, Dirk. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~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-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Reinecke, Philipp. editor.&#160;Di Marco, Antinisca. 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-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Larsen, Kim Guldstrand. editor.&#160;Sokolsky, Oleg. editor.&#160;Wang, Ji. 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-69483-2">https://doi.org/10.1007/978-3-319-69483-2</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-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications ent://SD_ILS/0/SD_ILS:617778 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Berry, Stuart. editor.&#160;Lowndes, Val. editor.&#160;Trovati, Marcello. 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-55417-4">https://doi.org/10.1007/978-3-319-55417-4</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-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> 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-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Fr&auml;nzle, Martin. editor.&#160;Kapur, Deepak. editor.&#160;Zhan, Naijun. 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-47677-3">https://doi.org/10.1007/978-3-319-47677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611901 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299&#160;Lesot, Marie-Jeanne. editor.&#160;Kaymak, Uzay. editor.&#160;Vieira, Susana. editor.&#160;Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40596-4">https://doi.org/10.1007/978-3-319-40596-4</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-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616231 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Fiems, Dieter. editor.&#160;Paolieri, Marco. editor.&#160;Platis, Agapios N. 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-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;van Eekelen, Marko. editor.&#160;Dal Lago, Ugo. 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-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Processing and Management of Uncertainty in Knowledge-Based Systems 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:618382 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Carvalho, Joao Paulo. editor. (orcid)0000-0003-0005-8299&#160;Lesot, Marie-Jeanne. editor.&#160;Kaymak, Uzay. editor.&#160;Vieira, Susana. editor.&#160;Bouchon-Meunier, Bernadette. editor. (orcid)0000-0002-7937-7796<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-40581-0">https://doi.org/10.1007/978-3-319-40581-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Uncertainty Theory ent://SD_ILS/0/SD_ILS:530406 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Liu, Baoding. 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-44354-5">https://doi.org/10.1007/978-3-662-44354-5</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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:482656 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> Paradoxes in Probability Theory ent://SD_ILS/0/SD_ILS:335896 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z 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/> Algebraic statistics : computational commutative algebra in statistics ent://SD_ILS/0/SD_ILS:547661 2026-03-24T09:27:46Z 2026-03-24T09:27:46Z Author&#160;Pistone, Giovanni., author.&#160;Riccomagno, Eva.&#160;Wynn, Henry P.<br/>Preferred Shelf Number&#160;QA276 .P53 2001<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781420035766">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/>