Search Results for - Narrowed by: Springer E-Book Collection - SpringerLink (Online service) - Mathematics of Computing. - Mathematical logic.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Konu$002509Mathematics$002bof$002bComputing.$002509Mathematics$002bof$002bComputing.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ps$003d300?2024-06-18T04:41:37ZCombinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283262024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X<br/><a href="https://doi.org/10.1007/978-3-030-28796-2">https://doi.org/10.1007/978-3-030-28796-2</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4287102024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001<br/><a href="https://doi.org/10.1007/978-3-030-31304-3">https://doi.org/10.1007/978-3-030-31304-3</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290052024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Schiex, Thomas. editor. (orcid)0000-0001-6049-3415<br/><a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183072024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Rueher, Michel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44953-1">http://dx.doi.org/10.1007/978-3-319-44953-1</a><br/>Format: Electronic Resources<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:184252024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Soare, Robert I. author.<br/><a href="http://dx.doi.org/10.1007/978-3-642-31933-4">http://dx.doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Electronic Resources<br/>Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180652024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Beckmann, Arnold. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40189-8">http://dx.doi.org/10.1007/978-3-319-40189-8</a><br/>Format: Electronic Resources<br/>Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180682024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Olivetti, Nicola. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40229-1">http://dx.doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:181972024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Alexandru, Andrei. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42282-4">http://dx.doi.org/10.1007/978-3-319-42282-4</a><br/>Format: Electronic Resources<br/>Petri Net Synthesisent://SD_ILS/0/SD_ILS:248452024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Badouel, Eric. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47967-4">http://dx.doi.org/10.1007/978-3-662-47967-4</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232762024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Pesant, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23219-5">http://dx.doi.org/10.1007/978-3-319-23219-5</a><br/>Format: Electronic Resources<br/>Introduction to Concurrency Theory Transition Systems and CCSent://SD_ILS/0/SD_ILS:231452024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Gorrieri, Roberto. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21491-7">http://dx.doi.org/10.1007/978-3-319-21491-7</a><br/>Format: Electronic Resources<br/>Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:236112024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Codescu, Mihai. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28114-8">http://dx.doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Electronic Resources<br/>Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedingsent://SD_ILS/0/SD_ILS:230082024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Beckmann, Arnold. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20028-6">http://dx.doi.org/10.1007/978-3-319-20028-6</a><br/>Format: Electronic Resources<br/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:226432024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Jain, Rahul. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17142-5">http://dx.doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Electronic Resources<br/>Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211972024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Demri, Stéphane. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08587-6">http://dx.doi.org/10.1007/978-3-319-08587-6</a><br/>Format: Electronic Resources<br/>Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215112024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar O’Sullivan, Barry. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10428-7">http://dx.doi.org/10.1007/978-3-319-10428-7</a><br/>Format: Electronic Resources<br/>Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205732024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Beierle, Christoph. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04939-7">http://dx.doi.org/10.1007/978-3-319-04939-7</a><br/>Format: Electronic Resources<br/>Regulated Grammars and Automataent://SD_ILS/0/SD_ILS:198582024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Meduna, Alexander. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4939-0369-6">http://dx.doi.org/10.1007/978-1-4939-0369-6</a><br/>Format: Electronic Resources<br/>Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207712024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Gopal, T. V. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06089-7">http://dx.doi.org/10.1007/978-3-319-06089-7</a><br/>Format: Electronic Resources<br/>Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212592024-06-18T04:41:37Z2024-06-18T04:41:37ZYazar Dowek, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08918-8">http://dx.doi.org/10.1007/978-3-319-08918-8</a><br/>Format: Electronic Resources<br/>