Search Results for - Narrowed by: Logic design. - Computer industry.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bindustry.$002509Computer$002bindustry.$0026ps$003d300?2024-06-15T02:38:52ZStatic Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20853492024-06-15T02:38:52Z2024-06-15T02:38:52Zby Podelski, Andreas. editor.<br/><a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:20852942024-06-15T02:38:52Z2024-06-15T02:38:52Zby Piskac, Ruzica. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</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, Proceedingsent://SD_ILS/0/SD_ILS:20854772024-06-15T02:38:52Z2024-06-15T02:38:52Zby 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/>Lectures on Runtime Verification Introductory and Advanced Topicsent://SD_ILS/0/SD_ILS:20856202024-06-15T02:38:52Z2024-06-15T02:38:52Zby Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601<br/><a href="https://doi.org/10.1007/978-3-319-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:20855802024-06-15T02:38:52Z2024-06-15T02:38:52Zby Baier, Christel. editor. (orcid)0000-0002-5321-9343<br/><a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20850742024-06-15T02:38:52Z2024-06-15T02:38:52Zby Colombo, Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lecturesent://SD_ILS/0/SD_ILS:20855312024-06-15T02:38:52Z2024-06-15T02:38:52Zby Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140<br/><a href="https://doi.org/10.1007/978-3-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format: Electronic Resources<br/>Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:20860212024-06-15T02:38:52Z2024-06-15T02:38:52Zby Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831<br/><a href="https://doi.org/10.1007/978-3-319-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format: Electronic Resources<br/>Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20851802024-06-15T02:38:52Z2024-06-15T02:38:52Zby Sun, Jing. editor.<br/><a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format: Electronic Resources<br/>Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20859132024-06-15T02:38:52Z2024-06-15T02:38:52Zby Dubois, Catherine. editor.<br/><a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format: Electronic Resources<br/>