Search Results for Distributed algorithms. - Narrowed by: Computer simulation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDistributed$002balgorithms.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300?dt=list
2026-03-27T13:53:21Z
Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183135
2026-03-27T13:53:21Z
2026-03-27T13:53:21Z
Author Hobbs, Michael. editor. Goscinski, Andrzej M. editor. Zhou, Wanlei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11564621">http://dx.doi.org/10.1007/11564621</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Behaviour of Distributed Systems Using mCRL2
ent://SD_ILS/0/SD_ILS:527315
2026-03-27T13:53:21Z
2026-03-27T13:53:21Z
Author Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-03-27T13:53:21Z
2026-03-27T13:53:21Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611947
2026-03-27T13:53:21Z
2026-03-27T13:53:21Z
Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic Road Transport Support Systems
ent://SD_ILS/0/SD_ILS:615542
2026-03-27T13:53:21Z
2026-03-27T13:53:21Z
Author McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Large-scale simulation : models, algorithms, and applications
ent://SD_ILS/0/SD_ILS:546453
2026-03-27T13:53:21Z
2026-03-27T13:53:21Z
Author Chen, Dan, 1973, author. Wang, Lizhe, 1974- Chen, Jingying, 1973 -<br/>Preferred Shelf Number QA76.9 .C65 C475 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439868966">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>