Search Results for Mathematical logic. - Narrowed by: 2014 - Mathematical statistics.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dMathematical$002blogic.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092014$0025092014$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bstatistics.$002509Mathematical$002bstatistics.$0026ps$003d300?2024-07-01T22:06:27ZSemantics of Probabilistic Processes An Operational Approachent://SD_ILS/0/SD_ILS:246082024-07-01T22:06:27Z2024-07-01T22:06:27ZYazar 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: Electronic Resources<br/>CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245222024-07-01T22:06:27Z2024-07-01T22:06:27ZYazar 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: 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 Papersent://SD_ILS/0/SD_ILS:244642024-07-01T22:06:27Z2024-07-01T22:06:27ZYazar 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: Electronic Resources<br/>Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:209012024-07-01T22:06:27Z2024-07-01T22:06:27ZYazar 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: 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 Lecturesent://SD_ILS/0/SD_ILS:246352024-07-01T22:06:27Z2024-07-01T22:06:27ZYazar 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: Electronic Resources<br/>Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:220772024-07-01T22:06:27Z2024-07-01T22:06:27ZYazar 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: Electronic Resources<br/>Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215662024-07-01T22:06:27Z2024-07-01T22:06:27ZYazar Norman, Gethin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10696-0">http://dx.doi.org/10.1007/978-3-319-10696-0</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216002024-07-01T22:06:27Z2024-07-01T22:06:27ZYazar Horváth, András. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10885-8">http://dx.doi.org/10.1007/978-3-319-10885-8</a><br/>Format: Electronic Resources<br/>