Search Results for Computer simulation. - Narrowed by: Computer industry. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bsimulation.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bindustry.$002509Computer$002bindustry.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-07-28T03:45:01Z Reliability Aspect of Cloud Computing Environment ent://SD_ILS/0/SD_ILS:221281 2024-07-28T03:45:01Z 2024-07-28T03:45:01Z Yazar&#160;Kumar, Vikas. author.<br/><a href="https://doi.org/10.1007/978-981-13-3023-0">https://doi.org/10.1007/978-981-13-3023-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 &mdash; December 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:223594 2024-07-28T03:45:01Z 2024-07-28T03:45:01Z Yazar&#160;Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379<br/><a href="https://doi.org/10.1007/978-3-319-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format:&#160;Electronic Resources<br/> Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:226151 2024-07-28T03:45:01Z 2024-07-28T03:45:01Z Yazar&#160;Paskevich, Andrei. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72308-2">https://doi.org/10.1007/978-3-319-72308-2</a><br/>Format:&#160;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-07-28T03:45:01Z 2024-07-28T03:45:01Z Yazar&#160;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:&#160;Electronic Resources<br/> Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222489 2024-07-28T03:45:01Z 2024-07-28T03:45:01Z Yazar&#160;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:&#160;Electronic Resources<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:222262 2024-07-28T03:45:01Z 2024-07-28T03:45:01Z Yazar&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X<br/><a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format:&#160;Electronic Resources<br/> Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:222392 2024-07-28T03:45:01Z 2024-07-28T03:45:01Z Yazar&#160;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:&#160;Electronic Resources<br/>