Arama Sonuçları Distributed algorithms. - Daraltılmış: Computer simulation.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dDistributed$002balgorithms.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300?dt=list2026-03-27T10:47:59ZDistributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1831352026-03-27T10:47:59Z2026-03-27T10:47:59ZYazar Hobbs, Michael. editor. Goscinski, Andrzej M. editor. Zhou, Wanlei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11564621">http://dx.doi.org/10.1007/11564621</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding Behaviour of Distributed Systems Using mCRL2ent://SD_ILS/0/SD_ILS:5273152026-03-27T10:47:59Z2026-03-27T10:47:59ZYazar Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-23008-0">https://doi.org/10.1007/978-3-031-23008-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-03-27T10:47:59Z2026-03-27T10:47:59ZYazar Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6119472026-03-27T10:47:59Z2026-03-27T10:47:59ZYazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-45378-1">https://doi.org/10.1007/978-3-319-45378-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Autonomic Road Transport Support Systemsent://SD_ILS/0/SD_ILS:6155422026-03-27T10:47:59Z2026-03-27T10:47:59ZYazar McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Large-scale simulation : models, algorithms, and applicationsent://SD_ILS/0/SD_ILS:5464532026-03-27T10:47:59Z2026-03-27T10:47:59ZYazar Chen, Dan, 1973, author. Wang, Lizhe, 1974- Chen, Jingying, 1973 -<br/>Yer Numarası QA76.9 .C65 C475 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439868966">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>