Search Results for Computer science. - Narrowed by: Application software. - Logics and Meanings of Programs. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Application$002bsoftware.$002509Application$002bsoftware.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300? 2024-08-22T13:37:19Z Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics ent://SD_ILS/0/SD_ILS:20428 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Majkić, Zoran. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04156-8">http://dx.doi.org/10.1007/978-3-319-04156-8</a><br/>Format:&#160;Electronic Resources<br/> Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21205 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Cariani, Fabrizio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08615-6">http://dx.doi.org/10.1007/978-3-319-08615-6</a><br/>Format:&#160;Electronic Resources<br/> Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21527 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Legay, Axel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10512-3">http://dx.doi.org/10.1007/978-3-319-10512-3</a><br/>Format:&#160;Electronic Resources<br/> Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23252 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Sankaranarayanan, Sriram. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22975-1">http://dx.doi.org/10.1007/978-3-319-22975-1</a><br/>Format:&#160;Electronic Resources<br/> Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18301 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Fr&auml;nzle, Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44878-7">http://dx.doi.org/10.1007/978-3-319-44878-7</a><br/>Format:&#160;Electronic Resources<br/> Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18328 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Skavhaug, Amund. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45477-1">http://dx.doi.org/10.1007/978-3-319-45477-1</a><br/>Format:&#160;Electronic Resources<br/> Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23349 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Koornneef, Floor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24255-2">http://dx.doi.org/10.1007/978-3-319-24255-2</a><br/>Format:&#160;Electronic Resources<br/> Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18329 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Skavhaug, Amund. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45480-1">http://dx.doi.org/10.1007/978-3-319-45480-1</a><br/>Format:&#160;Electronic Resources<br/> Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21525 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Bondavalli, Andrea. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10506-2">http://dx.doi.org/10.1007/978-3-319-10506-2</a><br/>Format:&#160;Electronic Resources<br/> Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23149 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Bassiliades, Nick. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21542-6">http://dx.doi.org/10.1007/978-3-319-21542-6</a><br/>Format:&#160;Electronic Resources<br/> Rules on the Web. From Theory to Applications 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21402 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Bikakis, Antonis. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-09870-8">http://dx.doi.org/10.1007/978-3-319-09870-8</a><br/>Format:&#160;Electronic Resources<br/> Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:427864 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Lutz, Carsten. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22102-7">https://doi.org/10.1007/978-3-030-22102-7</a><br/>Format:&#160;Electronic Resources<br/> Process Mining Data Science in Action ent://SD_ILS/0/SD_ILS:18660 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;van der Aalst, Wil. author.<br/><a href="http://dx.doi.org/10.1007/978-3-662-49851-4">http://dx.doi.org/10.1007/978-3-662-49851-4</a><br/>Format:&#160;Electronic Resources<br/> Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428504 2024-08-22T13:37:19Z 2024-08-22T13:37:19Z Yazar&#160;Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391<br/><a href="https://doi.org/10.1007/978-3-030-29765-7">https://doi.org/10.1007/978-3-030-29765-7</a><br/>Format:&#160;Electronic Resources<br/>