Arama Sonuçları Congress - Daraltılmış: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCongress$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?2026-01-22T17:11:16ZComputer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4845252026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Pesado, Patricia. editor. (orcid)0000-0003-0000-3482 Aciti, Claudio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-20787-8">https://doi.org/10.1007/978-3-030-20787-8</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:4828592026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar 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/>Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828692026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar 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/>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:4857002026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar 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/>Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4867072026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Ning, Huansheng. editor. (orcid)0000-0001-6413-193X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-15-1922-2">https://doi.org/10.1007/978-981-15-1922-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Big Data – BigData 2018 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4016552026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Chin, Francis Y. L. editor. Chen, C. L. Philip. editor. (orcid)0000-0001-5451-7230 Khan, Latifur. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94301-5">https://doi.org/10.1007/978-3-319-94301-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3996532026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Roque, Licinio. editor. (orcid)0000-0002-1911-2788 Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470 Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99426-0">https://doi.org/10.1007/978-3-319-99426-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997322026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00840-6">https://doi.org/10.1007/978-3-030-00840-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990192026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99734-6">https://doi.org/10.1007/978-3-319-99734-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3998112026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Paweł. editor. (orcid)0000-0002-2090-335X Małysiak-Mrozek, Bożena. editor. (orcid)0000-0003-4977-4915 Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99987-6">https://doi.org/10.1007/978-3-319-99987-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4000292026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-75214-3">https://doi.org/10.1007/978-3-319-75214-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4000452026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99828-2">https://doi.org/10.1007/978-3-319-99828-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017332026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94472-2">https://doi.org/10.1007/978-3-319-94472-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011ent://SD_ILS/0/SD_ILS:3358212026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335821.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4786-9">http://dx.doi.org/10.1007/978-94-007-4786-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930162026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends in Intelligent Robotics 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930922026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Vadakkepat, Prahlad. editor. Kim, Jong-Hwan. editor. Jesse, Norbert. editor. Mamun, Abdullah Al. editor. Kiong, Tan Kok. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-15810-0">http://dx.doi.org/10.1007/978-3-642-15810-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911552026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-05089-3">http://dx.doi.org/10.1007/978-3-642-05089-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italyent://SD_ILS/0/SD_ILS:1647562026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Cascini, Gaetano. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-09697-1">http://dx.doi.org/10.1007/978-0-387-09697-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Managing Traffic Performance in Converged Networks 20th International Teletraffic Congress, ITC20 2007, Ottawa, Canada, June 17-21, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867112026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Mason, Lorne. editor. Drwiega, Tadeusz. editor. Yan, James. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72990-7">http://dx.doi.org/10.1007/978-3-540-72990-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chileent://SD_ILS/0/SD_ILS:1660812026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-34831-5">http://dx.doi.org/10.1007/978-0-387-34831-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, Franceent://SD_ILS/0/SD_ILS:1650032026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b104225">http://dx.doi.org/10.1007/b104225</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, Franceent://SD_ILS/0/SD_ILS:1650662026-01-22T17:11:16Z2026-01-22T17:11:16ZYazar Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>