Search Results for - Narrowed by: Mathematical logic. - 2016 - Computer science -- Mathematics.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092016$0025092016$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience$002b--$002bMathematics.$002509Computer$002bscience$002b--$002bMathematics.$0026ps$003d300?2024-05-31T06:12:25ZCombinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:173722024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Lipták, Zsuzsanna. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29516-9">http://dx.doi.org/10.1007/978-3-319-29516-9</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-05-31T06:12:25Z2024-05-31T06:12:25ZYazar 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/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:184252024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar 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/>Finitely Supported Mathematics An Introductionent://SD_ILS/0/SD_ILS:181972024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar 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/>Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:176492024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Yung, Moti. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31550-8">http://dx.doi.org/10.1007/978-3-319-31550-8</a><br/>Format: Electronic Resources<br/>Directed Algebraic Topology and Concurrencyent://SD_ILS/0/SD_ILS:165252024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar 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/>Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:172722024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Hajiaghayi, Mohammad Taghi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28678-5">http://dx.doi.org/10.1007/978-3-319-28678-5</a><br/>Format: Electronic Resources<br/>Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179802024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Cook, Matthew. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39300-1">http://dx.doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181282024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Han, Yo-Sub. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40946-7">http://dx.doi.org/10.1007/978-3-319-40946-7</a><br/>Format: Electronic Resources<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:186762024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Skrzypczak, Michał. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52947-8">http://dx.doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedingsent://SD_ILS/0/SD_ILS:186812024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Foret, Annie. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53042-9">http://dx.doi.org/10.1007/978-3-662-53042-9</a><br/>Format: Electronic Resources<br/>Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:186832024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Brlek, Srečko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53132-7">http://dx.doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181022024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Echahed, Rachid. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40530-8">http://dx.doi.org/10.1007/978-3-319-40530-8</a><br/>Format: Electronic Resources<br/>Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedingsent://SD_ILS/0/SD_ILS:181372024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Câmpeanu, Cezar. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41114-9">http://dx.doi.org/10.1007/978-3-319-41114-9</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-05-31T06:12:25Z2024-05-31T06:12:25ZYazar 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/>Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180172024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Blesa, Maria J. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39636-1">http://dx.doi.org/10.1007/978-3-319-39636-1</a><br/>Format: Electronic Resources<br/>Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179232024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Kulikov, Alexander S. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-34171-2">http://dx.doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182162024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Dinh, Thang N. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42634-1">http://dx.doi.org/10.1007/978-3-319-42634-1</a><br/>Format: Electronic Resources<br/>Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182832024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Mäkinen, Veli. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44543-4">http://dx.doi.org/10.1007/978-3-319-44543-4</a><br/>Format: Electronic Resources<br/>Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:174262024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Karydis, Ioannis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29919-8">http://dx.doi.org/10.1007/978-3-319-29919-8</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-05-31T06:12:25Z2024-05-31T06:12:25ZYazar 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/>Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedingsent://SD_ILS/0/SD_ILS:174382024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30000-9">http://dx.doi.org/10.1007/978-3-319-30000-9</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedingsent://SD_ILS/0/SD_ILS:186752024-05-31T06:12:25Z2024-05-31T06:12:25ZYazar Väänänen, Jouko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-52921-8">http://dx.doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>