Search Results for Distributed Systems - Narrowed by: Computer Modelling.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDistributed$002bSystems$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-08T10:35:53Z
Understanding Behaviour of Distributed Systems Using mCRL2
ent://SD_ILS/0/SD_ILS:527315
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
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-04-08T10:35:53Z
2026-04-08T10:35:53Z
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/>
Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611217
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author 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/>
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612253
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616154
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58631-1">https://doi.org/10.1007/978-3-319-58631-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618227
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Xin-lin, Huang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52730-7">https://doi.org/10.1007/978-3-319-52730-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Distributed Simulation with HLA
ent://SD_ILS/0/SD_ILS:611689
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61267-6">https://doi.org/10.1007/978-3-319-61267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612072
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6463-0">https://doi.org/10.1007/978-981-10-6463-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615614
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6502-6">https://doi.org/10.1007/978-981-10-6502-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-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-04-08T10:35:53Z
2026-04-08T10:35:53Z
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/>
Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618165
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author 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/>
Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques
ent://SD_ILS/0/SD_ILS:611395
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44881-7">https://doi.org/10.1007/978-3-319-44881-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612842
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Cook, Matthew. editor. Neary, Turlough. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39300-1">https://doi.org/10.1007/978-3-319-39300-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617931
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author Lorenz, Pascal. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30142-6">https://doi.org/10.1007/978-3-319-30142-6</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 Papers
ent://SD_ILS/0/SD_ILS:613702
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
Author 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/>
Autonomic Road Transport Support Systems
ent://SD_ILS/0/SD_ILS:615542
2026-04-08T10:35:53Z
2026-04-08T10:35:53Z
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/>