Search Results for Computer logic. - Narrowed by: Mathematical logic. - System Performance and Evaluation.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026qf$003dSUBJECT$002509Konu$002509System$002bPerformance$002band$002bEvaluation.$002509System$002bPerformance$002band$002bEvaluation.$0026ps$003d300?2024-08-16T06:49:29ZMathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290952024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150<br/><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: Electronic Resources<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–11, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4286422024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><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: Electronic Resources<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–11, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4289812024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792<br/><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: Electronic Resources<br/>From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthdayent://SD_ILS/0/SD_ILS:4287652024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601<br/><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: Electronic Resources<br/>Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281862024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Fontaine, Pascal. editor.<br/><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: Electronic Resources<br/>Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4276872024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662<br/><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: Electronic Resources<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4281042024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Dillig, Isil. editor.<br/><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: Electronic Resources<br/>Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182332024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43144-4">http://dx.doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4289502024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Biondi, Fabrizio. editor.<br/><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: Electronic Resources<br/>Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283402024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441<br/><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: Electronic Resources<br/>Flexible Query Answering Systems 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4284952024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Cuzzocrea, Alfredo. editor.<br/><a href="https://doi.org/10.1007/978-3-030-27629-4">https://doi.org/10.1007/978-3-030-27629-4</a><br/>Format: Electronic Resources<br/>Introduction to Software Qualityent://SD_ILS/0/SD_ILS:207732024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar O’Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06106-1">http://dx.doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Electronic Resources<br/>Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288432024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Li, Zheng. editor. (orcid)0000-0002-3938-7033<br/><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: Electronic Resources<br/>Fuzzy Logic and Applications 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4291582024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Fullér, Robert. editor.<br/><a href="https://doi.org/10.1007/978-3-030-12544-8">https://doi.org/10.1007/978-3-030-12544-8</a><br/>Format: Electronic Resources<br/>Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4280422024-08-16T06:49:29Z2024-08-16T06:49:29ZYazar Cerrito, Serenella. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format: Electronic Resources<br/>