Search Results for - Narrowed by: Computer logic. - Computer organization. - Programming Languages, Compilers, Interpreters.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Computer$002borganization.$002509Computer$002borganization.$0026qf$003dSUBJECT$002509Konu$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026ps$003d300?
2024-06-21T00:50:19Z
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
ent://SD_ILS/0/SD_ILS:428860
2024-06-21T00:50:19Z
2024-06-21T00:50:19Z
Yazar Guttman, Joshua D. editor.<br/><a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Electronic Resources<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:428135
2024-06-21T00:50:19Z
2024-06-21T00:50:19Z
Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555<br/><a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:428755
2024-06-21T00:50:19Z
2024-06-21T00:50:19Z
Yazar Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872<br/><a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format: 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-06-21T00:50:19Z
2024-06-21T00:50:19Z
Yazar 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: Electronic Resources<br/>
SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:23404
2024-06-21T00:50:19Z
2024-06-21T00:50:19Z
Yazar Fischer, Joachim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-24912-4">http://dx.doi.org/10.1007/978-3-319-24912-4</a><br/>Format: 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-06-21T00:50:19Z
2024-06-21T00:50:19Z
Yazar 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: Electronic Resources<br/>