Search Results for Computer science. - Narrowed by: English - Computer Systems Organization and Communication Networks. - The Computing Profession.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bscience.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dSUBJECT$002509Konu$002509Computer$002bSystems$002bOrganization$002band$002bCommunication$002bNetworks.$002509Computer$002bSystems$002bOrganization$002band$002bCommunication$002bNetworks.$0026qf$003dSUBJECT$002509Konu$002509The$002bComputing$002bProfession.$002509The$002bComputing$002bProfession.$0026ps$003d300?2024-08-24T07:13:57ZLeveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:2216022024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:2215492024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:2215862024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:2215592024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format: Electronic Resources<br/>Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4277942024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar van Sinderen, Marten. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29157-0">https://doi.org/10.1007/978-3-030-29157-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, Proceedingsent://SD_ILS/0/SD_ILS:4287842024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar 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/>Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:2223922024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar Lohstroh, Marten. editor.<br/><a href="https://doi.org/10.1007/978-3-319-95246-8">https://doi.org/10.1007/978-3-319-95246-8</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2224892024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar Howar, Falk. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format: Electronic Resources<br/>The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generationent://SD_ILS/0/SD_ILS:2233002024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar ASC Community. author.<br/><a href="https://doi.org/10.1007/978-981-10-3731-3">https://doi.org/10.1007/978-981-10-3731-3</a><br/>Format: Electronic Resources<br/>Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2238412024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X<br/><a href="https://doi.org/10.1007/978-3-319-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format: Electronic Resources<br/>Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2227912024-08-24T07:13:57Z2024-08-24T07:13:57ZYazar Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931<br/><a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format: Electronic Resources<br/>