Search Results for - Narrowed by: Springer E-Book Collection - Probability and Statistics in Computer Science. - Software engineering.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Probability$002band$002bStatistics$002bin$002bComputer$002bScience.$002509Probability$002band$002bStatistics$002bin$002bComputer$002bScience.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?2024-05-24T16:56:09ZMulti-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4277432024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623<br/><a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282042024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Parker, David. editor. (orcid)0000-0003-4137-8862<br/><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: Electronic Resources<br/>Mathematical and Computational Oncology First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283422024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Bebis, George. editor.<br/><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: Electronic Resources<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 Birthdayent://SD_ILS/0/SD_ILS:4292552024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Alvim, Mário S. editor.<br/><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: Electronic Resources<br/>From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2215132024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576<br/><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: Electronic Resources<br/>Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2215002024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Dorigo, Marco. editor. (orcid)0000-0002-3971-0507<br/><a href="https://doi.org/10.1007/978-3-030-00533-7">https://doi.org/10.1007/978-3-030-00533-7</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:2218882024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Shacham, Hovav. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96878-0">https://doi.org/10.1007/978-3-319-96878-0</a><br/>Format: Electronic Resources<br/>Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2225912024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Shacham, Hovav. editor.<br/><a href="https://doi.org/10.1007/978-3-319-96884-1">https://doi.org/10.1007/978-3-319-96884-1</a><br/>Format: Electronic Resources<br/>Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2226122024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar McIver, Annabelle. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format: Electronic Resources<br/>Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2220742024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001<br/><a href="https://doi.org/10.1007/978-3-030-00617-4">https://doi.org/10.1007/978-3-030-00617-4</a><br/>Format: Electronic Resources<br/>Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2210512024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Takahashi, Yutaka. editor.<br/><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: Electronic Resources<br/>New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2240852024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Balsamo, Simonetta. editor.<br/><a href="https://doi.org/10.1007/978-3-319-91632-3">https://doi.org/10.1007/978-3-319-91632-3</a><br/>Format: Electronic Resources<br/>Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2220712024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Felsberg, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-64689-3">https://doi.org/10.1007/978-3-319-64689-3</a><br/>Format: Electronic Resources<br/>Towards Integrative Machine Learning and Knowledge Extraction BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:2217682024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Holzinger, Andreas. editor. (orcid)0000-0002-6786-5194<br/><a href="https://doi.org/10.1007/978-3-319-69775-8">https://doi.org/10.1007/978-3-319-69775-8</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2266672024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Reinecke, Philipp. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format: Electronic Resources<br/>Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 – December 2, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2261122024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Shikata, Junji. editor. (orcid)0000-0003-2861-359X<br/><a href="https://doi.org/10.1007/978-3-319-72089-0">https://doi.org/10.1007/978-3-319-72089-0</a><br/>Format: Electronic Resources<br/>Computer Analysis of Images and Patterns 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2245062024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Felsberg, Michael. editor.<br/><a href="https://doi.org/10.1007/978-3-319-64698-5">https://doi.org/10.1007/978-3-319-64698-5</a><br/>Format: Electronic Resources<br/>Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2241242024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Larsen, Kim Guldstrand. editor.<br/><a href="https://doi.org/10.1007/978-3-319-69483-2">https://doi.org/10.1007/978-3-319-69483-2</a><br/>Format: Electronic Resources<br/>Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2246422024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Barbero, Ángela I. editor. (orcid)0000-0002-2042-8288<br/><a href="https://doi.org/10.1007/978-3-319-66278-7">https://doi.org/10.1007/978-3-319-66278-7</a><br/>Format: Electronic Resources<br/>Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253822024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Rothe, Jörg. editor.<br/><a href="https://doi.org/10.1007/978-3-319-67504-6">https://doi.org/10.1007/978-3-319-67504-6</a><br/>Format: Electronic Resources<br/>Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2258052024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Beecks, Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68474-1">https://doi.org/10.1007/978-3-319-68474-1</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183832024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Fiems, Dieter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46433-6">http://dx.doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:183962024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar van Eekelen, Marko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46559-3">http://dx.doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:184182024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Czachórski, Tadeusz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47217-1">http://dx.doi.org/10.1007/978-3-319-47217-1</a><br/>Format: Electronic Resources<br/>Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lecturesent://SD_ILS/0/SD_ILS:179172024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34096-8">http://dx.doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lecturesent://SD_ILS/0/SD_ILS:228752024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Bernardo, Marco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-18941-3">http://dx.doi.org/10.1007/978-3-319-18941-3</a><br/>Format: Electronic Resources<br/>Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216002024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Horváth, András. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10885-8">http://dx.doi.org/10.1007/978-3-319-10885-8</a><br/>Format: Electronic Resources<br/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:239612024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Mendes, Emilia. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54157-5">http://dx.doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lecturesent://SD_ILS/0/SD_ILS:246352024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45489-3">http://dx.doi.org/10.1007/978-3-662-45489-3</a><br/>Format: Electronic Resources<br/>Analytical and Stochastic Modeling Techniques and Applications 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211422024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Sericola, Bruno. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08219-6">http://dx.doi.org/10.1007/978-3-319-08219-6</a><br/>Format: Electronic Resources<br/>CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245222024-05-24T16:56:09Z2024-05-24T16:56:09ZYazar Baldan, Paolo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44584-6">http://dx.doi.org/10.1007/978-3-662-44584-6</a><br/>Format: Electronic Resources<br/>