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 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: Electronic Resources<br/>
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:223594
2024-07-28T03:45:01Z
2024-07-28T03:45:01Z
Yazar 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: 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 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: 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 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 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 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/>
Computational Science and Its Applications – 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 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: 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 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/>