Arama Sonu&ccedil;lar&#305; Software engineering. - Daralt&#305;lm&#305;&#351;: Computer system failures. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSoftware$002bengineering.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystem$002bfailures.$002509Computer$002bsystem$002bfailures.$0026ps$003d300?dt=list 2024-11-28T20:11:17Z 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> Analytical and Stochastic Modelling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 -- July 2, 2014,Proceedings ent://SD_ILS/0/SD_ILS:486917 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Sericola, Bruno. editor.&#160;Mikl&oacute;s, Telek. editor.&#160;Horv&aacute;th, G&aacute;bor. 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-08219-6">https://doi.org/10.1007/978-3-319-08219-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Services &ndash; SERVICES 2019 15th World Congress, 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:486228 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Xia, Yunni. 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-23381-5">https://doi.org/10.1007/978-3-030-23381-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27&ndash;31, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486311 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. 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-11404-6">https://doi.org/10.1007/978-3-030-11404-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings ent://SD_ILS/0/SD_ILS:482656 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Horv&aacute;th, Andr&aacute;s. editor.&#160;Wolter, Katinka. 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-10885-8">https://doi.org/10.1007/978-3-319-10885-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Performance Characterization and Benchmarking 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486894 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Nambiar, Raghunath. editor.&#160;Poess, Meikel. 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-04936-6">https://doi.org/10.1007/978-3-319-04936-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Energy-Efficient Data Centers Second International Workshop, E&sup2;DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:489547 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Klingert, Sonja. editor.&#160;Hesselbach-Serra, Xavier. editor.&#160;Perez Ortega, Maria. editor.&#160;Giuliani, Giovanni. 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-642-55149-9">https://doi.org/10.1007/978-3-642-55149-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485691 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;DeRose, Luiz. editor.&#160;de Supinski, Bronis R. editor.&#160;Olivier, Stephen L. editor.&#160;Chapman, Barbara M. editor.&#160;M&uuml;ller, Matthias S. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-11454-5">https://doi.org/10.1007/978-3-319-11454-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283&ndash; October 4, 2014. Proceedings ent://SD_ILS/0/SD_ILS:485724 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Dingel, Juergen. editor.&#160;Schulte, Wolfram. editor.&#160;Ramos, Isidro. editor.&#160;Abrahao, Silvia. editor.&#160;Insfran, Emilio. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-11653-2">https://doi.org/10.1007/978-3-319-11653-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489003 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;Pe&ntilde;a, Ricardo. 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-12466-7">https://doi.org/10.1007/978-3-319-12466-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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> Transactions on Pattern Languages of Programming IV ent://SD_ILS/0/SD_ILS:482831 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486937 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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-11-28T20:11:17Z 2024-11-28T20:11:17Z 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/> Requirements Engineering First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488510 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Zowghi, Didar. editor.&#160;Jin, Zhi. 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-43610-3">https://doi.org/10.1007/978-3-662-43610-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:488925 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Lopes, Lu&iacute;s. editor.&#160;&#381;ilinskas, Julius. editor.&#160;Costan, Alexandru. editor.&#160;Cascella, Roberto G. editor.&#160;Kecskemeti, Gabor. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-14313-2">https://doi.org/10.1007/978-3-319-14313-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:482660 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;an Mey, Dieter. editor.&#160;Alexander, Michael. editor.&#160;Paolo, Bientinesi. editor.&#160;Cannataro, Mario. editor.&#160;Clauss, Carsten. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-642-54420-0">https://doi.org/10.1007/978-3-642-54420-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cloud Computing 4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:484391 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Leung, Victor C.M. editor.&#160;Chen, Min. 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-05506-0">https://doi.org/10.1007/978-3-319-05506-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Wireless Sensor Networks 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485453 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Krishnamachari, Bhaskar. editor. (orcid)0000-0002-9994-9931&#160;Murphy, Amy L. editor.&#160;Trigoni, Niki. 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-04651-8">https://doi.org/10.1007/978-3-319-04651-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Euro-Par 2014: Parallel Processing Workshops Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:485778 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;Lopes, Lu&iacute;s. editor.&#160;&#381;ilinskas, Julius. editor.&#160;Costan, Alexandru. editor.&#160;Cascella, Roberto G. editor.&#160;Kecskemeti, Gabor. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-14325-5">https://doi.org/10.1007/978-3-319-14325-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Introduction to Software Quality ent://SD_ILS/0/SD_ILS:487425 2024-11-28T20:11:17Z 2024-11-28T20:11:17Z Yazar&#160;O&rsquo;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-319-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>