Search Results for Computer Engineering and Networks. - Narrowed by: Computer simulation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bEngineering$002band$002bNetworks.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300? 2026-06-18T21:25:50Z Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605299 2026-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Blaas-Schenner, Claudia. editor.&#160;Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016&#160;Haas, Tobias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73370-3">https://doi.org/10.1007/978-3-031-73370-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608842 2026-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Dutle, Aaron. editor. (orcid)0000-0002-8503-5514&#160;Humphrey, Laura. editor. (orcid)0000-0002-3148-9035&#160;Titolo, Laura. editor. (orcid)0000-0001-7820-7640&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings ent://SD_ILS/0/SD_ILS:608106 2026-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138&#160;Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355&#160;Tan, Gary. editor.&#160;Ahmad, Anita. editor. (orcid)0000-0002-8109-2490&#160;Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-4613-5">https://doi.org/10.1007/978-981-96-4613-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Modeling and Simulation Conceptualizations, Methods and Applications ent://SD_ILS/0/SD_ILS:604816 2026-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868&#160;Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-59999-6">https://doi.org/10.1007/978-3-031-59999-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603672 2026-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929&#160;Gopinath, Divya. editor. (orcid)0000-0002-1242-7701&#160;Shi, Nija. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-60698-4">https://doi.org/10.1007/978-3-031-60698-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616323 2026-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-62932-2">https://doi.org/10.1007/978-3-319-62932-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Aceto, Luca. editor.&#160;Bacci, Giorgio. editor.&#160;Bacci, Giovanni. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;Legay, Axel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Anti-fragile ICT Systems ent://SD_ILS/0/SD_ILS:611190 2026-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Hole, Kjell J&oslash;rgen. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30070-2">https://doi.org/10.1007/978-3-319-30070-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616231 2026-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Fiems, Dieter. editor.&#160;Paolieri, Marco. editor.&#160;Platis, Agapios N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617920 2026-06-18T21:25:50Z 2026-06-18T21:25:50Z Author&#160;Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545&#160;Filipe, Joaquim. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56390-9">https://doi.org/10.1007/978-3-319-56390-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>