Search Results for - Narrowed by: Springer E-Book Collection - Computer science. - Symbolic and Algebraic Manipulation. - SpringerLink (Online service)SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Symbolic$002band$002bAlgebraic$002bManipulation.$002509Symbolic$002band$002bAlgebraic$002bManipulation.$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?2024-05-30T22:32:50ZString Analysis for Software Verification and Securityent://SD_ILS/0/SD_ILS:2222092024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Bultan, Tevfik. author.<br/><a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format: Electronic Resources<br/>The Symbolic Computation of Integrability Structures for Partial Differential Equationsent://SD_ILS/0/SD_ILS:2222352024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Krasil'shchik, Joseph. author.<br/><a href="https://doi.org/10.1007/978-3-319-71655-8">https://doi.org/10.1007/978-3-319-71655-8</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2240812024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Kennedy, Juliette. editor.<br/><a href="https://doi.org/10.1007/978-3-662-55386-2">https://doi.org/10.1007/978-3-662-55386-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-30T22:32:50Z2024-05-30T22:32:50ZYazar 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/>Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2216582024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Höfner, Peter. editor.<br/><a href="https://doi.org/10.1007/978-3-319-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format: Electronic Resources<br/>Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238462024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Baltag, Alexandru. editor.<br/><a href="https://doi.org/10.1007/978-3-662-55665-8">https://doi.org/10.1007/978-3-662-55665-8</a><br/>Format: Electronic Resources<br/>WALCOM: Algorithms and Computation 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedingsent://SD_ILS/0/SD_ILS:174532024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Kaykobad, Mohammad. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30139-6">http://dx.doi.org/10.1007/978-3-319-30139-6</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-30T22:32:50Z2024-05-30T22:32:50ZYazar 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/>Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183392024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Gerdt, Vladimir P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45641-6">http://dx.doi.org/10.1007/978-3-319-45641-6</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-30T22:32:50Z2024-05-30T22:32:50ZYazar 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/>Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183142024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Bartocci, Ezio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45177-0">http://dx.doi.org/10.1007/978-3-319-45177-0</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-30T22:32:50Z2024-05-30T22:32:50ZYazar 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/>Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papersent://SD_ILS/0/SD_ILS:225302024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Koç, Çetin Kaya. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-16277-5">http://dx.doi.org/10.1007/978-3-319-16277-5</a><br/>Format: Electronic Resources<br/>Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:231302024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Botana, Francisco. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21362-0">http://dx.doi.org/10.1007/978-3-319-21362-0</a><br/>Format: Electronic Resources<br/>WALCOM: Algorithms and Computation 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedingsent://SD_ILS/0/SD_ILS:224102024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Rahman, M. Sohel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15612-5">http://dx.doi.org/10.1007/978-3-319-15612-5</a><br/>Format: Electronic Resources<br/>Computer Algebra and Polynomials Applications of Algebra and Number Theoryent://SD_ILS/0/SD_ILS:223222024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Gutierrez, Jaime. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15081-9">http://dx.doi.org/10.1007/978-3-319-15081-9</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:232892024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Roux, Olivier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23401-4">http://dx.doi.org/10.1007/978-3-319-23401-4</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:248352024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar de Paiva, Valeria. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-47709-0">http://dx.doi.org/10.1007/978-3-662-47709-0</a><br/>Format: Electronic Resources<br/>Mathematical Modeling of Technological Processes 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedingsent://SD_ILS/0/SD_ILS:234182024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Danaev, Nargozy. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25058-8">http://dx.doi.org/10.1007/978-3-319-25058-8</a><br/>Format: Electronic Resources<br/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:248762024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar van der Hoek, Wiebe. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48561-3">http://dx.doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Electronic Resources<br/>Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:224022024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15579-1">http://dx.doi.org/10.1007/978-3-319-15579-1</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233892024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Kahl, Wolfram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24704-5">http://dx.doi.org/10.1007/978-3-319-24704-5</a><br/>Format: Electronic Resources<br/>Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:233282024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Gerdt, Vladimir P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24021-3">http://dx.doi.org/10.1007/978-3-319-24021-3</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-05-30T22:32:50Z2024-05-30T22:32:50ZYazar 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/>Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215282024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Gerdt, Vladimir P. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10515-4">http://dx.doi.org/10.1007/978-3-319-10515-4</a><br/>Format: Electronic Resources<br/>Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedingsent://SD_ILS/0/SD_ILS:219952024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Mendes, Pedro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-12982-2">http://dx.doi.org/10.1007/978-3-319-12982-2</a><br/>Format: Electronic Resources<br/>Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedingsent://SD_ILS/0/SD_ILS:207962024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Höfner, Peter. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06251-8">http://dx.doi.org/10.1007/978-3-319-06251-8</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-05-30T22:32:50Z2024-05-30T22:32:50ZYazar 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/>Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedingsent://SD_ILS/0/SD_ILS:205682024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Dediu, Adrian-Horia. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04921-2">http://dx.doi.org/10.1007/978-3-319-04921-2</a><br/>Format: Electronic Resources<br/>Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244632024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Morrill, Glyn. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44121-3">http://dx.doi.org/10.1007/978-3-662-44121-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-05-30T22:32:50Z2024-05-30T22:32:50ZYazar 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/>Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244662024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Kohlenbach, Ulrich. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44145-9">http://dx.doi.org/10.1007/978-3-662-44145-9</a><br/>Format: Electronic Resources<br/>Algorithms and Computation 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedingsent://SD_ILS/0/SD_ILS:205152024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Pal, Sudebkumar Prasant. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04657-0">http://dx.doi.org/10.1007/978-3-319-04657-0</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-05-30T22:32:50Z2024-05-30T22:32:50ZYazar 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/>Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papersent://SD_ILS/0/SD_ILS:240092024-05-30T22:32:50Z2024-05-30T22:32:50ZYazar Barkatou, Moulay. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54479-8">http://dx.doi.org/10.1007/978-3-642-54479-8</a><br/>Format: Electronic Resources<br/>