Arama Sonu&ccedil;lar&#305; Adaptive computing systems. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAdaptive$002bcomputing$002bsystems.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026pe$003dd$00253A$0026ps$003d300?dt=list 2026-03-13T19:52:50Z Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605472 2026-03-13T19:52:50Z 2026-03-13T19:52:50Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#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-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Self-Aware Computing Systems ent://SD_ILS/0/SD_ILS:611535 2026-03-13T19:52:50Z 2026-03-13T19:52:50Z Yazar&#160;Kounev, Samuel. editor.&#160;Kephart, Jeffrey O. editor.&#160;Milenkoski, Aleksandar. editor.&#160;Zhu, Xiaoyun. 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-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613142 2026-03-13T19:52:50Z 2026-03-13T19:52:50Z Yazar&#160;Drira, Khalil. editor. (orcid)0000-0002-4770-1563&#160;Wang, Hongbing. editor.&#160;Yu, Qi. editor.&#160;Wang, Yan. editor.&#160;Yan, Yuhong. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-68136-8">https://doi.org/10.1007/978-3-319-68136-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Organic Computing - Technical Systems for Survival in the Real World ent://SD_ILS/0/SD_ILS:612055 2026-03-13T19:52:50Z 2026-03-13T19:52:50Z Yazar&#160;M&uuml;ller-Schloer, Christian. author.&#160;Tomforde, Sven. 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-319-68477-2">https://doi.org/10.1007/978-3-319-68477-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612727 2026-03-13T19:52:50Z 2026-03-13T19:52:50Z Yazar&#160;Crnkovic, Ivica. editor.&#160;Troubitsyna, Elena. 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-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Autonomic Road Transport Support Systems ent://SD_ILS/0/SD_ILS:615542 2026-03-13T19:52:50Z 2026-03-13T19:52:50Z Yazar&#160;McCluskey, Thomas Leo. editor.&#160;Kotsialos, Apostolos. editor.&#160;M&uuml;ller, J&ouml;rg P. editor.&#160;Kl&uuml;gl, Franziska. editor.&#160;Rana, Omer. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>