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?2024-05-11T18:56:56ZQuantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4282042024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4277432024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2215002024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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 Ient://SD_ILS/0/SD_ILS:2225912024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2226122024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2210512024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2220742024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Similarity Search and Applications 10th International Conference, SISAP 2017, Munich, Germany, October 4-6, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2258052024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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 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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25–27, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2253822024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2266672024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Coding Theory and Applications 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2246422024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 – December 2, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2261122024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183832024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:239612024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:216002024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245222024-05-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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-11T18:56:56Z2024-05-11T18:56:56ZYazar 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/>