Search Results for Markov processes. - Narrowed by: Electronic Book - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dMarkov$002bprocesses.$0026qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253AE-BOOKS$002509Electronic$002bBook$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300?2024-08-07T00:26:27ZQuantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182382024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Agha, Gul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43425-4">http://dx.doi.org/10.1007/978-3-319-43425-4</a><br/>Format: Electronic Resources<br/>Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:2212302024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678<br/><a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format: Electronic Resources<br/>Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:233852024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Dastani, Mehdi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24644-4">http://dx.doi.org/10.1007/978-3-319-24644-4</a><br/>Format: Electronic Resources<br/>Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282252024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Filiot, Emmanuel. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4282712024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792<br/><a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</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-08-07T00:26:27Z2024-08-07T00:26: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/>Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:218202024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Cassez, Franck. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11936-6">http://dx.doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Electronic Resources<br/>Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186542024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Stevens, Perdita. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49665-7">http://dx.doi.org/10.1007/978-3-662-49665-7</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:240502024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Muscholl, Anca. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54830-7">http://dx.doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186522024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Jacobs, Bart. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49630-5">http://dx.doi.org/10.1007/978-3-662-49630-5</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-08-07T00:26:27Z2024-08-07T00:26: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/>Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2246062024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303<br/><a href="https://doi.org/10.1007/978-3-319-77313-1">https://doi.org/10.1007/978-3-319-77313-1</a><br/>Format: Electronic Resources<br/>Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:223462024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Canal, Carlos. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15201-1">http://dx.doi.org/10.1007/978-3-319-15201-1</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-08-07T00:26:27Z2024-08-07T00:26: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 Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:231562024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Kroening, Daniel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21690-4">http://dx.doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186552024-08-07T00:26:27Z2024-08-07T00:26:27ZYazar Chechik, Marsha. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49674-9">http://dx.doi.org/10.1007/978-3-662-49674-9</a><br/>Format: Electronic Resources<br/>