Search Results for - Narrowed by: Computer software. - Logic design. - Simulation and Modeling. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026ps$003d300? 2024-09-24T11:34:55Z Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085270 2024-09-24T11:34:55Z 2024-09-24T11:34:55Z by&#160;Jansen, David N. editor. (orcid)0000-0002-6636-3301<br/><a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format:&#160;Electronic Resources<br/> Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings ent://SD_ILS/0/SD_ILS:2085871 2024-09-24T11:34:55Z 2024-09-24T11:34:55Z by&#160;Gallardo, Mar&iacute;a del Mar. editor.<br/><a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:2085130 2024-09-24T11:34:55Z 2024-09-24T11:34:55Z by&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713<br/><a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:2085123 2024-09-24T11:34:55Z 2024-09-24T11:34:55Z by&#160;Chockler, Hana. editor. (orcid)0000-0003-1219-0713<br/><a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format:&#160;Electronic Resources<br/> Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085978 2024-09-24T11:34:55Z 2024-09-24T11:34:55Z by&#160;Blanchette, Jasmin Christian. editor.<br/><a href="https://doi.org/10.1007/978-3-319-43144-4">https://doi.org/10.1007/978-3-319-43144-4</a><br/>Format:&#160;Electronic Resources<br/> Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2085836 2024-09-24T11:34:55Z 2024-09-24T11:34:55Z by&#160;Festa, Paola. editor.<br/><a href="https://doi.org/10.1007/978-3-319-50349-3">https://doi.org/10.1007/978-3-319-50349-3</a><br/>Format:&#160;Electronic Resources<br/>