Search Results for Architecture -- Computer simulation. - Narrowed by: 1:SPRINGERSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArchitecture$002b--$002bComputer$002bsimulation.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ASPRINGER$0025091$00253ASPRINGER$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-22T21:48:10ZDistributed Computer and Communication Networks 26th International Conference, DCCN 2023, Moscow, Russia, September 25-29, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6039502026-03-22T21:48:10Z2026-03-22T21:48:10ZAuthor Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61835-2">https://doi.org/10.1007/978-3-031-61835-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6112172026-03-22T21:48:10Z2026-03-22T21:48:10ZAuthor Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66836-9">https://doi.org/10.1007/978-3-319-66836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:6137022026-03-22T21:48:10Z2026-03-22T21:48:10ZAuthor Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30843-2">https://doi.org/10.1007/978-3-319-30843-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programsent://SD_ILS/0/SD_ILS:6177992026-03-22T21:48:10Z2026-03-22T21:48:10ZAuthor Herdt, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6181652026-03-22T21:48:10Z2026-03-22T21:48:10ZAuthor Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51917-3">https://doi.org/10.1007/978-3-319-51917-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>