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.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-04-09T14:29:34Z
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194581
2026-04-09T14:29:34Z
2026-04-09T14:29:34Z
Author Swart, Harrie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Thiruchelvam, Vinesh. editor. Alfred, Rayner. editor. (orcid)0000-0002-3080-3264 Ismail, Zamhar Iswandono Bin Awang. editor. Haviluddin, Haviluddin. editor. Baharum, Aslina. editor. (orcid)0000-0003-3910-5646<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Modeling and Simulation Conceptualizations, Methods and Applications
ent://SD_ILS/0/SD_ILS:604816
2026-04-09T14:29:34Z
2026-04-09T14:29:34Z
Author Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Aniss, Said. editor. (orcid)0000-0002-8700-974X Rahmoune, Miloud. editor. (orcid)0000-0002-1156-689X Mordane, Somia. editor. Ait Ali, Mohamed Elamine. editor. (orcid)0000-0002-5597-7885 Khatyr, Rabha. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems and Computing
ent://SD_ILS/0/SD_ILS:603513
2026-04-09T14:29:34Z
2026-04-09T14:29:34Z
Author Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Group Processes Data-Driven Computational Approaches
ent://SD_ILS/0/SD_ILS:614773
2026-04-09T14:29:34Z
2026-04-09T14:29:34Z
Author Pilny, Andrew. editor. Poole, Marshall Scott. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating Crowds in Egress Scenarios
ent://SD_ILS/0/SD_ILS:613657
2026-04-09T14:29:34Z
2026-04-09T14:29:34Z
Author Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets
ent://SD_ILS/0/SD_ILS:613716
2026-04-09T14:29:34Z
2026-04-09T14:29:34Z
Author Elsenbroich, Corinna. editor. Anzola, David. editor. Gilbert, Nigel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Spatial Modeling Principles in Earth Sciences
ent://SD_ILS/0/SD_ILS:612498
2026-04-09T14:29:34Z
2026-04-09T14:29:34Z
Author Sen, Zekai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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-09T14:29:34Z
2026-04-09T14:29:34Z
Author Fritzson, Peter A., 1952-<br/>Preferred Shelf Number ONLINE(342108.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial used of formal method formal verification
ent://SD_ILS/0/SD_ILS:305391
2026-04-09T14:29:34Z
2026-04-09T14:29:34Z
Author Boulanger, Jean-Louis.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of object-oriented modeling and simulation with Modelica 2.1
ent://SD_ILS/0/SD_ILS:249658
2026-04-09T14:29:34Z
2026-04-09T14:29:34Z
Author Fritzson, Peter A., 1952-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>