Search Results for Science -- Computer simulation. - Narrowed by: Computer Modelling. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bComputer$002bsimulation.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300?dt=list 2026-04-15T04:16:43Z Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:608160 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:608161 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III ent://SD_ILS/0/SD_ILS:608165 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124&#160;Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940&#160;Moreno-D&iacute;az, Roberto. 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-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding Modelling and Programming ent://SD_ILS/0/SD_ILS:606763 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Prinz, Andreas. author. (orcid)0000-0002-0646-2877&#160;M&oslash;ller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260&#160;Fischer, Joachim. author. (orcid)0000-0003-2476-3996&#160;Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71280-7">https://doi.org/10.1007/978-3-031-71280-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Structural Decision Diagrams in Digital Test Theory and Applications ent://SD_ILS/0/SD_ILS:602442 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Ubar, Raimund. author.&#160;Raik, Jaan. author.&#160;Jenihhin, Maksim. author.&#160;Jutman, Artur. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-44734-1">https://doi.org/10.1007/978-3-031-44734-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Construct, Merge, Solve &amp; Adapt A Hybrid Metaheuristic for Combinatorial Optimization ent://SD_ILS/0/SD_ILS:603976 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Blum, Christian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-60103-3">https://doi.org/10.1007/978-3-031-60103-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications ent://SD_ILS/0/SD_ILS:617778 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Berry, Stuart. editor.&#160;Lowndes, Val. editor.&#160;Trovati, Marcello. 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-55417-4">https://doi.org/10.1007/978-3-319-55417-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Modeling and Simulation of Systems of Systems ent://SD_ILS/0/SD_ILS:613527 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;P. Zeigler, Bernard. author.&#160;Sarjoughian, Hessam S. 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-64134-8">https://doi.org/10.1007/978-3-319-64134-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615872 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Longo, Luca. editor.&#160;Leva, M. Chiara. 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-61061-0">https://doi.org/10.1007/978-3-319-61061-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617656 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Rice, Mason. editor.&#160;Shenoi, Sujeet. 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-70395-4">https://doi.org/10.1007/978-3-319-70395-4</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-04-15T04:16:43Z 2026-04-15T04:16:43Z 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/> Research Challenges in Modeling and Simulation for Engineering Complex Systems ent://SD_ILS/0/SD_ILS:618204 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Fujimoto, Richard. editor.&#160;Bock, Conrad. editor.&#160;Chen, Wei. editor.&#160;Page, Ernest. editor.&#160;Panchal, Jitesh H. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-58544-4">https://doi.org/10.1007/978-3-319-58544-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612150 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Cavalheiro, Simone. editor.&#160;Fiadeiro, Jos&eacute;. 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-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets ent://SD_ILS/0/SD_ILS:612977 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;De La Mota, Idalia Flores. author.&#160;Guasch, Antoni. author.&#160;Mujica Mota, Miguel. author. (orcid)0000-0002-0160-6827&#160;Angel Piera, Miquel. 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-53321-6">https://doi.org/10.1007/978-3-319-53321-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXVII ent://SD_ILS/0/SD_ILS:613757 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Mercik, Jacek. 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-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios ent://SD_ILS/0/SD_ILS:618470 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Meyer, Benjamin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-14704-4">https://doi.org/10.1007/978-3-658-14704-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Infrastructure Protection X 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617621 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Rice, Mason. editor.&#160;Shenoi, Sujeet. 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-48737-3">https://doi.org/10.1007/978-3-319-48737-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXII ent://SD_ILS/0/SD_ILS:611645 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49619-0">https://doi.org/10.1007/978-3-662-49619-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Behavioural Models From Modelling Finite Automata to Analysing Business Processes ent://SD_ILS/0/SD_ILS:614579 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Kunze, Matthias. author.&#160;Weske, Mathias. 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-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Data ent://SD_ILS/0/SD_ILS:616905 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;Rupino da Cunha, Paulo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-49521-6">https://doi.org/10.1007/978-3-662-49521-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXIV ent://SD_ILS/0/SD_ILS:617810 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948&#160;Kowalczyk, Ryszard. editor.&#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-662-53525-7">https://doi.org/10.1007/978-3-662-53525-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on Computational Collective Intelligence XXIII ent://SD_ILS/0/SD_ILS:617811 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Nguyen, Ngoc Thanh. editor.&#160;Kowalczyk, Ryszard. editor.&#160;Mercik, Jacek. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-52886-0">https://doi.org/10.1007/978-3-662-52886-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613083 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Bartocci, Ezio. editor.&#160;Lio, Pietro. editor. (orcid)0000-0002-0540-5053&#160;Paoletti, Nicola. 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-45177-0">https://doi.org/10.1007/978-3-319-45177-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Computer Science ent://SD_ILS/0/SD_ILS:618498 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Torbert, Shane. 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-30866-1">https://doi.org/10.1007/978-3-319-30866-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616257 2026-04-15T04:16:43Z 2026-04-15T04:16:43Z Author&#160;Cinquemani, Eugenio. editor.&#160;Donz&eacute;, Alexandre. 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-47151-8">https://doi.org/10.1007/978-3-319-47151-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>