Search Results for Science -- methods. - Narrowed by: Computer simulation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bmethods.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-04-09T09:52:10Z Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 &ndash; June 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194581 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Swart, Harrie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21070-9">http://dx.doi.org/10.1007/978-3-642-21070-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 I ent://SD_ILS/0/SD_ILS:608160 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z 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-09T09:52:10Z 2026-04-09T09:52:10Z 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-09T09:52:10Z 2026-04-09T09:52:10Z 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/> Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines ent://SD_ILS/0/SD_ILS:605011 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Thiruchelvam, Vinesh. editor.&#160;Alfred, Rayner. editor. (orcid)0000-0002-3080-3264&#160;Ismail, Zamhar Iswandono Bin Awang. editor.&#160;Haviluddin, Haviluddin. editor.&#160;Baharum, Aslina. editor. (orcid)0000-0003-3910-5646<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2977-7">https://doi.org/10.1007/978-981-97-2977-7</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-04-09T09:52:10Z 2026-04-09T09:52:10Z 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/> Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604826 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Saito, Seiki. editor.&#160;Tanaka, Satoshi. editor.&#160;Li, Liang. editor.&#160;Takatori, Satoshi. editor.&#160;Tamura, Yuichi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-7225-4">https://doi.org/10.1007/978-981-97-7225-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Mechanics Selected Contributions to the 15th International Moroccan Congress of Mechanics, May 24-27, 2022, CMM 2022, Casablanca, Morocco ent://SD_ILS/0/SD_ILS:602054 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Aniss, Said. editor. (orcid)0000-0002-8700-974X&#160;Rahmoune, Miloud. editor. (orcid)0000-0002-1156-689X&#160;Mordane, Somia. editor.&#160;Ait Ali, Mohamed Elamine. editor. (orcid)0000-0002-5597-7885&#160;Khatyr, Rabha. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-46973-2">https://doi.org/10.1007/978-3-031-46973-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Systems and Computing ent://SD_ILS/0/SD_ILS:603513 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Cao, Bing-Yuan. editor.&#160;Wang, Shu-Feng. editor.&#160;Nasseri, Hadi. editor.&#160;Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-2891-6">https://doi.org/10.1007/978-981-97-2891-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Group Processes Data-Driven Computational Approaches ent://SD_ILS/0/SD_ILS:614773 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Pilny, Andrew. editor.&#160;Poole, Marshall Scott. 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-48941-4">https://doi.org/10.1007/978-3-319-48941-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulating Crowds in Egress Scenarios ent://SD_ILS/0/SD_ILS:613657 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Cassol, Vin&iacute;cius J. author.&#160;Musse, Soraia R. author.&#160;Jung, Cl&aacute;udio R. author.&#160;Badler, Norman I. 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-65202-3">https://doi.org/10.1007/978-3-319-65202-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:617856 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926&#160;Langerak, Rom. editor.&#160;Rensink, Arend. 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-68270-9">https://doi.org/10.1007/978-3-319-68270-9</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-09T09:52:10Z 2026-04-09T09:52:10Z 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/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:611808 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42085-1">https://doi.org/10.1007/978-3-319-42085-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:611984 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42108-7">https://doi.org/10.1007/978-3-319-42108-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:612085 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42089-9">https://doi.org/10.1007/978-3-319-42089-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V ent://SD_ILS/0/SD_ILS:613726 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42092-9">https://doi.org/10.1007/978-3-319-42092-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III ent://SD_ILS/0/SD_ILS:618138 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Gervasi, Osvaldo. editor.&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor.&#160;Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886&#160;Torre, Carmelo M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-42111-7">https://doi.org/10.1007/978-3-319-42111-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets ent://SD_ILS/0/SD_ILS:613716 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Elsenbroich, Corinna. editor.&#160;Anzola, David. editor.&#160;Gilbert, Nigel. 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-45169-5">https://doi.org/10.1007/978-3-319-45169-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spatial Modeling Principles in Earth Sciences ent://SD_ILS/0/SD_ILS:612498 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Sen, Zekai. 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-41758-5">https://doi.org/10.1007/978-3-319-41758-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach ent://SD_ILS/0/SD_ILS:342108 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Fritzson, Peter A., 1952-<br/>Preferred Shelf Number&#160;ONLINE(342108.1)<br/>Electronic Access&#160;ebrary <a href="http://alltitles.ebrary.com/Doc?id=11005721">An electronic book accessible through the World Wide Web; click to view</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118989166">http://dx.doi.org/10.1002/9781118989166</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Industrial used of formal method formal verification ent://SD_ILS/0/SD_ILS:305391 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Boulanger, Jean-Louis.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of object-oriented modeling and simulation with Modelica 2.1 ent://SD_ILS/0/SD_ILS:249658 2026-04-09T09:52:10Z 2026-04-09T09:52:10Z Author&#160;Fritzson, Peter A., 1952-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>