Arama Sonu&ccedil;lar&#305; Teacher - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTeacher$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2026-03-15T00:30:48Z Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II ent://SD_ILS/0/SD_ILS:605987 2026-03-15T00:30:48Z 2026-03-15T00:30:48Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Object-based Programming with Go ent://SD_ILS/0/SD_ILS:609332 2026-03-15T00:30:48Z 2026-03-15T00:30:48Z Yazar&#160;Maurer, Christian. author.&#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-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I ent://SD_ILS/0/SD_ILS:605988 2026-03-15T00:30:48Z 2026-03-15T00:30:48Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III ent://SD_ILS/0/SD_ILS:609023 2026-03-15T00:30:48Z 2026-03-15T00:30:48Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Stakeholders and Information Technology in Education IFIP TC 3 International Conference, SaITE 2016, Guimar&atilde;es, Portugal, July 5-8, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617633 2026-03-15T00:30:48Z 2026-03-15T00:30:48Z Yazar&#160;Brinda, Torsten. editor. (orcid)0000-0001-6137-4258&#160;Mavengere, Nicholas. editor.&#160;Haukij&auml;rvi, Ilkka. editor.&#160;Lewin, Cathy. editor.&#160;Passey, Don. editor. (orcid)0000-0002-9205-502X<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-54687-2">https://doi.org/10.1007/978-3-319-54687-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>