Search Results for Markov processes. - Narrowed by: 2015 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMarkov$002bprocesses.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ps$003d300?dt=list 2024-10-16T08:49:52Z Semi-Markov processes : applications in system reliability and maintenance ent://SD_ILS/0/SD_ILS:355517 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Grabski, Franciszek, author.<br/>Preferred Shelf Number&#160;ONLINE(355517.1)<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128005187">http://www.sciencedirect.com/science/book/9780128005187</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II ent://SD_ILS/0/SD_ILS:519225 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Halld&oacute;rsson, Magn&uacute;s M. editor.&#160;Iwama, Kazuo. editor.&#160;Kobayashi, Naoki. editor.&#160;Speckmann, Bettina. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519225.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Probabilistic Graphical Models Principles and Applications ent://SD_ILS/0/SD_ILS:518484 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Sucar, Luis Enrique. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518484.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4471-6699-3">https://doi.org/10.1007/978-1-4471-6699-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Asia Pacific Business Process Management Third Asia Pacific Conference, AP-BPM 2015, Busan, South Korea, June 24-26, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518540 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Bae, Joonsoo. editor.&#160;Suriadi, Suriadi. editor.&#160;Wen, Lijie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518540.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19509-4">https://doi.org/10.1007/978-3-319-19509-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518564 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Aveiro, David. editor.&#160;Pergl, Robert. editor.&#160;Valenta, Michal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518564.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-19297-0">https://doi.org/10.1007/978-3-319-19297-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers ent://SD_ILS/0/SD_ILS:518625 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Fournier, Fabiana. editor.&#160;Mendling, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518625.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15895-2">https://doi.org/10.1007/978-3-319-15895-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:519046 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Dastani, Mehdi. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519046.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-24644-4">https://doi.org/10.1007/978-3-319-24644-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519078 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Canal, Carlos. editor.&#160;Idani, Akram. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519078.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:518917 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Dimov, Ivan. editor.&#160;Farag&oacute;, Istv&aacute;n. editor.&#160;Vulkov, Lubin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518917.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-20239-6">https://doi.org/10.1007/978-3-319-20239-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519007 2024-10-16T08:49:52Z 2024-10-16T08:49:52Z Author&#160;Kroening, Daniel. editor.&#160;P&#259;s&#259;reanu, Corina S. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519007.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>