Arama Sonu&ccedil;lar&#305; State. - Daralt&#305;lm&#305;&#351;: Computer software. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dState.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026ps$003d300?dt=list 2025-03-17T16:49:38Z Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5&ndash;8, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399958 2025-03-17T16:49:38Z 2025-03-17T16:49:38Z Yazar&#160;Butler, Michael. editor.&#160;Raschke, Alexander. editor.&#160;Hoang, Thai Son. editor.&#160;Reichl, Klaus. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-91271-4">https://doi.org/10.1007/978-3-319-91271-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks ent://SD_ILS/0/SD_ILS:400122 2025-03-17T16:49:38Z 2025-03-17T16:49:38Z Yazar&#160;Rozonoer, Lev. editor.&#160;Mirkin, Boris. editor. (orcid)0000-0001-5470-8635&#160;Muchnik, Ilya. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-99492-5">https://doi.org/10.1007/978-3-319-99492-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196982 2025-03-17T16:49:38Z 2025-03-17T16:49:38Z Yazar&#160;Derrick, John. editor.&#160;Fitzgerald, John. editor.&#160;Gnesi, Stefania. editor.&#160;Khurshid, Sarfraz. editor.&#160;Leuschel, Michael. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30885-7">http://dx.doi.org/10.1007/978-3-642-30885-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings ent://SD_ILS/0/SD_ILS:191805 2025-03-17T16:49:38Z 2025-03-17T16:49:38Z Yazar&#160;Frappier, Marc. editor.&#160;Gl&auml;sser, Uwe. editor.&#160;Khurshid, Sarfraz. editor.&#160;Laleau, R&eacute;gine. editor.&#160;Reeves, Steve. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11811-1">http://dx.doi.org/10.1007/978-3-642-11811-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192736 2025-03-17T16:49:38Z 2025-03-17T16:49:38Z Yazar&#160;Yli-Jyr&auml;, Anssi. editor.&#160;Kornai, Andr&aacute;s. editor.&#160;Sakarovitch, Jacques. editor.&#160;Watson, Bruce. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-14684-8">http://dx.doi.org/10.1007/978-3-642-14684-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applications ent://SD_ILS/0/SD_ILS:170009 2025-03-17T16:49:38Z 2025-03-17T16:49:38Z Yazar&#160;Pop, Valer. author.&#160;Bergveld, Henk Jan. author.&#160;Danilov, Dmitry. author.&#160;Regtien, Paul P. L. author.&#160;Notten, Peter H. L. author.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6945-1">http://dx.doi.org/10.1007/978-1-4020-6945-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Ume&aring;, Sweden, June 18-21, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187493 2025-03-17T16:49:38Z 2025-03-17T16:49:38Z Yazar&#160;K&aring;gstr&ouml;m, Bo. editor.&#160;Elmroth, Erik. editor.&#160;Dongarra, Jack. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75755-9">http://dx.doi.org/10.1007/978-3-540-75755-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:184261 2025-03-17T16:49:38Z 2025-03-17T16:49:38Z Yazar&#160;Yli-Jyr&auml;, Anssi. editor.&#160;Karttunen, Lauri. editor.&#160;Karhum&auml;ki, Juhani. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11780885">http://dx.doi.org/10.1007/11780885</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183762 2025-03-17T16:49:38Z 2025-03-17T16:49:38Z Yazar&#160;Dongarra, Jack. editor.&#160;Madsen, Kaj. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11558958">http://dx.doi.org/10.1007/11558958</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>