Search Results for Computer logic. - Narrowed by: Electronic Resources - Math Applications in Computer Science.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002blogic.$0026qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026qf$003dSUBJECT$002509Konu$002509Math$002bApplications$002bin$002bComputer$002bScience.$002509Math$002bApplications$002bin$002bComputer$002bScience.$0026ps$003d300$0026isd$003dtrue?2024-09-06T20:38:33ZApplied Logic for Computer Scientists Computational Deduction and Formal Proofsent://SD_ILS/0/SD_ILS:2216772024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Ayala-Rincón, Mauricio. author.<br/><a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4278742024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Thachuk, Chris. editor.<br/><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: Electronic Resources<br/>Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290952024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar 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/>Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229822024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Hinze, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19797-5">http://dx.doi.org/10.1007/978-3-319-19797-5</a><br/>Format: Electronic Resources<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:182852024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar O'Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44561-8">http://dx.doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:248542024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Italiano, Giuseppe F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48057-1">http://dx.doi.org/10.1007/978-3-662-48057-1</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part Ient://SD_ILS/0/SD_ILS:245152024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Csuhaj-Varjú, Erzsébet. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44522-8">http://dx.doi.org/10.1007/978-3-662-44522-8</a><br/>Format: Electronic Resources<br/>Directed Algebraic Topology and Concurrencyent://SD_ILS/0/SD_ILS:165252024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Fajstrup, Lisbeth. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15398-8">http://dx.doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part IIent://SD_ILS/0/SD_ILS:245042024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Csuhaj-Varjú, Erzsébet. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44465-8">http://dx.doi.org/10.1007/978-3-662-44465-8</a><br/>Format: Electronic Resources<br/>Nonsymmetric Operads in Combinatoricsent://SD_ILS/0/SD_ILS:2211312024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Giraudo, Samuele. author.<br/><a href="https://doi.org/10.1007/978-3-030-02074-3">https://doi.org/10.1007/978-3-030-02074-3</a><br/>Format: Electronic Resources<br/>Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2218812024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Potapov, Igor. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format: Electronic Resources<br/>Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4279062024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918<br/><a href="https://doi.org/10.1007/978-3-030-28163-2">https://doi.org/10.1007/978-3-030-28163-2</a><br/>Format: Electronic Resources<br/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4285992024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106<br/><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: Electronic Resources<br/>Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:2219672024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918<br/><a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format: Electronic Resources<br/>Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2212312024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037<br/><a href="https://doi.org/10.1007/978-3-030-00202-2">https://doi.org/10.1007/978-3-030-00202-2</a><br/>Format: Electronic Resources<br/>Uncertainty Modeling for Data Mining A Label Semantics Approachent://SD_ILS/0/SD_ILS:238572024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Qin, Zengchang. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-41251-6">http://dx.doi.org/10.1007/978-3-642-41251-6</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2221572024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Fleuriot, Jacques. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99957-9">https://doi.org/10.1007/978-3-319-99957-9</a><br/>Format: Electronic Resources<br/>Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238642024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Brlek, Srečko. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66396-8">https://doi.org/10.1007/978-3-319-66396-8</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2246952024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Baetens, Jan M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92675-9">https://doi.org/10.1007/978-3-319-92675-9</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-09-06T20:38:33Z2024-09-06T20:38:33ZYazar 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/>Discrete Geometry for Computer Imagery 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 – 21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2216512024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Kropatsch, Walter G. editor.<br/><a href="https://doi.org/10.1007/978-3-319-66272-5">https://doi.org/10.1007/978-3-319-66272-5</a><br/>Format: Electronic Resources<br/>Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4286402024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Seki, Hirosato. editor.<br/><a href="https://doi.org/10.1007/978-3-030-14815-7">https://doi.org/10.1007/978-3-030-14815-7</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:230632024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Kerber, Manfred. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20615-8">http://dx.doi.org/10.1007/978-3-319-20615-8</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211762024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Watt, Stephen M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08434-3">http://dx.doi.org/10.1007/978-3-319-08434-3</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221392024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Aranda-Corral, Gonzalo A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13770-4">http://dx.doi.org/10.1007/978-3-319-13770-4</a><br/>Format: Electronic Resources<br/>Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:2250292024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Pelillo, Marcello. editor. (orcid)0000-0001-8992-9243<br/><a href="https://doi.org/10.1007/978-3-319-78199-0">https://doi.org/10.1007/978-3-319-78199-0</a><br/>Format: Electronic Resources<br/>Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244742024-09-06T20:38:33Z2024-09-06T20:38:33ZYazar Hong, Hoon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44199-2">http://dx.doi.org/10.1007/978-3-662-44199-2</a><br/>Format: Electronic Resources<br/>