Arama Sonuçları Science (General). - Daraltılmış: Computer simulation.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dScience$002b$002528General$002529.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ps$003d300?2025-12-25T19:00:10ZThe Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposesent://SD_ILS/0/SD_ILS:4860742025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Geshi, Masaaki. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-6194-4">https://doi.org/10.1007/978-981-13-6194-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4836672025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23597-0">https://doi.org/10.1007/978-3-030-23597-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4852822025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17502-3">https://doi.org/10.1007/978-3-030-17502-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838672025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-29662-9">https://doi.org/10.1007/978-3-030-29662-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4855392025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-13651-2">https://doi.org/10.1007/978-3-030-13651-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4869372025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30923-7">https://doi.org/10.1007/978-3-030-30923-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4838982025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4840452025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4860312025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4001552025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96145-3">https://doi.org/10.1007/978-3-319-96145-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4003432025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-99154-2">https://doi.org/10.1007/978-3-319-99154-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4015642025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94111-0">https://doi.org/10.1007/978-3-319-94111-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:4019582025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74718-7">https://doi.org/10.1007/978-3-319-74718-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995152025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4005632025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-96142-2">https://doi.org/10.1007/978-3-319-96142-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4012362025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Deville, Yannick. editor. (orcid)0000-0002-8769-2446 Gannot, Sharon. editor. (orcid)0000-0002-2885-170X Mason, Russell. editor. (orcid)0000-0002-6030-9603 Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ward, Dominic. editor. (orcid)0000-0002-7819-0145<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93764-9">https://doi.org/10.1007/978-3-319-93764-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:4011052025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-74727-9">https://doi.org/10.1007/978-3-319-74727-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Logistics 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4876522025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar González-Ramírez, Rosa G. editor. Schulte, Frederik. editor. Voß, Stefan. editor. Ceroni Díaz, Jose A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11421-7">https://doi.org/10.1007/978-3-319-11421-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Field-Coupled Nanocomputing Paradigms, Progress, and Perspectivesent://SD_ILS/0/SD_ILS:4890922025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Anderson, Neal G. editor. Bhanja, Sanjukta. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43722-3">https://doi.org/10.1007/978-3-662-43722-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Brain-Inspired Computing International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:4857562025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Grandinetti, Lucio. editor. Lippert, Thomas. editor. Petkov, Nicolai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12084-3">https://doi.org/10.1007/978-3-319-12084-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Biomedical Simulation 6th International Symposium, ISBMS 2014, Strasbourg, France, October 16-17, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4877982025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Bello, Fernando. editor. Cotin, Stéphane. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-12057-7">https://doi.org/10.1007/978-3-319-12057-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cellular Automata 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4857122025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Was, Jaroslaw. editor. Sirakoulis, Georgios. editor. Bandini, Stefania. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-11520-7">https://doi.org/10.1007/978-3-319-11520-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papersent://SD_ILS/0/SD_ILS:4889912025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43779-7">https://doi.org/10.1007/978-3-662-43779-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical Methods for Curves and Surfaces 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890082025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Morken, Knut. editor. Schumaker, Larry L. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54382-1">https://doi.org/10.1007/978-3-642-54382-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Large-Scale Scientific Computing 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:4891812025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-43880-0">https://doi.org/10.1007/978-3-662-43880-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papersent://SD_ILS/0/SD_ILS:4893152025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10214-6">https://doi.org/10.1007/978-3-319-10214-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agent-Based Modelling of Socio-Technical Systemsent://SD_ILS/0/SD_ILS:3358522025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Dam, Koen H. editor. Nikolic, Igor. editor. Lukszo, Zofia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335852.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-94-007-4933-7">http://dx.doi.org/10.1007/978-94-007-4933-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347422025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334742.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39173-6">http://dx.doi.org/10.1007/978-3-642-39173-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350222025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335022.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40867-0">http://dx.doi.org/10.1007/978-3-642-40867-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345082025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.<br/>Yer Numarası ONLINE(334508.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37974-1">http://dx.doi.org/10.1007/978-3-642-37974-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Decision Aid Models for Disaster Management and Emergenciesent://SD_ILS/0/SD_ILS:3364902025-12-25T19:00:10Z2025-12-25T19:00:10ZYazar Vitoriano, Begoña. editor. Montero, Javier. editor. Ruan, Da. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(336490.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.2991/978-94-91216-74-9">http://dx.doi.org/10.2991/978-94-91216-74-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>