Search Results for - Narrowed by: Mathematical logic. - 2014 - Mathematical statistics. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092014$0025092014$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bstatistics.$002509Mathematical$002bstatistics.$0026ps$003d300? 2024-05-20T00:07:53Z Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22077 2024-05-20T00:07:53Z 2024-05-20T00:07:53Z Yazar&#160;Bobillo, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13413-0">http://dx.doi.org/10.1007/978-3-319-13413-0</a><br/>Format:&#160;Electronic Resources<br/> Semantics of Probabilistic Processes An Operational Approach ent://SD_ILS/0/SD_ILS:24608 2024-05-20T00:07:53Z 2024-05-20T00:07:53Z Yazar&#160;Deng, Yuxin. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45198-4">http://dx.doi.org/10.1007/978-3-662-45198-4</a><br/>Format:&#160;Electronic Resources<br/> CONCUR 2014 &ndash; Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24522 2024-05-20T00:07:53Z 2024-05-20T00:07:53Z Yazar&#160;Baldan, Paolo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44584-6">http://dx.doi.org/10.1007/978-3-662-44584-6</a><br/>Format:&#160;Electronic Resources<br/> Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:24464 2024-05-20T00:07:53Z 2024-05-20T00:07:53Z Yazar&#160;Bonsangue, Marcello M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44124-4">http://dx.doi.org/10.1007/978-3-662-44124-4</a><br/>Format:&#160;Electronic Resources<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:20901 2024-05-20T00:07:53Z 2024-05-20T00:07:53Z Yazar&#160;Breugel, Franck van. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06880-0">http://dx.doi.org/10.1007/978-3-319-06880-0</a><br/>Format:&#160;Electronic Resources<br/> Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures ent://SD_ILS/0/SD_ILS:24635 2024-05-20T00:07:53Z 2024-05-20T00:07:53Z Yazar&#160;Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45489-3">http://dx.doi.org/10.1007/978-3-662-45489-3</a><br/>Format:&#160;Electronic Resources<br/>