Search Results for Application software. - Narrowed by: Electronic Book - Algorithms. - Mathematical logic.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dApplication$002bsoftware.$0026qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253AE-BOOKS$002509Electronic$002bBook$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ic$003dtrue$0026ps$003d300?2024-09-07T04:01:29ZAdvances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283362024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Guizzardi, Giancarlo. editor.<br/><a href="https://doi.org/10.1007/978-3-030-34146-6">https://doi.org/10.1007/978-3-030-34146-6</a><br/>Format: Electronic Resources<br/>Theoretical Computer Science 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papersent://SD_ILS/0/SD_ILS:4288422024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Sun, Xiaoming. editor.<br/><a href="https://doi.org/10.1007/978-981-15-0105-0">https://doi.org/10.1007/978-981-15-0105-0</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedingsent://SD_ILS/0/SD_ILS:212432024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Holzer, Markus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08846-4">http://dx.doi.org/10.1007/978-3-319-08846-4</a><br/>Format: Electronic Resources<br/>Models of Strategic Reasoning Logics, Games, and Communitiesent://SD_ILS/0/SD_ILS:248742024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar van Benthem, Johan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48540-8">http://dx.doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Electronic Resources<br/>Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231312024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Bieger, Jordi. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21365-1">http://dx.doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Electronic Resources<br/>Artificial General Intelligence 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedingsent://SD_ILS/0/SD_ILS:213132024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Goertzel, Ben. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09274-4">http://dx.doi.org/10.1007/978-3-319-09274-4</a><br/>Format: Electronic Resources<br/>Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4277412024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Khan, Md. Aquil. editor.<br/><a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281902024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar André, Étienne. editor. (orcid)0000-0001-8473-9555<br/><a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Electronic Resources<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:171912024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Probst, Christian W. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-27810-0">http://dx.doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:178572024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Rovatsos, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33509-4">http://dx.doi.org/10.1007/978-3-319-33509-4</a><br/>Format: Electronic Resources<br/>Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedingsent://SD_ILS/0/SD_ILS:233142024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Bartocci, Ezio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-23820-3">http://dx.doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240552024-09-07T04:01:29Z2024-09-07T04:01:29ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54862-8">http://dx.doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>