Arama Sonu&ccedil;lar&#305; Systems software. - Daralt&#305;lm&#305;&#351;: Programming Techniques. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSystems$002bsoftware.$0026qf$003dSUBJECT$002509Konu$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ic$003dtrue$0026ps$003d300? 2025-12-16T22:05:25Z Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2025-12-16T22:05:25Z 2025-12-16T22:05:25Z Yazar&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334055.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Using Event-B for Critical Device Software Systems ent://SD_ILS/0/SD_ILS:331181 2025-12-16T22:05:25Z 2025-12-16T22:05:25Z Yazar&#160;Singh, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(331181.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334348 2025-12-16T22:05:25Z 2025-12-16T22:05:25Z Yazar&#160;Felleisen, Matthias. editor.&#160;Gardner, Philippa. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334348.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37036-6">http://dx.doi.org/10.1007/978-3-642-37036-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Scala Design Patterns Patterns for Practical Reuse and Design ent://SD_ILS/0/SD_ILS:332904 2025-12-16T22:05:25Z 2025-12-16T22:05:25Z Yazar&#160;Hunt, John. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(332904.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332921 2025-12-16T22:05:25Z 2025-12-16T22:05:25Z Yazar&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(332921.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> An Introduction to Network Programming with Java Java 7 Compatible ent://SD_ILS/0/SD_ILS:331180 2025-12-16T22:05:25Z 2025-12-16T22:05:25Z Yazar&#160;Graba, Jan. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(331180.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:334096 2025-12-16T22:05:25Z 2025-12-16T22:05:25Z Yazar&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Visser, Joost. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334096.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2025-12-16T22:05:25Z 2025-12-16T22:05:25Z Yazar&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334533.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings ent://SD_ILS/0/SD_ILS:334706 2025-12-16T22:05:25Z 2025-12-16T22:05:25Z Yazar&#160;Favaro, John. editor.&#160;Morisio, Maurizio. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334706.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>