Arama Sonuçları Programming Languages. - Daraltılmış: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dProgramming$002bLanguages.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list2024-10-07T11:29:56ZPrinciples of Programming Languagesent://SD_ILS/0/SD_ILS:1758802024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Dowek, Gilles. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-032-6">http://dx.doi.org/10.1007/978-1-84882-032-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Pattern Languages of Programming IVent://SD_ILS/0/SD_ILS:4828312024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14291-9">https://doi.org/10.1007/978-3-030-14291-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Pattern Languages of Programming IIIent://SD_ILS/0/SD_ILS:3346472024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334647.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38676-3">http://dx.doi.org/10.1007/978-3-642-38676-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Pattern Languages of Programming Ient://SD_ILS/0/SD_ILS:1914892024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Noble, James. editor. Johnson, Ralph. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10832-7">http://dx.doi.org/10.1007/978-3-642-10832-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multi-Agent Programming Languages, Platforms and Applicationsent://SD_ILS/0/SD_ILS:1652692024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4827462024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4835062024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4835472024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Operational Semantics A Concise Overviewent://SD_ILS/0/SD_ILS:4845612024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Fernández, Maribel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890812024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4889762024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4894342024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Shao, Zhong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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. Proceedingsent://SD_ILS/0/SD_ILS:3343482024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334348.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329812024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332981.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350282024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335028.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40922-6">http://dx.doi.org/10.1007/978-3-642-40922-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965532024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Seidl, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28869-2">http://dx.doi.org/10.1007/978-3-642-28869-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973322024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33182-4">http://dx.doi.org/10.1007/978-3-642-33182-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975772024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35182-2">http://dx.doi.org/10.1007/978-3-642-35182-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Pattern Languages of Programming II Special Issue on Applying Patternsent://SD_ILS/0/SD_ILS:1940422024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Noble, James. editor. Johnson, Ralph. editor. Avgeriou, Paris. editor. Harrison, Neil B. editor. Zdun, Uwe. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19432-0">http://dx.doi.org/10.1007/978-3-642-19432-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941332024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Barthe, Gilles. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-19718-5">http://dx.doi.org/10.1007/978-3-642-19718-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948892024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1959112024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Yang, Hongseok. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-25318-8">http://dx.doi.org/10.1007/978-3-642-25318-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1925662024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1935112024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Ueda, Kazunori. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918472024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aidsent://SD_ILS/0/SD_ILS:1918612024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-12015-2">http://dx.doi.org/10.1007/978-3-642-12015-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lecturesent://SD_ILS/0/SD_ILS:1924132024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897392024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-00590-9">http://dx.doi.org/10.1007/978-3-642-00590-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1904632024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1904642024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1914412024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Hu, Zhenjiang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10672-9">http://dx.doi.org/10.1007/978-3-642-10672-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882262024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Drossopoulou, Sophia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78739-6">http://dx.doi.org/10.1007/978-3-540-78739-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1892482024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Ramalingam, G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89330-1">http://dx.doi.org/10.1007/978-3-540-89330-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1859952024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70575-8">http://dx.doi.org/10.1007/978-3-540-70575-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1859982024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-70583-3">http://dx.doi.org/10.1007/978-3-540-70583-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868452024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73420-8">http://dx.doi.org/10.1007/978-3-540-73420-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1876402024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Shao, Zhong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-76637-7">http://dx.doi.org/10.1007/978-3-540-76637-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862442024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Nicola, Rocco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-71316-6">http://dx.doi.org/10.1007/978-3-540-71316-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedingsent://SD_ILS/0/SD_ILS:1847642024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836172024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Sestoft, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1843202024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1843212024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1851552024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1828342024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830582024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1832342024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828692024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4829162024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4848892024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4852652024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4857002024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4862742024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4868362024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthdayent://SD_ILS/0/SD_ILS:4828892024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828592024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4834182024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837392024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837462024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4837672024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838982024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4839052024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4840282024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4840452024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4842252024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4851642024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4853042024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4856802024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4859682024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-22397-7">https://doi.org/10.1007/978-3-030-22397-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4862852024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Software Design with Javaent://SD_ILS/0/SD_ILS:4863302024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Robillard, Martin P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4867182024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4841842024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-15538-4">https://doi.org/10.1007/978-3-030-15538-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4859802024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4860312024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computing and Software Science State of the Art and Perspectivesent://SD_ILS/0/SD_ILS:4860692024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865782024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4866832024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4854922024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06200-6">https://doi.org/10.1007/978-3-319-06200-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4855972024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08311-7">https://doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856032024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856442024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09940-8">https://doi.org/10.1007/978-3-319-09940-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856452024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09970-5">https://doi.org/10.1007/978-3-319-09970-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4868222024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11245-9">https://doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lecturesent://SD_ILS/0/SD_ILS:4890352024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4891372024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Jones, Richard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4894002024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4894022024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4894162024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44471-9">https://doi.org/10.1007/978-3-662-44471-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4845312024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857242024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4857252024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11737-9">https://doi.org/10.1007/978-3-319-11737-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856672024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856682024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10181-1">https://doi.org/10.1007/978-3-319-10181-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4872462024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4874192024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4877632024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05032-4">https://doi.org/10.1007/978-3-319-05032-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4884252024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-44920-2">https://doi.org/10.1007/978-3-662-44920-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889142024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Cohen, Albert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proofent://SD_ILS/0/SD_ILS:4889192024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13906-7">https://doi.org/10.1007/978-3-319-13906-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889262024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11936-6">https://doi.org/10.1007/978-3-319-11936-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889362024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10702-8">https://doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Aspect-Oriented Software Development XIent://SD_ILS/0/SD_ILS:4890822024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890892024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4889652024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4890282024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890412024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-04915-1">https://doi.org/10.1007/978-3-319-04915-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890592024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4856932024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10936-7">https://doi.org/10.1007/978-3-319-10936-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856242024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4857312024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11743-0">https://doi.org/10.1007/978-3-319-11743-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4874842024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-07734-5">https://doi.org/10.1007/978-3-319-07734-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4875402024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-05359-2">https://doi.org/10.1007/978-3-319-05359-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedingsent://SD_ILS/0/SD_ILS:4875452024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14130-5">https://doi.org/10.1007/978-3-319-14130-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4878592024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Hunt, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4889802024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890132024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54804-8">https://doi.org/10.1007/978-3-642-54804-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lecturesent://SD_ILS/0/SD_ILS:4890172024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-45489-3">https://doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4892512024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4896222024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Yahav, Eran. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papersent://SD_ILS/0/SD_ILS:3332462024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333246.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340142024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334014.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340342024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334034.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35705-3">http://dx.doi.org/10.1007/978-3-642-35705-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340412024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.<br/>Yer Numarası ONLINE(334041.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35737-4">http://dx.doi.org/10.1007/978-3-642-35737-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:3340552024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334055.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approachent://SD_ILS/0/SD_ILS:3341292024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Jörges, Sven. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334129.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36127-2">http://dx.doi.org/10.1007/978-3-642-36127-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Aspect-Oriented Software Development Xent://SD_ILS/0/SD_ILS:3343332024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334333.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36964-3">http://dx.doi.org/10.1007/978-3-642-36964-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343532024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334353.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37051-9">http://dx.doi.org/10.1007/978-3-642-37051-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343542024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Cortellessa, Vittorio. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334354.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37057-1">http://dx.doi.org/10.1007/978-3-642-37057-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papersent://SD_ILS/0/SD_ILS:3345562024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Machado, Ricardo J. editor. Maciel, Rita Suzana P. editor. Rubin, Julia. editor. Botterweck, Goetz. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334556.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38209-3">http://dx.doi.org/10.1007/978-3-642-38209-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346312024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334631.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38601-5">http://dx.doi.org/10.1007/978-3-642-38601-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346342024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334634.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346982024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334698.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346512024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334651.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38697-8">http://dx.doi.org/10.1007/978-3-642-38697-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3351412024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335141.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329212024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332921.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329342024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332934.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:3335582024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333558.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32341-6">http://dx.doi.org/10.1007/978-3-642-32341-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Assurances for Self-Adaptive Systems Principles, Models, and Techniquesent://SD_ILS/0/SD_ILS:3341562024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334156.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36249-1">http://dx.doi.org/10.1007/978-3-642-36249-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Aliasing in Object-Oriented Programming. Types, Analysis and Verificationent://SD_ILS/0/SD_ILS:3343272024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334327.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344692024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334469.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346832024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334683.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346912024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334691.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38883-5">http://dx.doi.org/10.1007/978-3-642-38883-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346972024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334697.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38911-5">http://dx.doi.org/10.1007/978-3-642-38911-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedingsent://SD_ILS/0/SD_ILS:3347062024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334706.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347112024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334711.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39013-5">http://dx.doi.org/10.1007/978-3-642-39013-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347142024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Drira, Khalil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334714.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39031-9">http://dx.doi.org/10.1007/978-3-642-39031-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347152024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Castagna, Giuseppe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334715.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39038-8">http://dx.doi.org/10.1007/978-3-642-39038-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3347722024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Liu, Shaoying. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334772.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348822024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334882.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40047-6">http://dx.doi.org/10.1007/978-3-642-40047-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349682024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334968.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40561-7">http://dx.doi.org/10.1007/978-3-642-40561-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349792024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.<br/>Yer Numarası ONLINE(334979.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40624-9">http://dx.doi.org/10.1007/978-3-642-40624-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350722024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335072.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41202-8">http://dx.doi.org/10.1007/978-3-642-41202-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3329622024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332962.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3340692024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334069.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35861-6">http://dx.doi.org/10.1007/978-3-642-35861-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340772024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334077.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papersent://SD_ILS/0/SD_ILS:3340962024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334096.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lecturesent://SD_ILS/0/SD_ILS:3341092024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Lucia, Andrea. editor. Ferrucci, Filomena. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334109.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36054-1">http://dx.doi.org/10.1007/978-3-642-36054-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3341202024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334120.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papersent://SD_ILS/0/SD_ILS:3341422024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Escalona, María José. editor. Cordeiro, José. editor. Shishkov, Boris. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334142.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36177-7">http://dx.doi.org/10.1007/978-3-642-36177-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334278.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3342822024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334282.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-36757-1">http://dx.doi.org/10.1007/978-3-642-36757-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343582024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Pfenning, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3345622024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Beek, Maurice H. editor. Lohmann, Niels. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334562.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345332024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334533.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:3345472024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334547.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347432024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334743.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39176-7">http://dx.doi.org/10.1007/978-3-642-39176-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348702024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334870.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3348202024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334820.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348442024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Ruhe, Günther. editor. Zhang, Yuanyuan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334844.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39742-4">http://dx.doi.org/10.1007/978-3-642-39742-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350032024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335003.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedingsent://SD_ILS/0/SD_ILS:3350462024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335046.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351202024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.<br/>Yer Numarası ONLINE(335120.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351252024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335125.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41578-4">http://dx.doi.org/10.1007/978-3-642-41578-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351262024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Hinze, Ralf. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335126.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41582-1">http://dx.doi.org/10.1007/978-3-642-41582-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ada 2012 Rationale The Language, The Standard Librariesent://SD_ILS/0/SD_ILS:3351952024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Barnes, John. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335195.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3351962024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335196.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45221-5">http://dx.doi.org/10.1007/978-3-642-45221-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3352042024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Sagonas, Kostis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335204.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45284-0">http://dx.doi.org/10.1007/978-3-642-45284-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352062024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335206.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45293-2">http://dx.doi.org/10.1007/978-3-642-45293-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352152024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Cordeiro, José. editor. Hammoudi, Slimane. editor. Sinderen, Marten. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335215.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45404-2">http://dx.doi.org/10.1007/978-3-642-45404-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)ent://SD_ILS/0/SD_ILS:3352162024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Yer Numarası ONLINE(335216.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352172024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335217.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45422-6">http://dx.doi.org/10.1007/978-3-642-45422-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3352272024-10-07T11:29:56Z2024-10-07T11:29:56ZYazar Filipe, Joaquim. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335227.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-54092-9">http://dx.doi.org/10.1007/978-3-642-54092-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>