Search Results for Computer hardware. - Narrowed by: Logics and Meanings of Programs.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bhardware.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ic$003dtrue$0026ps$003d300?
2024-06-26T13:59:14Z
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:221942
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053<br/><a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format: Electronic Resources<br/>
Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:427959
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Chamberlain, Roger. editor.<br/><a href="https://doi.org/10.1007/978-3-030-17910-6">https://doi.org/10.1007/978-3-030-17910-6</a><br/>Format: Electronic Resources<br/>
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:226480
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279<br/><a href="https://doi.org/10.1007/978-3-319-74781-1">https://doi.org/10.1007/978-3-319-74781-1</a><br/>Format: Electronic Resources<br/>
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:222254
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Casimiro, António. editor. (orcid)0000-0002-5522-5739<br/><a href="https://doi.org/10.1007/978-3-319-92432-8">https://doi.org/10.1007/978-3-319-92432-8</a><br/>Format: Electronic Resources<br/>
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:23517
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Piterman, Nir. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26287-1">http://dx.doi.org/10.1007/978-3-319-26287-1</a><br/>Format: Electronic Resources<br/>
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:22066
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Yahav, Eran. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13338-6">http://dx.doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Electronic Resources<br/>
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:223967
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Strichman, Ofer. editor.<br/><a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:221422
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Majumdar, Rupak. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:224651
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Majumdar, Rupak. editor.<br/><a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>
Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:21568
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Lang, Frédéric. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10702-8">http://dx.doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Electronic Resources<br/>
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:222327
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481<br/><a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format: Electronic Resources<br/>
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
ent://SD_ILS/0/SD_ILS:221677
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Ayala-Rincón, Mauricio. author.<br/><a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:428784
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003<br/><a href="https://doi.org/10.1007/978-3-030-35092-5">https://doi.org/10.1007/978-3-030-35092-5</a><br/>Format: Electronic Resources<br/>
Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:22911
2024-06-26T13:59:14Z
2024-06-26T13:59:14Z
Yazar Shallit, Jeffrey. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19225-3">http://dx.doi.org/10.1007/978-3-319-19225-3</a><br/>Format: Electronic Resources<br/>