Search Results for - Narrowed by: Management of Computing and Information Systems. - Mathematical logic.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Management$002bof$002bComputing$002band$002bInformation$002bSystems.$002509Management$002bof$002bComputing$002band$002bInformation$002bSystems.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ps$003d300?
2024-05-11T13:40:06Z
Handbook of Software Engineering
ent://SD_ILS/0/SD_ILS:428269
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Cha, Sungdeok. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00262-6">https://doi.org/10.1007/978-3-030-00262-6</a><br/>Format: Electronic Resources<br/>
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:428843
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033<br/><a href="https://doi.org/10.1007/978-981-15-0310-8">https://doi.org/10.1007/978-981-15-0310-8</a><br/>Format: Electronic Resources<br/>
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:18356
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Crnkovic, Ivica. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45892-2">http://dx.doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:17365
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Cornélio, Márcio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29473-5">http://dx.doi.org/10.1007/978-3-319-29473-5</a><br/>Format: Electronic Resources<br/>
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:17307
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Braga, Christiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-28934-2">http://dx.doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:22914
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Bjørner, Nikolaj. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19249-9">http://dx.doi.org/10.1007/978-3-319-19249-9</a><br/>Format: Electronic Resources<br/>
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:22365
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Lanese, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15317-9">http://dx.doi.org/10.1007/978-3-319-15317-9</a><br/>Format: Electronic Resources<br/>
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:22320
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Braga, Christiano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15075-8">http://dx.doi.org/10.1007/978-3-319-15075-8</a><br/>Format: Electronic Resources<br/>
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:21668
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Combemale, Benoît. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-11245-9">http://dx.doi.org/10.1007/978-3-319-11245-9</a><br/>Format: Electronic Resources<br/>
Introduction to Software Quality
ent://SD_ILS/0/SD_ILS:20773
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar O’Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06106-1">http://dx.doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Electronic Resources<br/>
FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:20820
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Jones, Cliff. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06410-9">http://dx.doi.org/10.1007/978-3-319-06410-9</a><br/>Format: Electronic Resources<br/>
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:21040
2024-05-11T13:40:06Z
2024-05-11T13:40:06Z
Yazar Fiadeiro, José Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07602-7">http://dx.doi.org/10.1007/978-3-319-07602-7</a><br/>Format: Electronic Resources<br/>