Arama Sonu&ccedil;lar&#305; - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-22T20:08:13Z Bilgisayar m&uuml;hendisli&#287;ine giri&#351; ent://SD_ILS/0/SD_ILS:514251 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;&Ccedil;&ouml;lkesen, Toros Rifat.&#160;Eren, &#350;aban.<br/>Yer Numaras&#305;&#160;QA76.27 B552 2022<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Yaz&#305;l&#305;m test m&uuml;hendisinin el kitab&#305; ent://SD_ILS/0/SD_ILS:514350 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;G&uuml;rb&uuml;z, Ali.<br/>Yer Numaras&#305;&#160;QA76.758 G87 2022<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Yaz&#305;l&#305;m m&uuml;hendisli&#287;i ent://SD_ILS/0/SD_ILS:509984 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Sommerville, Ian.&#160;Topalo&#287;lu, N. Yasemin.<br/>Yer Numaras&#305;&#160;QA76.758 S6619 2021<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~2<br/> Yaz&#305;l&#305;m test m&uuml;hendisinin el kitab&#305; ent://SD_ILS/0/SD_ILS:479539 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;G&uuml;rb&uuml;z, Ali.<br/>Yer Numaras&#305;&#160;QA76.758 G87 2020<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:482815 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Tonin, Graziela Simone. editor.&#160;Est&aacute;cio, Bernardo. editor.&#160;Goldman, Alfredo. editor.&#160;Guerra, Eduardo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-14310-7">https://doi.org/10.1007/978-3-030-14310-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482746 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Caires, Lu&iacute;s. editor. (orcid)0000-0002-3215-6734&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cloud Computing &ndash; CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482766 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Da Silva, Dilma. editor.&#160;Wang, Qingyang. editor. (orcid)0000-0002-5729-2898&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23502-4">https://doi.org/10.1007/978-3-030-23502-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25&ndash;27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:482972 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224&#160;Barzola-Monteses, Julio. editor.&#160;Santos-Baquerizo, Eduardo. editor.&#160;Espinoza-Andaluz, Mayken. editor.&#160;Y&aacute;nez-Pazmi&ntilde;o, Wendy. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-12018-4">https://doi.org/10.1007/978-3-030-12018-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482979 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Khan, Md. Aquil. editor.&#160;Manuel, Amaldev. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algorithms for Sensor Systems 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12&ndash;13, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484228 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Dressler, Falko. editor. (orcid)0000-0002-1989-1750&#160;Scheideler, Christian. editor. (orcid)0000-0002-5278-528X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34405-4">https://doi.org/10.1007/978-3-030-34405-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484523 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Nielson, Flemming. editor. (orcid)0000-0001-7362-6176&#160;Sands, David. editor. (orcid)0000-0001-6221-0503&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17138-4">https://doi.org/10.1007/978-3-030-17138-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science &ndash; CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8&ndash;12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484525 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Pesado, Patricia. editor. (orcid)0000-0003-0000-3482&#160;Aciti, Claudio. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20787-8">https://doi.org/10.1007/978-3-030-20787-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Cryptology &ndash; CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18&ndash;22, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484528 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Boldyreva, Alexandra. editor.&#160;Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26948-7">https://doi.org/10.1007/978-3-030-26948-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Precision Assembly in the Digital Age 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14&mdash;16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484558 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ratchev, Svetan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05931-6">https://doi.org/10.1007/978-3-030-05931-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484655 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Janota, Mikol&aacute;&scaron;. editor. (orcid)0000-0003-3487-784X&#160;Lynce, In&ecirc;s. editor. (orcid)0000-0003-4868-415X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:484656 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24305-0">https://doi.org/10.1007/978-3-030-24305-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Industrial Applications of Holonic and Multi-Agent Systems 9th International Conference, HoloMAS 2019, Linz, Austria, August 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484678 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ma&#345;&iacute;k, Vladim&iacute;r. editor.&#160;Kadera, Petr. editor.&#160;Rzevski, George. editor.&#160;Zoitl, Alois. editor.&#160;Anderst-Kotsis, Gabriele. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-27878-6">https://doi.org/10.1007/978-3-030-27878-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Security &ndash; ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23&ndash;27, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484909 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Sako, Kazue. editor.&#160;Schneider, Steve. editor. (orcid)0000-0001-8365-6993&#160;Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29959-0">https://doi.org/10.1007/978-3-030-29959-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Security &ndash; ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23&ndash;27, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:484910 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Sako, Kazue. editor.&#160;Schneider, Steve. editor. (orcid)0000-0001-8365-6993&#160;Ryan, Peter Y. A. editor. (orcid)0000-0002-1677-9034&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29962-0">https://doi.org/10.1007/978-3-030-29962-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484920 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Luo, Yuhua. editor. (orcid)0000-0003-3057-4753&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30949-7">https://doi.org/10.1007/978-3-030-30949-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484958 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Mart&iacute;n-Vide, Carlos. editor. (orcid)0000-0003-1670-6000&#160;Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845&#160;Vega-Rodr&iacute;guez, Miguel A. editor. (orcid)0000-0002-3003-758X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34500-6">https://doi.org/10.1007/978-3-030-34500-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Vibrations of Rotating Machinery Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis ent://SD_ILS/0/SD_ILS:484970 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Matsushita, Osami. author.&#160;Tanaka, Masato. author.&#160;Kobayashi, Masao. author.&#160;Keogh, Patrick. author.&#160;Kanki, Hiroshi. author.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-4-431-55453-0">https://doi.org/10.1007/978-4-431-55453-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Architecture for Blockchain Applications ent://SD_ILS/0/SD_ILS:485083 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Xu, Xiwei. author.&#160;Weber, Ingo. author. (orcid)0000-0002-4833-5921&#160;Staples, Mark. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03035-3">https://doi.org/10.1007/978-3-030-03035-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cloud Computing and Services Science 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485090 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Mu&ntilde;oz, V&iacute;ctor M&eacute;ndez. editor.&#160;Ferguson, Donald. editor.&#160;Helfert, Markus. editor.&#160;Pahl, Claus. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29193-8">https://doi.org/10.1007/978-3-030-29193-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485164 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness ent://SD_ILS/0/SD_ILS:485168 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Gol Mohammadi, Nazila. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-658-27488-7">https://doi.org/10.1007/978-3-658-27488-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9&ndash;11, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485241 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Podelski, Andreas. editor.&#160;Ta&iuml;ani, Fran&ccedil;ois. editor. (orcid)0000-0002-9692-5678&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05529-5">https://doi.org/10.1007/978-3-030-05529-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications 12th International Conference, NooJ 2018, Palermo, Italy, June 20&ndash;22, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485404 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Mirto, Ignazio Mauro. editor.&#160;Monteleone, Mario. editor.&#160;Silberztein, Max. editor. (orcid)0000-0003-0930-6463&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-10868-7">https://doi.org/10.1007/978-3-030-10868-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computing and Communication Systems in Urban Development A Detailed Perspective ent://SD_ILS/0/SD_ILS:485408 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Haldorai, Anandakumar. author. (orcid)0000-0001-9975-6462&#160;Ramu, Arulmurugan. author. (orcid)0000-0003-1030-9565&#160;Murugan, Suriya. author. (orcid)0000-0002-8130-7228&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26013-2">https://doi.org/10.1007/978-3-030-26013-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Security and Quality in Cyber-Physical Systems Engineering With Forewords by Robert M. Lee and Tom Gilb ent://SD_ILS/0/SD_ILS:485380 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Biffl, Stefan. editor. (orcid)0000-0002-3413-7780&#160;Eckhart, Matthias. editor.&#160;L&uuml;der, Arndt. editor.&#160;Weippl, Edgar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-25312-7">https://doi.org/10.1007/978-3-030-25312-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Practical Approach to High-Performance Computing ent://SD_ILS/0/SD_ILS:485920 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kurgalin, Sergei. author.&#160;Borzunov, Sergei. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-27558-7">https://doi.org/10.1007/978-3-030-27558-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions ent://SD_ILS/0/SD_ILS:485998 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Francisco Lorenzon, Arthur. author.&#160;Beck Filho, Antonio Carlos Schneider. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-28719-1">https://doi.org/10.1007/978-3-030-28719-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3&ndash;4, 2019, Selected Papers ent://SD_ILS/0/SD_ILS:485999 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Pergl, Robert. editor. (orcid)0000-0003-2980-4400&#160;Babkin, Eduard. editor. (orcid)0000-0003-2597-9043&#160;Lock, Russell. editor. (orcid)0000-0002-4543-3753&#160;Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026&#160;Merunka, Vojt&#283;ch. editor. (orcid)0000-0002-9056-1439<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-35646-0">https://doi.org/10.1007/978-3-030-35646-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Futuristic Trends in Network and Communication Technologies First International Conference, FTNCT 2018, Solan, India, February 9&ndash;10, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486011 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014&#160;Paprzycki, Marcin. editor. (orcid)0000-0002-8069-2152&#160;Bhargava, Bharat. editor.&#160;Chhabra, Jitender Kumar. editor.&#160;Kaushal, Narottam Chand. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-3804-5">https://doi.org/10.1007/978-981-13-3804-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4&ndash;5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486017 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Li, Zheng. editor. (orcid)0000-0002-3938-7033&#160;Jiang, He. editor. (orcid)0000-0001-8674-4948&#160;Li, Ge. editor.&#160;Zhou, Minghui. editor.&#160;Li, Ming. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Frontiers in Cyber Security Second International Conference, FCS 2019, Xi'an, China, November 15&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486019 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Shen, Bazhong. editor.&#160;Wang, Baocang. editor. (orcid)0000-0002-2554-4464&#160;Han, Jinguang. editor. (orcid)0000-0002-4993-9452&#160;Yu, Yong. editor. (orcid)0000-0003-0667-077X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-15-0818-9">https://doi.org/10.1007/978-981-15-0818-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485968 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22397-7">https://doi.org/10.1007/978-3-030-22397-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486031 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;H&auml;hnle, Reiner. editor. (orcid)0000-0001-8000-7613&#160;van der Aalst, Wil. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:486118 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kurosu, Masaaki. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22636-7">https://doi.org/10.1007/978-3-030-22636-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486119 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kurosu, Masaaki. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22643-5">https://doi.org/10.1007/978-3-030-22643-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486127 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23570-3">https://doi.org/10.1007/978-3-030-23570-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agile Processes in Software Engineering and Extreme Programming &ndash; Workshops XP 2019 Workshops, Montr&eacute;al, QC, Canada, May 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486129 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hoda, Rashina. editor. (orcid)0000-0001-5147-8096&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30126-2">https://doi.org/10.1007/978-3-030-30126-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486130 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Gaston, Christophe. editor. (orcid)0000-0001-6865-5108&#160;Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813&#160;Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31280-0">https://doi.org/10.1007/978-3-030-31280-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cryptology and Network Security 18th International Conference, CANS 2019, Fuzhou, China, October 25&ndash;27, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486218 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Mu, Yi. editor. (orcid)0000-0002-1637-845X&#160;Deng, Robert H. editor. (orcid)0000-0003-3491-8146&#160;Huang, Xinyi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31578-8">https://doi.org/10.1007/978-3-030-31578-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Internet of Things &ndash; ICIOT 2019 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486227 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Issarny, Valerie. editor.&#160;Palanisamy, Balaji. editor.&#160;Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23357-0">https://doi.org/10.1007/978-3-030-23357-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486230 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153&#160;Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177&#160;Katsaros, Panagiotis. editor.&#160;Bozzano, Marco. editor. (orcid)0000-0002-4135-103X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32872-6">https://doi.org/10.1007/978-3-030-32872-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Artificial Intelligence 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486239 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001&#160;Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30763-9">https://doi.org/10.1007/978-3-030-30763-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486285 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Zincir-Heywood, Nur. editor.&#160;Bonfante, Guillaume. editor.&#160;Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Enterprise Information Systems 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486266 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hammoudi, Slimane. editor.&#160;&#346;mia&#322;ek, Micha&#322;. editor.&#160;Camp, Olivier. editor.&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26169-6">https://doi.org/10.1007/978-3-030-26169-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486274 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Collart-Dutilleul, Simon. editor.&#160;Lecomte, Thierry. editor.&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486304 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Financial Cryptography and Data Security 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18&ndash;22, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486319 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Goldberg, Ian. editor.&#160;Moore, Tyler. editor. (orcid)0000-0002-8771-8191&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32101-7">https://doi.org/10.1007/978-3-030-32101-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Universal Access in Human-Computer Interaction. Theory, Methods and Tools 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486327 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Antona, Margherita. editor.&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23560-4">https://doi.org/10.1007/978-3-030-23560-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Progress in Cryptology &ndash; LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486418 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lange, Tanja. editor.&#160;Dunkelman, Orr. editor. (orcid)0000-0001-5799-2635&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-25283-0">https://doi.org/10.1007/978-3-030-25283-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbr&uuml;cken, Germany, July 8-10, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486342 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201&#160;Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X&#160;Naegel, Beno&icirc;t. editor. (orcid)0000-0002-7695-1473&#160;Passat, Nicolas. editor. (orcid)0000-0002-0320-4581&#160;Perret, Benjamin. editor. (orcid)0000-0003-0933-8342<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20867-7">https://doi.org/10.1007/978-3-030-20867-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Multi-Agent Systems 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486348 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Weyns, Danny. editor. (orcid)0000-0002-1162-0817&#160;Mascardi, Viviana. editor. (orcid)0000-0002-2261-9926&#160;Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-25693-7">https://doi.org/10.1007/978-3-030-25693-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8&ndash;9, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486352 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941&#160;Toma, Cristian. editor. (orcid)0000-0001-9316-7739&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-12942-2">https://doi.org/10.1007/978-3-030-12942-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods An Appetizer ent://SD_ILS/0/SD_ILS:486358 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Nielson, Flemming. author. (orcid)0000-0001-7362-6176&#160;Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05156-3">https://doi.org/10.1007/978-3-030-05156-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26&ndash;28, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:486379 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Sun, Xingming. editor. (orcid)0000-0003-1390-399X&#160;Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X&#160;Bertino, Elisa. editor. (orcid)0000-0002-4029-7051&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24268-8">https://doi.org/10.1007/978-3-030-24268-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486575 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hinze, Thomas. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Salomaa, Arto. editor.&#160;Zandron, Claudio. editor. (orcid)0000-0002-2163-7639&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-12797-8">https://doi.org/10.1007/978-3-030-12797-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486578 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336&#160;Cheng, Chih-Hong. editor.&#160;Esparza, Javier. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486579 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803&#160;Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32065-2">https://doi.org/10.1007/978-3-030-32065-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486683 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Artho, Cyrille. editor.&#160;&Ouml;lveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486700 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814&#160;Nelson, Maria Augusta. editor. (orcid)0000-0002-1151-1362&#160;Rocha, Carla. editor. (orcid)0000-0003-3102-5166&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-36701-5">https://doi.org/10.1007/978-3-030-36701-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16&ndash;18, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486707 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ning, Huansheng. editor. (orcid)0000-0001-6413-193X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Verification of Floating-Point Hardware Design A Mathematical Approach ent://SD_ILS/0/SD_ILS:486716 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Russinoff, David M. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-95513-1">https://doi.org/10.1007/978-3-319-95513-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486718 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Malizia, Alessio. editor.&#160;Valtolina, Stefano. editor.&#160;Morch, Anders. editor.&#160;Serrano, Alan. editor.&#160;Stratton, Andrew. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19&ndash;21, 2016, Proceedings ent://SD_ILS/0/SD_ILS:486743 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Li, Daoliang. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-06155-5">https://doi.org/10.1007/978-3-030-06155-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer-Aided Architectural Design. &quot;Hello, Culture&quot; 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26&ndash;28, 2019, Selected Papers ent://SD_ILS/0/SD_ILS:486819 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lee, Ji-Hyun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-8410-3">https://doi.org/10.1007/978-981-13-8410-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486826 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Stephanidis, Constantine. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23522-2">https://doi.org/10.1007/978-3-030-23522-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486828 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Montella, Raffaele. editor.&#160;Ciaramella, Angelo. editor. (orcid)0000-0001-5592-7995&#160;Fortino, Giancarlo. editor.&#160;Guerrieri, Antonio. editor. (orcid)0000-0003-1469-9484&#160;Liotta, Antonio. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34914-1">https://doi.org/10.1007/978-3-030-34914-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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 Papers ent://SD_ILS/0/SD_ILS:486836 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701&#160;Boehme, David. editor.&#160;Levine, Joshua A. editor.&#160;Malony, Allen D. editor.&#160;Schulz, Martin. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26&ndash;28, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486908 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698&#160;Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20485-3">https://doi.org/10.1007/978-3-030-20485-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486937 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Biondi, Fabrizio. editor.&#160;Given-Wilson, Thomas. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11&ndash;12, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486939 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Staggs, Jason. editor.&#160;Shenoi, Sujeet. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34647-8">https://doi.org/10.1007/978-3-030-34647-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486943 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Klus&aacute;&#269;ek, Dalibor. editor.&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-10632-4">https://doi.org/10.1007/978-3-030-10632-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Public-Key Cryptography &ndash; PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:486955 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lin, Dongdai. editor.&#160;Sako, Kazue. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17253-4">https://doi.org/10.1007/978-3-030-17253-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Technology Trends 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29&ndash;31, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486966 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224&#160;Pizarro, Guillermo. editor. (orcid)0000-0002-0731-4550&#160;Z&uacute;&ntilde;iga-Prieto, Miguel. editor. (orcid)0000-0001-9369-1813&#160;D&rsquo;Armas, Mayra. editor.&#160;Z&uacute;&ntilde;iga S&aacute;nchez, Miguel. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05532-5">https://doi.org/10.1007/978-3-030-05532-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:486968 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24302-9">https://doi.org/10.1007/978-3-030-24302-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486969 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24296-1">https://doi.org/10.1007/978-3-030-24296-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Bilgisayar m&uuml;hendisli&#287;ine giri&#351; ent://SD_ILS/0/SD_ILS:423236 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;&Ccedil;&ouml;lkesen, Toros Rifat.&#160;Eren, &#350;aban.<br/>Yer Numaras&#305;&#160;QA76.27 B552 2019<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Advanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482678 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Giorgini, Paolo. editor. (orcid)0000-0003-4152-9683&#160;Weber, Barbara. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-21290-2">https://doi.org/10.1007/978-3-030-21290-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482887 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Benmoussa, Rachid. editor.&#160;De Guio, Roland. editor.&#160;Dubois, S&eacute;bastien. editor. (orcid)0000-0003-1501-4977&#160;Kozio&#322;ek, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32497-1">https://doi.org/10.1007/978-3-030-32497-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday ent://SD_ILS/0/SD_ILS:482889 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667&#160;Semini, Laura. editor. (orcid)0000-0001-8774-2346&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13&ndash;15, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482913 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Enea, Constantin. editor.&#160;Piskac, Ruzica. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-11245-5">https://doi.org/10.1007/978-3-030-11245-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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 Birthday ent://SD_ILS/0/SD_ILS:482916 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Graf, Susanne. editor.&#160;Larsen, Kim G. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Pattern Languages of Programming IV ent://SD_ILS/0/SD_ILS:482831 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Noble, James. editor.&#160;Johnson, Ralph. editor.&#160;Zdun, Uwe. editor.&#160;Wallingford, Eugene. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-14291-9">https://doi.org/10.1007/978-3-030-14291-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:482854 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Majumdar, Amit. editor.&#160;Arora, Ritu. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-7729-7">https://doi.org/10.1007/978-981-13-7729-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482859 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Keller, Chantal. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Perspectives in Business Informatics Research 18th International Conference, BIR 2019, Katowice, Poland, September 23&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482866 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Pa&#324;kowska, Ma&#322;gorzata. editor. (orcid)0000-0001-8660-606X&#160;Sandkuhl, Kurt. editor. (orcid)0000-0002-7431-8412&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31143-8">https://doi.org/10.1007/978-3-030-31143-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods &ndash; The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482869 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367&#160;McIver, Annabelle. editor. (orcid)0000-0002-2405-9838&#160;Oliveira, Jos&eacute; N. editor. (orcid)0000-0002-0196-4229&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Public-Key Cryptography &ndash; PKC 2019 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483055 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lin, Dongdai. editor.&#160;Sako, Kazue. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17259-6">https://doi.org/10.1007/978-3-030-17259-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Adaptive Software Systems Communications of NII Shonan Meetings ent://SD_ILS/0/SD_ILS:483344 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Yu, Yijun. editor.&#160;Bandara, Arosha. editor.&#160;Honiden, Shinichi. editor.&#160;Hu, Zhenjiang. editor.&#160;Tamai, Tetsuo. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-2185-6">https://doi.org/10.1007/978-981-13-2185-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Security ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483391 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;Cuppens, Nora. editor.&#160;Lambrinoudakis, Costas. editor. (orcid)0000-0002-6575-9814&#160;Ant&oacute;n, Annie. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-12786-2">https://doi.org/10.1007/978-3-030-12786-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Service Research and Innovation 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483417 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lam, Ho-Pun. editor. (orcid)0000-0002-1137-8549&#160;Mistry, Sajib. editor. (orcid)0000-0001-7513-3789&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32242-7">https://doi.org/10.1007/978-3-030-32242-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483418 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Chang, Bor-Yuh Evan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483421 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-06019-0">https://doi.org/10.1007/978-3-030-06019-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Codes, Cryptology and Information Security Third International Conference, C2SI 2019, Rabat, Morocco, April 22&ndash;24, 2019, Proceedings - In Honor of Said El Hajji ent://SD_ILS/0/SD_ILS:483462 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Carlet, Claude. editor.&#160;Guilley, Sylvain. editor. (orcid)0000-0002-5044-3534&#160;Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757&#160;Souidi, El Mamoun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-16458-4">https://doi.org/10.1007/978-3-030-16458-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483471 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Chamberlain, Roger. editor.&#160;Taha, Walid. editor. (orcid)0000-0003-3160-9188&#160;T&ouml;rngren, Martin. editor. (orcid)0000-0002-4300-885X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17910-6">https://doi.org/10.1007/978-3-030-17910-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484184 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Knauss, Eric. editor. (orcid)0000-0002-6631-872X&#160;Goedicke, Michael. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-15538-4">https://doi.org/10.1007/978-3-030-15538-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> SOFSEM 2019: Theory and Practice of Computer Science 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nov&yacute; Smokovec, Slovakia, January 27-30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484191 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Catania, Barbara. editor. (orcid)0000-0002-6443-169X&#160;Kr&aacute;lovi&#269;, Rastislav. editor. (orcid)0000-0003-1121-1009&#160;Nawrocki, Jerzy. editor.&#160;Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-10801-4">https://doi.org/10.1007/978-3-030-10801-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484219 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Guizzardi, Giancarlo. editor.&#160;Gailly, Frederik. editor.&#160;Suzana Pitangueira Maciel, Rita. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34146-6">https://doi.org/10.1007/978-3-030-34146-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> String Processing and Information Retrieval 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484790 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Brisaboa, Nieves R. editor. (orcid)0000-0001-8025-3048&#160;Puglisi, Simon J. editor. (orcid)0000-0001-7668-7636&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32686-9">https://doi.org/10.1007/978-3-030-32686-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Computational Science XXXIV ent://SD_ILS/0/SD_ILS:484579 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Gavrilova, Marina L. editor.&#160;Tan, C.J. Kenneth. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-59958-7">https://doi.org/10.1007/978-3-662-59958-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484810 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Yangui, Sami. editor. (orcid)0000-0001-9756-642X&#160;Bouassida Rodriguez, Ismael. editor.&#160;Drira, Khalil. editor. (orcid)0000-0002-4770-1563&#160;Tari, Zahir. editor. (orcid)0000-0002-1235-9673&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-33702-5">https://doi.org/10.1007/978-3-030-33702-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Topics in Cryptology &ndash; CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4&ndash;8, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484895 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Matsui, Mitsuru. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-12612-4">https://doi.org/10.1007/978-3-030-12612-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19&ndash;23, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484657 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-25636-4">https://doi.org/10.1007/978-3-030-25636-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Information and Computer Security 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484666 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Attrapadung, Nuttapong. editor. (orcid)0000-0003-4116-1751&#160;Yagi, Takeshi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26834-3">https://doi.org/10.1007/978-3-030-26834-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26&ndash;27, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483194 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bordeleau, Francis. editor.&#160;Sillitti, Alberto. editor.&#160;Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814&#160;Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20883-7">https://doi.org/10.1007/978-3-030-20883-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Science of Cyber Security Second International Conference, SciSec 2019, Nanjing, China, August 9&ndash;11, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483209 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Liu, Feng. editor.&#160;Xu, Jia. editor.&#160;Xu, Shouhuai. editor.&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34637-9">https://doi.org/10.1007/978-3-030-34637-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483296 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Thachuk, Chris. editor.&#160;Liu, Yan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26807-7">https://doi.org/10.1007/978-3-030-26807-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483547 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483548 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Guan, Nan. editor.&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Sun, Jun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> New Trends in Model and Data Engineering MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483627 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Attiogb&eacute;, Christian. editor. (orcid)0000-0002-7815-1752&#160;Ferrarotti, Flavio. editor. (orcid)0000-0003-2278-8233&#160;Maabout, Sofian. editor. (orcid)0000-0001-8703-7620&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32213-7">https://doi.org/10.1007/978-3-030-32213-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483688 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483829 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Herzig, Andreas. editor. (orcid)0000-0003-0833-2782&#160;Popescu, Andrei. editor. (orcid)0000-0001-8747-0619&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Biomedical Engineering Systems and Technologies 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19&ndash;21, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483839 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Cliquet Jr., Alberto. editor.&#160;Wiebe, Sheldon. editor.&#160;Anderson, Paul. editor.&#160;Saggio, Giovanni. editor.&#160;Zwiggelaar, Reyer. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29196-9">https://doi.org/10.1007/978-3-030-29196-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, G&ouml;ttingen, Germany, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483847 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29400-7">https://doi.org/10.1007/978-3-030-29400-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated Deduction &ndash; CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483848 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Fontaine, Pascal. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29436-6">https://doi.org/10.1007/978-3-030-29436-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483859 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Yew, Pen-Chung. editor.&#160;Stenstr&ouml;m, Per. editor. (orcid)0000-0002-7441-8245&#160;Wu, Junjie. editor.&#160;Gong, Xiaoli. editor.&#160;Li, Tao. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29611-7">https://doi.org/10.1007/978-3-030-29611-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483867 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Andr&eacute;, &Eacute;tienne. editor. (orcid)0000-0001-8473-9555&#160;Stoelinga, Mari&euml;lle. editor. (orcid)0000-0001-6793-8165&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483886 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Parker, David. editor. (orcid)0000-0003-4137-8862&#160;Wolf, Verena. editor. (orcid)0000-0001-8460-6007&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30281-8">https://doi.org/10.1007/978-3-030-30281-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484225 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441&#160;Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484227 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bebis, George. editor.&#160;Benos, Takis. editor.&#160;Chen, Ken. editor.&#160;Jahn, Katharina. editor.&#160;Lima, Ernesto. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-35210-3">https://doi.org/10.1007/978-3-030-35210-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Managed Software Evolution ent://SD_ILS/0/SD_ILS:484605 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Reussner, Ralf. editor.&#160;Goedicke, Michael. editor.&#160;Hasselbring, Wilhelm. editor.&#160;Vogel-Heuser, Birgit. editor.&#160;Keim, Jan. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-13499-0">https://doi.org/10.1007/978-3-030-13499-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7&ndash;12, 2018, Tutorial Lectures ent://SD_ILS/0/SD_ILS:484616 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> On the Move to Meaningful Internet Systems: OTM 2018 Workshops Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22&ndash;26, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484716 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Gu&eacute;dria, Wided. editor.&#160;Bollen, Peter. editor.&#160;Ciuciu, Ioana. editor. (orcid)0000-0002-7126-0585<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-11683-5">https://doi.org/10.1007/978-3-030-11683-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484867 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;Troubitsyna, Elena. editor.&#160;Gashi, Ilir. editor.&#160;Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26250-1">https://doi.org/10.1007/978-3-030-26250-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484898 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Piattini, Mario. editor. (orcid)0000-0002-7212-8279&#160;Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248&#160;Garc&iacute;a Rodr&iacute;guez de Guzm&aacute;n, Ignacio. editor. (orcid)0000-0002-0038-0942&#160;P&eacute;rez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29238-6">https://doi.org/10.1007/978-3-030-29238-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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, Proceedings ent://SD_ILS/0/SD_ILS:485700 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507&#160;Petre, Luigia. editor.&#160;Smith, Graeme. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reproducible Research in Pattern Recognition Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485569 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kerautret, Bertrand. editor.&#160;Colom, Miguel. editor.&#160;Lopresti, Daniel. editor. (orcid)0000-0003-2129-4223&#160;Monasse, Pascal. editor.&#160;Talbot, Hugues. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23987-9">https://doi.org/10.1007/978-3-030-23987-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automotive Systems and Software Engineering State of the Art and Future Trends ent://SD_ILS/0/SD_ILS:486378 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Dajsuren, Yanja. editor.&#160;van den Brand, Mark. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-12157-0">https://doi.org/10.1007/978-3-030-12157-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Digital Forensics and Cyber Crime 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:486855 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Breitinger, Frank. editor. (orcid)0000-0001-5261-4600&#160;Baggili, Ibrahim. editor. (orcid)0000-0002-9574-9537&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05487-8">https://doi.org/10.1007/978-3-030-05487-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday ent://SD_ILS/0/SD_ILS:486859 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Alvim, M&aacute;rio S. editor.&#160;Chatzikokolakis, Kostas. editor.&#160;Olarte, Carlos. editor.&#160;Valencia, Frank. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:487029 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Walker, Alastair. editor.&#160;O'Connor, Rory V. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487064 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24289-3">https://doi.org/10.1007/978-3-030-24289-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:487065 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24311-1">https://doi.org/10.1007/978-3-030-24311-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Science and Its Applications &ndash; ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1&ndash;4, 2019, Proceedings, Part V ent://SD_ILS/0/SD_ILS:487080 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24308-1">https://doi.org/10.1007/978-3-030-24308-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering Proceedings of CSI 2015 ent://SD_ILS/0/SD_ILS:487359 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hoda, M. N. editor.&#160;Chauhan, Naresh. editor.&#160;Quadri, S. M. K. editor.&#160;Srivastava, Praveen Ranjan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-10-8848-3">https://doi.org/10.1007/978-981-10-8848-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Interdisciplinary approaches to information systems and software engineering ent://SD_ILS/0/SD_ILS:482073 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Mukherjee, Alok Bhushan, 1985- editor.&#160;Krishna, Akhouri Pramod, 1962- editor.&#160;IGI Global, publisher.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Integrating the internet of things into software engineering practices ent://SD_ILS/0/SD_ILS:482075 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Mala, D. Jeya, 1974- editor.&#160;IGI Global, publisher.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482658 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124&#160;Biffl, Stefan. editor. (orcid)0000-0002-3413-7780&#160;Bergsmann, Johannes. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05767-1">https://doi.org/10.1007/978-3-030-05767-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482895 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Figueroa-Garc&iacute;a, Juan Carlos. editor. (orcid)0000-0001-5544-5937&#160;Duarte-Gonz&aacute;lez, Mario. editor.&#160;Jaramillo-Isaza, Sebasti&aacute;n. editor. (orcid)0000-0002-2134-772X&#160;Orjuela-Ca&ntilde;on, Alvaro David. editor. (orcid)0000-0002-2057-7603&#160;D&iacute;az-Gutierrez, Yesid. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31019-6">https://doi.org/10.1007/978-3-030-31019-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6&ndash;7, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483024 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hamid, Brahim. editor.&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059&#160;Elovici, Yuval. editor.&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-16874-2">https://doi.org/10.1007/978-3-030-16874-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483032 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hochberger, Christian. editor.&#160;Nelson, Brent. editor.&#160;Koch, Andreas. editor.&#160;Woods, Roger. editor.&#160;Diniz, Pedro. editor. (orcid)0000-0003-3131-9367<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17227-5">https://doi.org/10.1007/978-3-030-17227-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Design and Development of Web Information Systems ent://SD_ILS/0/SD_ILS:483033 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Schewe, Klaus-Dieter. author.&#160;Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-662-58824-6">https://doi.org/10.1007/978-3-662-58824-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developing Enterprise Chatbots Learning Linguistic Structures ent://SD_ILS/0/SD_ILS:483044 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Galitsky, Boris. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-04299-8">https://doi.org/10.1007/978-3-030-04299-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482878 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183&#160;Yuen, Tsz Hon. editor. (orcid)0000-0002-0629-6792&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31919-9">https://doi.org/10.1007/978-3-030-31919-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483108 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;van Sinderen, Marten. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29157-0">https://doi.org/10.1007/978-3-030-29157-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Financial Software Engineering ent://SD_ILS/0/SD_ILS:483123 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lano, Kevin. author.&#160;Haughton, Howard. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-14050-2">https://doi.org/10.1007/978-3-030-14050-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483235 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652&#160;Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20656-7">https://doi.org/10.1007/978-3-030-20656-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483241 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054&#160;Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X&#160;Woltran, Stefan. editor. (orcid)0000-0003-1594-8972&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Knowledge Management in Organizations 14th International Conference, KMO 2019, Zamora, Spain, July 15&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483256 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Uden, Lorna. editor.&#160;Ting, I-Hsien. editor.&#160;Corchado, Juan Manuel. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-21451-7">https://doi.org/10.1007/978-3-030-21451-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:483257 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lutz, Carsten. editor.&#160;Sattler, Uli. editor.&#160;Tinelli, Cesare. editor.&#160;Turhan, Anni-Yasmin. editor.&#160;Wolter, Frank. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Cryptology &ndash; CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18&ndash;22, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:483389 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Boldyreva, Alexandra. editor.&#160;Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26951-7">https://doi.org/10.1007/978-3-030-26951-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Carl Adam Petri: Ideas, Personality, Impact ent://SD_ILS/0/SD_ILS:483394 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Reisig, Wolfgang. editor.&#160;Rozenberg, Grzegorz. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-96154-5">https://doi.org/10.1007/978-3-319-96154-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4&ndash;7, 2019, Tutorial Lectures ent://SD_ILS/0/SD_ILS:483488 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234&#160;Panov, Aleksandr I. editor. (orcid)0000-0002-9747-3837&#160;Yakovlev, Konstantin S. editor. (orcid)0000-0002-4377-321X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-33274-7">https://doi.org/10.1007/978-3-030-33274-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applied Cryptography and Network Security 17th International Conference, ACNS 2019, Bogota, Colombia, June 5&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483504 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Deng, Robert H. editor. (orcid)0000-0003-3491-8146&#160;Gauthier-Uma&ntilde;a, Val&eacute;rie. editor. (orcid)0000-0003-0909-7091&#160;Ochoa, Mart&iacute;n. editor. (orcid)0000-0002-7816-5775&#160;Yung, Moti. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-21568-2">https://doi.org/10.1007/978-3-030-21568-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:483506 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Boreale, Michele. editor. (orcid)0000-0002-1972-7491&#160;Corradini, Flavio. editor.&#160;Loreti, Michele. editor. (orcid)0000-0003-3061-863X&#160;Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Risks and Security of Internet and Systems 13th International Conference, CRiSIS 2018, Arcachon, France, October 16&ndash;18, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483592 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Zemmari, Akka. editor.&#160;Mosbah, Mohamed. editor.&#160;Cuppens-Boulahia, Nora. editor.&#160;Cuppens, Fr&eacute;d&eacute;ric. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-12143-3">https://doi.org/10.1007/978-3-030-12143-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montr&eacute;al, QC, Canada, May 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483601 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867&#160;Fraser, Steven. editor. (orcid)0000-0002-3958-6585&#160;Coallier, Fran&ccedil;ois. editor. (orcid)0000-0002-2730-2469&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-19034-7">https://doi.org/10.1007/978-3-030-19034-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cryptography and Coding 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483608 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Albrecht, Martin. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-35199-1">https://doi.org/10.1007/978-3-030-35199-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483626 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948&#160;Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148&#160;Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434&#160;Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29852-4">https://doi.org/10.1007/978-3-030-29852-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:483655 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kurosu, Masaaki. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22646-6">https://doi.org/10.1007/978-3-030-22646-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483679 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Weiland, Mich&egrave;le. editor. (orcid)0000-0003-4713-3073&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Alam, Sadaf. editor. (orcid)0000-0002-2534-5078&#160;Jagode, Heike. editor. (orcid)0000-0002-8173-9434&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34356-9">https://doi.org/10.1007/978-3-030-34356-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483736 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;Troubitsyna, Elena. editor.&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26601-1">https://doi.org/10.1007/978-3-030-26601-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483738 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;England, Matthew. editor. (orcid)0000-0001-5729-3420&#160;Koepf, Wolfram. editor.&#160;Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26831-2">https://doi.org/10.1007/978-3-030-26831-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483739 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Franch, Xavier. editor. (orcid)0000-0001-9733-8830&#160;M&auml;nnist&ouml;, Tomi. editor. (orcid)0000-0001-7470-5183&#160;Mart&iacute;nez-Fern&aacute;ndez, Silverio. editor. (orcid)0000-0001-9928-133X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483746 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555&#160;Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19&ndash;21, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483749 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614&#160;Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-37386-3">https://doi.org/10.1007/978-3-030-37386-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment ent://SD_ILS/0/SD_ILS:483759 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X&#160;Dix, J&uuml;rgen. editor. (orcid)0000-0002-8528-1440&#160;Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-37959-9">https://doi.org/10.1007/978-3-030-37959-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 &ndash; September 1, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483767 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Nejati, Shiva. editor.&#160;Gay, Gregory. editor. (orcid)0000-0001-6794-9585&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26&ndash;27, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483904 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ohara, Kouzou. editor.&#160;Bai, Quan. editor. (orcid)0000-0003-1214-6317&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30639-7">https://doi.org/10.1007/978-3-030-30639-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483905 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736&#160;Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709&#160;Sherratt, Edel. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483907 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Filiot, Emmanuel. editor.&#160;Jungers, Rapha&euml;l. editor.&#160;Potapov, Igor. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483908 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Calinescu, Radu. editor. (orcid)0000-0002-2678-9260&#160;Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30856-8">https://doi.org/10.1007/978-3-030-30856-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:483956 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hu, Changjun. editor.&#160;Yang, Wen. editor.&#160;Jiang, Congfeng. editor.&#160;Dai, Dong. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-32-9987-0">https://doi.org/10.1007/978-981-32-9987-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Handbook of Software Engineering ent://SD_ILS/0/SD_ILS:484024 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Cha, Sungdeok. editor.&#160;Taylor, Richard N. editor.&#160;Kang, Kyochul. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-00262-6">https://doi.org/10.1007/978-3-030-00262-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484028 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Larsen, Kim Guldstrand. editor.&#160;Willemse, Tim. editor. (orcid)0000-0003-3049-7962&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:484033 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Vojnar, Tom&aacute;&scaron;. editor. (orcid)0000-0002-2746-8792&#160;Zhang, Lijun. editor. (orcid)0000-0002-3692-2088&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:484045 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484069 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Laender, Alberto H. F. editor. (orcid)0000-0001-5032-2233&#160;Pernici, Barbara. editor.&#160;Lim, Ee-Peng. editor.&#160;de Oliveira, Jos&eacute; Palazzo M. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-33223-5">https://doi.org/10.1007/978-3-030-33223-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484889 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Badger, Julia M. editor.&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484866 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457&#160;Haar, Stefan. editor. (orcid)0000-0002-1892-2703&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-21571-2">https://doi.org/10.1007/978-3-030-21571-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19&ndash;21, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484749 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Schwarzmann, Alexander A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31277-0">https://doi.org/10.1007/978-3-030-31277-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13&ndash;14, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484877 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Zamani, Majid. editor.&#160;Zufferey, Damien. editor. (orcid)0000-0002-3197-8736&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-28423-7">https://doi.org/10.1007/978-3-030-28423-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Cryptology &ndash; CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18&ndash;22, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:484878 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Boldyreva, Alexandra. editor.&#160;Micciancio, Daniele. editor. (orcid)0000-0003-3323-9985&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26954-8">https://doi.org/10.1007/978-3-030-26954-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485010 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127&#160;Mendelson, Avi. editor.&#160;Nandi, Mridul. editor. (orcid)0000-0002-1029-6576&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-35869-3">https://doi.org/10.1007/978-3-030-35869-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Web Engineering 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11&ndash;14, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485015 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bakaev, Maxim. editor. (orcid)0000-0002-1889-0692&#160;Frasincar, Flavius. editor. (orcid)0000-0002-8031-758X&#160;Ko, In-Young. editor. (orcid)0000-0002-3843-263X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-19274-7">https://doi.org/10.1007/978-3-030-19274-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3&ndash;5, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485054 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797&#160;Kuusinen, Kati. editor. (orcid)0000-0003-3076-1356&#160;L&aacute;rusd&oacute;ttir, Marta Krist&iacute;n. editor.&#160;Palanque, Philippe. editor.&#160;Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05909-5">https://doi.org/10.1007/978-3-030-05909-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Business 10th International Conference, ICSOB 2019, Jyv&auml;skyl&auml;, Finland, November 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485079 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750&#160;Suoranta, Mari. editor. (orcid)0000-0002-3849-4902&#160;Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200&#160;Tyrv&auml;inen, Pasi. editor. (orcid)0000-0001-7716-3244&#160;Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-33742-1">https://doi.org/10.1007/978-3-030-33742-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Ambient Intelligence 15th European Conference, AmI 2019, Rome, Italy, November 13&ndash;15, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485180 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Chatzigiannakis, Ioannis. editor. (orcid)0000-0001-8955-9270&#160;De Ruyter, Boris. editor. (orcid)0000-0002-2682-7538&#160;Mavrommati, Irene. editor. (orcid)0000-0002-8870-746X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34255-5">https://doi.org/10.1007/978-3-030-34255-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:485282 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Cryptology &ndash; EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19&ndash;23, 2019, Proceedings, Part III ent://SD_ILS/0/SD_ILS:485285 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ishai, Yuval. editor.&#160;Rijmen, Vincent. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17659-4">https://doi.org/10.1007/978-3-030-17659-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485304 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;P&eacute;rez, Jorge A. editor. (orcid)0000-0002-1452-6180&#160;Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Integrating Business Process Models and Rules Empirical Evidence and Decision Framework ent://SD_ILS/0/SD_ILS:485261 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Wang, Wei. author. (orcid)0000-0003-2932-4247&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-11809-9">https://doi.org/10.1007/978-3-030-11809-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485265 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Mesnard, Fred. editor.&#160;Stuckey, Peter J. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Service-Oriented Computing &ndash; ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485266 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Liu, Xiao. editor.&#160;Mrissa, Michael. editor.&#160;Zhang, Liang. editor.&#160;Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060&#160;Ghose, Aditya. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17642-6">https://doi.org/10.1007/978-3-030-17642-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Economics of Grids, Clouds, Systems, and Services 15th International Conference, GECON 2018, Pisa, Italy, September 18&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:485323 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Coppola, Massimo. editor. (orcid)0000-0002-7937-4157&#160;Carlini, Emanuele. editor. (orcid)0000-0003-3643-5404&#160;D&rsquo;Agostino, Daniele. editor. (orcid)0000-0003-2649-0071&#160;Altmann, J&ouml;rn. editor. (orcid)0000-0002-8880-9546&#160;Ba&ntilde;ares, Jos&eacute; &Aacute;ngel. editor. (orcid)0000-0002-4198-8241<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-13342-9">https://doi.org/10.1007/978-3-030-13342-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 &ndash; October 2, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485409 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898&#160;Vo&szlig;, Stefan. editor. (orcid)0000-0003-1296-4221&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31140-7">https://doi.org/10.1007/978-3-030-31140-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ICT Education 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18&ndash;20, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485413 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kabanda, Salah. editor.&#160;Suleman, Hussein. editor.&#160;Gruner, Stefan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05813-5">https://doi.org/10.1007/978-3-030-05813-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485418 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001&#160;Sanguinetti, Guido. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31304-3">https://doi.org/10.1007/978-3-030-31304-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485426 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hammoudi, Slimane. editor.&#160;Pires, Lu&iacute;s Ferreira. editor.&#160;Selic, Bran. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-11030-7">https://doi.org/10.1007/978-3-030-11030-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Information and Communication Technology for Development for Africa Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485457 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Mekuria, Fisseha. editor.&#160;Nigussie, Ethiopia. editor. (orcid)0000-0002-2043-4274&#160;Tegegne, Tesfa. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-26630-1">https://doi.org/10.1007/978-3-030-26630-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485468 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Dama&scaron;evi&#269;ius, Robertas. editor.&#160;Vasiljevien&#279;, Giedr&#279;. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-30275-7">https://doi.org/10.1007/978-3-030-30275-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Technologies and Innovation 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2&ndash;5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485470 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Valencia-Garc&iacute;a, Rafael. editor.&#160;Alcaraz-M&aacute;rmol, Gema. editor.&#160;Del Cioppo-Morstadt, Javier. editor.&#160;Vera-Lucio, N&eacute;stor. editor.&#160;Bucaram-Leverone, Martha. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-34989-9">https://doi.org/10.1007/978-3-030-34989-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485539 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Duan, Zhenhua. editor.&#160;Liu, Shaoying. editor.&#160;Tian, Cong. editor.&#160;Nagoya, Fumiko. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:485699 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601&#160;Cleaveland, Rance. editor.&#160;Grosu, Radu. editor. (orcid)0000-0001-5715-2142&#160;Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31514-6">https://doi.org/10.1007/978-3-030-31514-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Concise Guide to Software Testing ent://SD_ILS/0/SD_ILS:485710 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-28494-7">https://doi.org/10.1007/978-3-030-28494-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485728 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bures, Tomas. editor.&#160;Duchien, Laurence. editor. (orcid)0000-0002-4517-5862&#160;Inverardi, Paola. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-29983-5">https://doi.org/10.1007/978-3-030-29983-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;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, Proceedings ent://SD_ILS/0/SD_ILS:485680 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872&#160;Sampaio, Augusto. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fault Prediction Modeling for the Prediction of Number of Software Faults ent://SD_ILS/0/SD_ILS:485780 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Rathore, Santosh Singh. author.&#160;Kumar, Sandeep. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-7131-8">https://doi.org/10.1007/978-981-13-7131-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485820 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ganty, Pierre. editor. (orcid)0000-0002-3625-6003&#160;Ka&acirc;niche, Mohamed. editor. (orcid)0000-0002-2647-5472&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23&ndash;24, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485859 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Damiani, Ernesto. editor.&#160;Spanoudakis, George. editor.&#160;Maciaszek, Leszek A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22559-9">https://doi.org/10.1007/978-3-030-22559-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Progress in Cryptology &ndash; AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485949 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Buchmann, Johannes. editor.&#160;Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757&#160;Rachidi, Tajjeeddine. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23696-0">https://doi.org/10.1007/978-3-030-23696-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485980 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750&#160;Massink, Mieke. editor. (orcid)0000-0001-5089-002X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486086 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Schmorrow, Dylan D. editor.&#160;Fidopiastis, Cali M. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22419-6">https://doi.org/10.1007/978-3-030-22419-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26&ndash;31, 2019, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:486088 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Marcus, Aaron. editor.&#160;Wang, Wentao. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-23535-2">https://doi.org/10.1007/978-3-030-23535-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Cryptology &ndash; EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19&ndash;23, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486183 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ishai, Yuval. editor.&#160;Rijmen, Vincent. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-17656-3">https://doi.org/10.1007/978-3-030-17656-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Introduction to Software Design with Java ent://SD_ILS/0/SD_ILS:486330 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Robillard, Martin P. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486429 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hofman, Piotrek. editor.&#160;Skrzypczak, Micha&#322;. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16&ndash;19, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486438 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Fodor, Paul. editor. (orcid)0000-0002-2978-676X&#160;Montali, Marco. editor. (orcid)0000-0002-8021-3430&#160;Calvanese, Diego. editor. (orcid)0000-0001-5174-9693&#160;Roman, Dumitru. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Data Science, Cyber Security and IT Applications First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10&ndash;12, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486449 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Alfaries, Auhood. editor.&#160;Mengash, Hanan. editor.&#160;Yasar, Ansar. editor. (orcid)0000-0002-1542-2658&#160;Shakshuki, Elhadi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-36368-0">https://doi.org/10.1007/978-3-030-36368-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Discovery Science 22nd International Conference, DS 2019, Split, Croatia, October 28&ndash;30, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486500 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kralj Novak, Petra. editor. (orcid)0000-0003-3385-6430&#160;&Scaron;muc, Tomislav. editor. (orcid)0000-0002-9185-9384&#160;D&#382;eroski, Sa&scaron;o. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-33778-0">https://doi.org/10.1007/978-3-030-33778-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21&ndash;23, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486502 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367&#160;Imam, Neena. editor. (orcid)0000-0001-8860-4738&#160;Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493&#160;Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-04918-8">https://doi.org/10.1007/978-3-030-04918-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed Real-Time Systems Theory and Practice ent://SD_ILS/0/SD_ILS:486558 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Erciyes, K. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22570-4">https://doi.org/10.1007/978-3-030-22570-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486559 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hutton, Graham. editor. (orcid)0000-0001-9584-5150&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Information Systems Engineering Workshops CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486604 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;Stirna, Janis. editor. (orcid)0000-0002-3669-832X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20948-3">https://doi.org/10.1007/978-3-030-20948-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Business Information Systems 22nd International Conference, BIS 2019, Seville, Spain, June 26&ndash;28, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:486607 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Abramowicz, Witold. editor. (orcid)0000-0001-5464-9698&#160;Corchuelo, Rafael. editor. (orcid)0000-0003-1563-6979&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20482-2">https://doi.org/10.1007/978-3-030-20482-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Information Systems Engineering in Responsible Information Systems CAiSE Forum 2019, Rome, Italy, June 3&ndash;7, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486612 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Cappiello, Cinzia. editor. (orcid)0000-0001-6062-5174&#160;Ruiz, Marcela. editor. (orcid)0000-0002-0592-1779&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-21297-1">https://doi.org/10.1007/978-3-030-21297-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Pattern Recognition 11th Mexican Conference, MCPR 2019, Quer&eacute;taro, Mexico, June 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486614 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Carrasco-Ochoa, Jes&uacute;s Ariel. editor.&#160;Mart&iacute;nez-Trinidad, Jos&eacute; Francisco. editor.&#160;Olvera-L&oacute;pez, Jos&eacute; Arturo. editor. (orcid)0000-0003-0639-1463&#160;Salas, Joaqu&iacute;n. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-21077-9">https://doi.org/10.1007/978-3-030-21077-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26&ndash;28, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486615 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Peng, Xin. editor.&#160;Ampatzoglou, Apostolos. editor.&#160;Bhowmik, Tanmay. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20&ndash;22, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486632 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Tsitouridou, Meni. editor.&#160;A. Diniz, Jos&eacute;. editor.&#160;Mikropoulos, Tassos A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-20954-4">https://doi.org/10.1007/978-3-030-20954-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cloud Computing and Big Data 7th Conference, JCC&amp;BD 2019, La Plata, Buenos Aires, Argentina, June 24&ndash;28, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486637 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Naiouf, Marcelo. editor. (orcid)0000-0001-9127-3212&#160;Chichizola, Franco. editor. (orcid)0000-0001-8857-6343&#160;Rucci, Enzo. editor. (orcid)0000-0001-6736-7358&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-27713-0">https://doi.org/10.1007/978-3-030-27713-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484770 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712&#160;Qin, Shengchao. editor. (orcid)0000-0003-3028-8191&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Using Microsoft Dynamics 365 for Finance and Operations Learn and understand the functionality of Microsoft's enterprise solution ent://SD_ILS/0/SD_ILS:484779 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Luszczak, Andreas. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-658-24107-0">https://doi.org/10.1007/978-3-658-24107-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398962 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Cox, Michael T. editor.&#160;Funk, Peter. editor. (orcid)0000-0002-5562-1424&#160;Begum, Shahina. editor. (orcid)0000-0002-1212-7637&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-01081-2">https://doi.org/10.1007/978-3-030-01081-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Vision &ndash; ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:398963 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ferrari, Vittorio. editor.&#160;Hebert, Martial. editor.&#160;Sminchisescu, Cristian. editor.&#160;Weiss, Yair. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-01216-8">https://doi.org/10.1007/978-3-030-01216-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Transactions on Computational Collective Intelligence XXVIII ent://SD_ILS/0/SD_ILS:398970 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;van den Herik, Jaap. editor.&#160;Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758&#160;Filipe, Joaquim. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-78301-7">https://doi.org/10.1007/978-3-319-78301-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398985 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999&#160;McMinn, Phil. editor. (orcid)0000-0001-9137-7433&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-99241-9">https://doi.org/10.1007/978-3-319-99241-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399045 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145&#160;Dagien&#279;, Valentina. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-02750-6">https://doi.org/10.1007/978-3-030-02750-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398931 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Zhang, Fa. editor.&#160;Cai, Zhipeng. editor.&#160;Skums, Pavel. editor.&#160;Zhang, Shihua. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-94968-0">https://doi.org/10.1007/978-3-319-94968-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:398933 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Takahashi, Yutaka. editor.&#160;Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946&#160;Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361&#160;Yue, Wuyi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-93736-6">https://doi.org/10.1007/978-3-319-93736-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399167 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;de Supinski, Bronis R. editor.&#160;Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310&#160;Martorell, Xavier. editor.&#160;Mateo Bellido, Sergi. editor.&#160;Labarta, Jesus. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-98521-3">https://doi.org/10.1007/978-3-319-98521-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Computational Intelligence 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22&ndash;27, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:398957 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Batyrshin, Ildar. editor.&#160;Mart&iacute;nez-Villase&ntilde;or, Mar&iacute;a de Lourdes. editor.&#160;Ponce Espinosa, Hiram Ered&iacute;n. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-04497-8">https://doi.org/10.1007/978-3-030-04497-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15&ndash;20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:398959 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Streitz, Norbert. editor. (orcid)0000-0002-0244-0945&#160;Konomi, Shin&rsquo;ichi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-91125-0">https://doi.org/10.1007/978-3-319-91125-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20&ndash;22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:399081 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lin, Yi-Bing. editor.&#160;Deng, Der-Jiunn. editor.&#160;You, Ilsun. editor.&#160;Lin, Chun-Cheng. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-00410-1">https://doi.org/10.1007/978-3-030-00410-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399082 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Shi, Zhongzhi. editor.&#160;Pennartz, Cyriel. editor.&#160;Huang, Tiejun. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-01313-4">https://doi.org/10.1007/978-3-030-01313-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399086 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03329-3">https://doi.org/10.1007/978-3-030-03329-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Blended Learning. Enhancing Learning Success 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399093 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Cheung, Simon K.S. editor.&#160;Kwok, Lam-for. editor.&#160;Kubota, Kenichi. editor.&#160;Lee, Lap-Kei. editor.&#160;Tokito, Jumpei. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-94505-7">https://doi.org/10.1007/978-3-319-94505-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Chinese Lexical Semantics 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26&ndash;28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399096 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hong, Jia-Fei. editor.&#160;Su, Qi. editor. (orcid)0000-0002-4769-2812&#160;Wu, Jiun-Shiung. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-04015-4">https://doi.org/10.1007/978-3-030-04015-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399324 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576&#160;Larsen, J&oslash;rgen Christian. editor. (orcid)0000-0002-4741-8290&#160;Xiong, Xiaofeng. editor.&#160;Hallam, John. editor.&#160;Triesch, Jochen. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-97628-0">https://doi.org/10.1007/978-3-319-97628-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399203 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Smith, Ian F. C. editor.&#160;Domer, Bernd. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-91638-5">https://doi.org/10.1007/978-3-319-91638-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Practice of Enterprise Modeling 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 &ndash; November 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399355 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610&#160;Karagiannis, Dimitris. editor.&#160;Kirikova, Marite. editor. (orcid)0000-0002-1678-9523&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-02302-7">https://doi.org/10.1007/978-3-030-02302-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399356 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Sun, Jing. editor.&#160;Sun, Meng. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399218 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Applications of Computing and Communication Technologies First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399226 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Deka, Ganesh Chandra. editor.&#160;Kaiwartya, Omprakash. editor.&#160;Vashisth, Pooja. editor.&#160;Rathee, Priyanka. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-2035-4">https://doi.org/10.1007/978-981-13-2035-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399238 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Krogstie, John. editor.&#160;Reijers, Hajo A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-91563-0">https://doi.org/10.1007/978-3-319-91563-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399239 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Chen, Jessie Y.C. editor.&#160;Fragomeni, Gino. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-91581-4">https://doi.org/10.1007/978-3-319-91581-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Emerging Technologies in Computing First International Conference, iCETiC 2018, London, UK, August 23&ndash;24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399241 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048&#160;Excell, Peter. editor.&#160;Ware, Andrew. editor. (orcid)0000-0002-9354-5039&#160;Soomro, Safeeullah. editor. (orcid)0000-0001-5571-1262&#160;Ali, Maaruf. editor. (orcid)0000-0001-9906-5004<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-95450-9">https://doi.org/10.1007/978-3-319-95450-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9&ndash;11, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399243 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249&#160;Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765&#160;Yan, Yamin. editor. (orcid)0000-0001-5838-2652&#160;Chen, Shifeng. editor. (orcid)0000-0003-0677-7358&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-97586-3">https://doi.org/10.1007/978-3-319-97586-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Web and Big Data APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399395 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;U, Leong Hou. editor.&#160;Xie, Haoran. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-01298-4">https://doi.org/10.1007/978-3-030-01298-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399397 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> PRIMA 2018: Principles and Practice of Multi-Agent Systems 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399403 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Miller, Tim. editor. (orcid)0000-0003-4908-6063&#160;Oren, Nir. editor. (orcid)0000-0002-4854-9014&#160;Sakurai, Yuko. editor. (orcid)0000-0002-0642-3878&#160;Noda, Itsuki. editor. (orcid)0000-0003-1987-5336&#160;Savarimuthu, Bastin Tony Roy. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03098-8">https://doi.org/10.1007/978-3-030-03098-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multi-disciplinary Trends in Artificial Intelligence 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399405 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Kaenampornpan, Manasawee. editor.&#160;Malaka, Rainer. editor.&#160;Nguyen, Duc Dung. editor.&#160;Schwind, Nicolas. editor. (orcid)0000-0001-7972-5984&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03014-8">https://doi.org/10.1007/978-3-030-03014-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399406 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Massoni, Tiago. editor. (orcid)0000-0002-9423-7556&#160;Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03044-5">https://doi.org/10.1007/978-3-030-03044-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399410 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23&ndash;24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399416 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bu, Lei. editor. (orcid)0000-0003-0517-7801&#160;Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-04272-1">https://doi.org/10.1007/978-3-030-04272-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, C&aacute;diz, Spain, October 1-3, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399422 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Medina-Bulo, Inmaculada. editor.&#160;Merayo, Mercedes G. editor.&#160;Hierons, Robert. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399445 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Cremers, Cas. editor. (orcid)0000-0003-0322-2293&#160;Lehmann, Anja. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-04762-7">https://doi.org/10.1007/978-3-030-04762-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Internet of Vehicles. Technologies and Services Towards Smart City 5th International Conference, IOV 2018, Paris, France, November 20&ndash;22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399446 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Skulimowski, Andrzej M.J. editor. (orcid)0000-0003-0646-2858&#160;Sheng, Zhengguo. editor.&#160;Khemiri-Kallel, Sond&egrave;s. editor.&#160;C&eacute;rin, Christophe. editor.&#160;Hsu, Ching-Hsien. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05081-8">https://doi.org/10.1007/978-3-030-05081-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399515 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301&#160;Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399525 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Nguyen, Ngoc Thanh. editor.&#160;Pimenidis, Elias. editor.&#160;Khan, Zaheer. editor.&#160;Trawi&#324;ski, Bogdan. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-98446-9">https://doi.org/10.1007/978-3-319-98446-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399530 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038&#160;Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X&#160;Fill, Hans-Georg. editor.&#160;Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591&#160;Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-76168-8">https://doi.org/10.1007/978-3-319-76168-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399537 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Cryptology &ndash; ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2&ndash;6, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399545 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197&#160;Galbraith, Steven. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-03332-3">https://doi.org/10.1007/978-3-030-03332-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Combinatorial Image Analysis 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22&ndash;24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399546 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Barneva, Reneta P. editor.&#160;Brimkov, Valentin E. editor.&#160;Tavares, Jo&atilde;o Manuel R.S. editor. (orcid)0000-0001-7603-6526&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05288-1">https://doi.org/10.1007/978-3-030-05288-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:399569 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786&#160;Dongarra, Jack. editor. (orcid)0000-0003-3247-1782&#160;Deelman, Ewa. editor. (orcid)0000-0001-5106-503X&#160;Karczewski, Konrad. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-78054-2">https://doi.org/10.1007/978-3-319-78054-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399571 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Stamelos, Ioannis. editor.&#160;Gonzalez-Baraho&ntilde;a, Jesus M. editor. (orcid)0000-0001-9682-460X&#160;Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167&#160;Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399578 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Lange, Tanja. editor.&#160;Steinwandt, Rainer. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-79063-3">https://doi.org/10.1007/978-3-319-79063-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Emerging Technologies for Authorization and Authentication First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399665 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Saracino, Andrea. editor.&#160;Mori, Paolo. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-04372-8">https://doi.org/10.1007/978-3-030-04372-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Programming with Actors State-of-the-Art and Research Perspectives ent://SD_ILS/0/SD_ILS:399671 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ricci, Alessandro. editor.&#160;Haller, Philipp. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> SafeScrum&reg; &ndash; Agile Development of Safety-Critical Software ent://SD_ILS/0/SD_ILS:399696 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hanssen, Geir Kjetil. author.&#160;St&aring;lhane, Tor. author.&#160;Myklebust, Thor. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-99334-8">https://doi.org/10.1007/978-3-319-99334-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399700 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hooker, John. editor. (orcid)0000-0003-3169-1871&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Collaboration Technologies and Social Computing 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399769 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Egi, Hironori. editor.&#160;Yuizono, Takaya. editor.&#160;Baloian, Nelson. editor.&#160;Yoshino, Takashi. editor.&#160;Ichimura, Satoshi. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-98743-9">https://doi.org/10.1007/978-3-319-98743-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Study Guide to the ISTQB&reg; Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams ent://SD_ILS/0/SD_ILS:399773 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Roman, Adam. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-98740-8">https://doi.org/10.1007/978-3-319-98740-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399630 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Miesenberger, Klaus. editor.&#160;Kouroupetroglou, Georgios. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-94274-2">https://doi.org/10.1007/978-3-319-94274-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399782 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Furia, Carlo A. editor.&#160;Winter, Kirsten. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-98938-9">https://doi.org/10.1007/978-3-319-98938-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V&auml;ster&aring;s, Sweden, September 18, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399783 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Skavhaug, Amund. editor.&#160;Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443&#160;Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Social Robotics 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399786 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Ge, Shuzhi Sam. editor. (orcid)0000-0001-5549-312X&#160;Cabibihan, John-John. editor. (orcid)0000-0001-5892-743X&#160;Salichs, Miguel A. editor.&#160;Broadbent, Elizabeth. editor. (orcid)0000-0003-3626-9100&#160;He, Hongsheng. editor. (orcid)0000-0002-2810-865X<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-05204-1">https://doi.org/10.1007/978-3-030-05204-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Building Information Modeling Technology Foundations and Industry Practice ent://SD_ILS/0/SD_ILS:399807 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Borrmann, Andr&eacute;. editor.&#160;K&ouml;nig, Markus. editor.&#160;Koch, Christian. editor.&#160;Beetz, Jakob. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-92862-3">https://doi.org/10.1007/978-3-319-92862-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Entertainment Computing &ndash; ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17&ndash;20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399653 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Clua, Esteban. editor. (orcid)0000-0001-5650-1718&#160;Roque, Licinio. editor. (orcid)0000-0002-1911-2788&#160;Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470&#160;Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-99426-0">https://doi.org/10.1007/978-3-319-99426-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Recent Advances in Intelligent Manufacturing First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399654 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Wang, Shilong. editor.&#160;Price, Mark. editor.&#160;Lim, Ming K. editor.&#160;Jin, Yan. editor.&#160;Luo, Yuanxin. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-13-2396-6">https://doi.org/10.1007/978-981-13-2396-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399660 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;Herrera-Joancomart&iacute;, Jordi. editor. (orcid)0000-0002-4935-4681&#160;Livraga, Giovanni. editor. (orcid)0000-0003-2661-8573&#160;Rios, Ruben. editor. (orcid)0000-0002-6251-4897&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-00305-0">https://doi.org/10.1007/978-3-030-00305-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400075 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Bensalem, Saddek. editor.&#160;Bliudze, Simon. editor. (orcid)0000-0002-7900-5271&#160;Monsuez, Bruno. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Advances in Web-Based Learning &ndash; ICWL 2018 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399981 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Hancke, Gerhard. editor.&#160;Spaniol, Marc. editor.&#160;Osathanunkul, Kitisak. editor.&#160;Unankard, Sayan. editor.&#160;Klamma, Ralf. editor. (orcid)0000-0002-2296-3401<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-96565-9">https://doi.org/10.1007/978-3-319-96565-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17&ndash;21, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399984 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor. (orcid)0000-0002-0565-1334&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-99639-4">https://doi.org/10.1007/978-3-319-99639-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Collaborative Networks of Cognitive Systems 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399985 2024-12-22T20:08:13Z 2024-12-22T20:08:13Z Yazar&#160;Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961&#160;Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000&#160;Rezgui, Yacine. editor. (orcid)0000-0002-5711-8400&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-99127-6">https://doi.org/10.1007/978-3-319-99127-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>