Arama Sonuçları -- TUTUMLARI. - Daraltılmış: Computer simulation.

Modeling and simulation of everyday things

2026-03-15T17:06:27Z

Yazar Roth, Michael W., PhD, author.
Yer Numarası QA76.9 .C65
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003604518 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding power electronics via simulations

2026-03-15T17:06:27Z

Yazar Naidu, S. Raghuram, author.
Yer Numarası QA76.9 .C65
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9788770046787 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-based enterprise : achieving lasting value with MBD and MBE

2026-03-15T17:06:27Z

Yazar Fischer, Bryan R., 1960- author.
Yer Numarası QA76.9 .C65
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003203797 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Twin Adoption and BIM-GIS Implementation

2026-03-15T17:06:27Z

Yazar Sepasgozar, Samad M. E., editor. Shirowzhan, Sara, editor.
Yer Numarası QA76.9 .C65
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003507000 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology

2026-03-15T17:06:27Z

Yazar Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76081-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings

2026-03-15T17:06:27Z

Yazar Mohamed, Zaharuddin. editor. (orcid)0000-0002-2719-4138 Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Tan, Gary. editor. Ahmad, Anita. editor. (orcid)0000-0002-8109-2490 Pei Ling, Leow. editor. (orcid)0000-0001-7930-4717
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4613-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90653-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation

2026-03-15T17:06:27Z

Yazar Rubio, Jose de Jesus. author. (orcid)0000-0002-2005-5979 Zacarias, Alejandro. author. (orcid)0000-0002-6427-4911 Pacheco, Jaime. author. (orcid)0000-0002-2377-1639 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85438-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multivariable Control Engineering Problems and their Solutions with GNU Octave

2026-03-15T17:06:27Z

Yazar Borutzky, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95408-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to mathematical modeling and computer simulations

2026-03-15T17:06:27Z

Yazar Mityushev, Vladimir V., author.
Yer Numarası QA76.9 .C65
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032684284 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Mathematics with MATLAB® and Simulink®

2026-03-15T17:06:27Z

Yazar Asadi, Farzin. author. (orcid)0000-0002-5928-0807 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85244-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Robotics

2026-03-15T17:06:27Z

Yazar Siciliano, Bruno. author. (orcid)0000-0002-1037-0588 Villani, Luigi. author. (orcid)0000-0002-4431-6846 Oriolo, Giuseppe. author. (orcid)0000-0001-6153-9278 De Luca, Alessandro. author. (orcid)0000-0002-0713-5608 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85523-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomechanics of Dental Implants 3-Dimensional Bone Assessment Using CBCT from Laboratory to Clinics

2026-03-15T17:06:27Z

Yazar Genisa, Maya. author. Shuib, Solehuddin. author. (orcid)0000-0003-4012-6188 Rajion, Zainul Ahmad. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-6023-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Mazal, Jan. editor. (orcid)0000-0001-5741-558X Fagiolini, Adriano. editor. (orcid)0000-0001-9943-1975 Vasik, Petr. editor. (orcid)0000-0001-6725-7378 Pacillo, Francesco. editor. Bruzzone, Agostino. editor. (orcid)0000-0002-0155-5310
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71397-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Machine Learning in Hydroclimatology

2026-03-15T17:06:27Z

Yazar Srivastav, Roshan. author. (orcid)0000-0002-8175-8969 Nayak, Purna C. author. (orcid)0000-0002-0711-5295 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64403-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clean Energy Technology and Energy Storage Systems 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part III

2026-03-15T17:06:27Z

Yazar Li, Kang. editor. Liu, Kailong. editor. Hu, Yukun. editor. (orcid)0000-0002-7480-4250 Tan, Mao. editor. Zhang, Long. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0232-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Grid and Cyber Security Technologies 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Du, Dajun. editor. Jia, Xinchun. editor. Zhao, Wanqing. editor. Li, Xue. editor. Sun, Xin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0225-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Control and Intelligent Computing Applications 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part IV

2026-03-15T17:06:27Z

Yazar Peng, Chen. editor. Wang, Yulong. editor. (orcid)0000-0002-6508-0051 Guan, Yanpeng. editor. Sun, Qing. editor. (orcid)0000-0002-9662-2685 Chen, Zhi. editor. (orcid)0000-0002-9307-4871
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0294-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Modelling and Programming

2026-03-15T17:06:27Z

Yazar Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71280-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of the Theory of Mechanical Vibrations

2026-03-15T17:06:27Z

Yazar Gonçalves Salsa Junior, Rubens. author. (orcid)0000-0003-3067-1705 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83995-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Control Systems Benchmarks

2026-03-15T17:06:27Z

Yazar Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76312-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Effective Flow Control and Mitigation of Shock Effects in Aeronautical Applications

2026-03-15T17:06:27Z

Yazar Flaszynski, Pawel. editor. Babinsky, Holger. editor. (orcid)0000-0002-7647-7126 Doerffer, Piotr. editor. (orcid)0000-0002-2464-2054 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86605-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-03-15T17:06:27Z

Yazar Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90391-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023

2026-03-15T17:06:27Z

Yazar Jha, Brajesh Kumar. editor. (orcid)0000-0001-9370-2949 Jha, Navnit. editor. (orcid)0000-0001-7884-8640 Brahma, Jwngsar. editor. Yavuz, Mehmet. editor. (orcid)0000-0002-3966-6518 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-6794-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings

2026-03-15T17:06:27Z

Yazar Brock, Oliver. editor. (orcid)0000-0002-3719-7754 Krichmar, Jeffrey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71533-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

2026-03-15T17:06:27Z

Yazar Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73370-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

2026-03-15T17:06:27Z

Yazar Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93706-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 9th International Conference on Civil Engineering ICOCE 2025, 22-24 March, Singapore

2026-03-15T17:06:27Z

Yazar Strauss, Eric J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-8990-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2882-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Expanding Senses using Neurotechnology Volume 2 ‒ Brain Computer Interfaces and their Applications

2026-03-15T17:06:27Z

Yazar Chaudhary, Ujwal. author. (orcid)0000-0002-7887-1012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78991-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T17:06:27Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82949-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T17:06:27Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82957-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T17:06:27Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83885-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings

2026-03-15T17:06:27Z

Yazar Juan, Angel A. editor. (orcid)0000-0003-1392-1776 Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617 Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297 Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87345-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90643-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-03-15T17:06:27Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90660-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

2026-03-15T17:06:27Z

Yazar Das, Biplab. editor. (orcid)0000-0003-3752-6308 Patgiri, Ripon. editor. (orcid)0000-0002-9899-9152 Bandyopadhyay, Sivaji. editor. (orcid)0000-0003-2607-1774 Balas, Valentina Emilia. editor. Roy, Sukanta. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-6866-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings

2026-03-15T17:06:27Z

Yazar Blasch, Erik. editor. Darema, Frederica. editor. Aved, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52670-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019

2026-03-15T17:06:27Z

Yazar Tobita, Tetsuo. editor. (orcid)0000-0002-1765-2721 Ichii, Koji. editor. Ueda, Kyohei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48821-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Mathematical Concepts for Machine Learning in Science

2026-03-15T17:06:27Z

Yazar Michelucci, Umberto. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56431-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer-Aided and Machine Learning-Driven Drug Design From Theory to Applications

2026-03-15T17:06:27Z

Yazar Maltarollo, Vinícius Gonçalves. editor. (orcid)0000-0001-9675-5907 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76718-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electromagnetic Sources and Electromagnetic Fields

2026-03-15T17:06:27Z

Yazar Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-9449-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems and Computing

2026-03-15T17:06:27Z

Yazar Cao, Bing-Yuan. editor. Wang, Shu-Feng. editor. Nasseri, Hadi. editor. Zhong, Yu-Bin. editor. (orcid)0000-0002-0473-0372 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2891-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

2026-03-15T17:06:27Z

Yazar Ren, Jinchang. editor. Hussain, Amir. editor. (orcid)0000-0002-8080-082X Liao, Iman Yi. editor. Chen, Rongjun. editor. Huang, Kaizhu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-1417-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization of Chemical Processes A Sustainable Perspective

2026-03-15T17:06:27Z

Yazar Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57270-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ADVANCES ON MATHEMATICAL MODELLING AND OPTIMIZATION WITH APPLICATIONS

2026-03-15T17:06:27Z

Yazar Mukherjee, Gunjan, 1976- Basu Mallik, Biswadip. Kar, Rahul. Chaudhary, Aryan.
Yer Numarası QA76.9 .C65
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003387459 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Zentropy : Tools, Modelling, and Applications

2026-03-15T17:06:27Z

Yazar Liu, Zi-Kui, editor.
Yer Numarası QA76.9 .C65
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003514466 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation on Hydration of Tricalcium Silicate in Cement Clinker

2026-03-15T17:06:27Z

Yazar Shen, Dejian. author. Wang, Xin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-4598-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7240-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Mechanics Selected Contributions to the 15th International Moroccan Congress of Mechanics, May 24-27, 2022, CMM 2022, Casablanca, Morocco

2026-03-15T17:06:27Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46973-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structural Decision Diagrams in Digital Test Theory and Applications

2026-03-15T17:06:27Z

Yazar Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44734-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methods and Applications for Modeling and Simulation of Complex Systems 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Hassan, Fazilah. editor. (orcid)0000-0003-2992-7355 Sunar, Noorhazirah. editor. Mohd Basri, Mohd Ariffanan. editor. Mahmud, Mohd Saiful Azimi. editor. Ishak, Mohamad Hafis Izran. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7243-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IT Crisisology Models Object-Based Optimization for Sustainable Development

2026-03-15T17:06:27Z

Yazar Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8649-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57246-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57249-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2026-03-15T17:06:27Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57256-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-03-15T17:06:27Z

Yazar Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-1176-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines

2026-03-15T17:06:27Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2977-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings

2026-03-15T17:06:27Z

Yazar Guisado-Lizar, José-Luis. editor. Riscos-Núñez, Agustín. editor. (orcid)0000-0002-5409-3578 Morón-Fernández, María-José. editor. Wainer, Gabriel. editor. (orcid)0000-0003-3366-9184 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57523-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advancement in Computational Methods for Life Systems Modelling and Simulation 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Fei, Minrui. editor. Wu, Hongjie. editor. Niu, Qun. editor. Li, Xin. editor. Zhang, Jingjing. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0188-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robotics and Autonomous Systems and Engineering Applications of Computational Intelligence 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part V

2026-03-15T17:06:27Z

Yazar Gu, Juping. editor. Hu, Fuyuan. editor. Zhou, Huiyu. editor. (orcid)0000-0003-1634-9840 Fei, Zixiang. editor. Yang, Erfu. editor. (orcid)0000-0003-1813-5950
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0313-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discrete-event simulation : concepts and production in arena

2026-03-15T17:06:27Z

Yazar Jerbi, Abdessalem, author.
Yer Numarası T57.62 .J47 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

2026-03-15T17:06:27Z

Yazar Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60698-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization

2026-03-15T17:06:27Z

Yazar Blum, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60103-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

2026-03-15T17:06:27Z

Yazar Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56862-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Modeling and Simulation Conceptualizations, Methods and Applications

2026-03-15T17:06:27Z

Yazar Fakhimi, Masoud. editor. (orcid)0000-0002-7144-7868 Mustafee, Navonil. editor. (orcid)0000-0002-2204-8924 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59999-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings

2026-03-15T17:06:27Z

Yazar Saito, Seiki. editor. Tanaka, Satoshi. editor. Li, Liang. editor. Takatori, Satoshi. editor. Tamura, Yuichi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-7225-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Engineering of Digital Twins

2026-03-15T17:06:27Z

Yazar Fitzgerald, John. editor. (orcid)0000-0001-7041-1807 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66719-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings

2026-03-15T17:06:27Z

Yazar Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71033-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Generative Modeling

2026-03-15T17:06:27Z

Yazar Tomczak, Jakub M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64087-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods for Biological Models

2026-03-15T17:06:27Z

Yazar Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5001-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concepts, Applications, Experimentation and Analysis of Wireless Sensor Networks

2026-03-15T17:06:27Z

Yazar Fahmy, Hossam Mahmoud Ahmad. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-20709-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application of Gray System Theory in Fishery Science

2026-03-15T17:06:27Z

Yazar Chen, Xinjun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-0635-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Attachment Ventilation Theory

2026-03-15T17:06:27Z

Yazar Li, Angui. author. (orcid)0000-0002-9461-3793 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9259-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Twin Driven Intelligent Systems and Emerging Metaverse

2026-03-15T17:06:27Z

Yazar Karaarslan, Enis. editor. Aydin, Ömer. editor. Cali, Ümit. editor. Challenger, Moharram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-0252-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Acoustics and Vibration IV Proceedings of the Fourth International Conference on Acoustics and Vibration (ICAV2022), December 19-21, 2022, Sousse, Tunisia

2026-03-15T17:06:27Z

Yazar Akrout, Ali. editor. Abdennadher, Moez. editor. Feki, Nabih. editor. Abbes, Mohamed Slim. editor. Chaari, Fakher. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34190-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023

2026-03-15T17:06:27Z

Yazar Peng, Sheng-Lung. editor. Jhanjhi, Noor Zaman. editor. Pal, Souvik. editor. Amsaad, Fathi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-3611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Power-Based Study of Boundary Layer Ingestion for Aircraft Application

2026-03-15T17:06:27Z

Yazar Lv, Peijian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-5497-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exscalate4CoV High-Performance Computing for COVID Drug Discovery

2026-03-15T17:06:27Z

Yazar Coletti, Silvano. editor. Bernardi, Gabriella. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30691-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational and Experimental Simulations in Engineering Proceedings of ICCES 2022

2026-03-15T17:06:27Z

Yazar Dai, Honghua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-02097-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 5th International Conference on Numerical Modelling in Engineering Volume 1: Numerical Modelling in Civil Engineering, NME 2022, 23-24 August, Ghent University, Belgium

2026-03-15T17:06:27Z

Yazar Abdel Wahab, Magd. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-8429-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Mechatronics An Integrated Approach

2026-03-15T17:06:27Z

Yazar Samanta, Biswanath. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-29320-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Product Development by Additive Manufacturing 2021

2026-03-15T17:06:27Z

Yazar Lachmayer, Roland. editor. (orcid)0000-0002-3181-6323 Bode, Behrend. editor. (orcid)0000-0002-3718-9420 Kaierle, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-05918-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Behaviour of Distributed Systems Using mCRL2

2026-03-15T17:06:27Z

Yazar Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-23008-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Product Development by Additive Manufacturing 2022

2026-03-15T17:06:27Z

Yazar Lachmayer, Roland. editor. (orcid)0000-0002-3181-6323 Bode, Behrend. editor. (orcid)0000-0002-3718-9420 Kaierle, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-27261-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)

2026-03-15T17:06:27Z

Yazar Ihlenfeldt, Steffen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34486-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models

2026-03-15T17:06:27Z

Yazar Canbaloğlu, Gülay. editor. Treur, Jan. editor. Wiewiora, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28735-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences

2026-03-15T17:06:27Z

Yazar Wen, Chih-Yung. author. Jiang, Yazhong. author. Shi, Lisong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-0876-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Healthy Longevity

2026-03-15T17:06:27Z

Yazar Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35176-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Third International Conference, MMCITRE 2022

2026-03-15T17:06:27Z

Yazar Sahni, Manoj. editor. Merigó, José M. editor. Hussain, Walayat. editor. León-Castro, Ernesto. editor. Verma, Raj Kumar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9906-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid computational intelligent systems : modeling, simulation and optimization

2026-03-15T17:06:27Z

Yazar Bhattacharyya, Siddhartha, 1975- editor.
Yer Numarası Q342
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003381167 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer models of process dynamics : from Newton to energy fields

2026-03-15T17:06:27Z

Yazar Rubin, Olis, author.
Yer Numarası QC52 .R83 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems engineering neural networks

2026-03-15T17:06:27Z

Yazar Migliaccio, Alessandro, author. Iannone, Giovanni, author.
Yer Numarası QA76.87 .M537 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119902027
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SMART PROXY MODELING artificial intelligence and machine learning in numerical simulation.

2026-03-15T17:06:27Z

Yazar Mohaghegh, Shahab D., author.
Yer Numarası TA342
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003242581 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and simulation for engineers

2026-03-15T17:06:27Z

Yazar Uddin, Ziya, editor.
Yer Numarası TA345
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003222255 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-based system architecture

2026-03-15T17:06:27Z

Yazar Weilkiens, Tim, author. Lamm, Jesko G., 1976- author. Roth, Stephan, 1968- author. Walker, Markus, 1965- author. John Wiley & Sons.
Yer Numarası TA168 .W45 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119746683
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and use of context in action

2026-03-15T17:06:27Z

Yazar Brézillon, Patrick, editor. Turner, Roy M., editor.
Yer Numarası Q180.55 .M4 M63 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163960
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and simulation in Python

2026-03-15T17:06:27Z

Yazar Kinser, Jason M., 1962- author.
Yer Numarası QA76.9 .C65
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/e/9781003226581 Taylor & Francis https://www.taylorfrancis.com/books/9781003226581 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational modeling and simulation examples in bioengineering

2026-03-15T17:06:27Z

Yazar Filipovic, Nenad, 1970- editor.
Yer Numarası R856 .C66 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563983
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Predictive Modelling with R.

2026-03-15T17:06:27Z

Yazar Li, Jin.
Yer Numarası QA76.9 .C65
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003091776 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational modelling and imaging for SARS-CoV-2 and COVID-19

2026-03-15T17:06:27Z

Yazar Prabha, S., editor. Karthikeyan, P., Dr., editor. Kamalanand, K., 1988- editor. Selvaganesan, N., editor.
Yer Numarası RA644 .C67
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003142584 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Surrogates : Gaussian process modeling, design, and optimization for the applied sciences

2026-03-15T17:06:27Z

Yazar Gramacy, Robert B., author.
Yer Numarası QA274.4 .G73 2020
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780367815493 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Short sims : a game changer

2026-03-15T17:06:27Z

Yazar Aldrich, Clark, 1967- author.
Yer Numarası QA76.9 .C65 A42 2020 EB
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003018643 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)

2026-03-15T17:06:27Z

Yazar Chattopadhyay, Surajit. editor. Roy, Tamal. editor. Sengupta, Samarjit. editor. Berger-Vachon, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74808-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes

2026-03-15T17:06:27Z

Yazar Geshi, Masaaki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6194-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Longo, Luca. editor. (orcid)0000-0002-2718-5426 Leva, M. Chiara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14273-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Tan, Gary. editor. Lehmann, Axel. editor. Teo, Yong Meng. editor. Cai, Wentong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1078-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Insights into Advanced Computer Graphics Techniques

2026-03-15T17:06:27Z

Yazar Dobashi, Yoshinori. editor. Kaji, Shizuo. editor. Iwasaki, Kei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2850-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem

2026-03-15T17:06:27Z

Yazar Virdis, Antonio. editor. Kirsche, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12842-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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 III

2026-03-15T17:06:27Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17502-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018

2026-03-15T17:06:27Z

Yazar Bhattacharyya, Siddhartha. editor. Pal, Sankar K. editor. Pan, Indrajit. editor. Das, Abhijit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6783-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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, Proceedings

2026-03-15T17:06:27Z

Yazar Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-16722-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret

2026-03-15T17:06:27Z

Yazar Warnow, Tandy. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-10837-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Modeling of Speech Processing and Speech Learning An Introduction

2026-03-15T17:06:27Z

Yazar Kröger, Bernd J. author. Bekolay, Trevor. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15853-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers

2026-03-15T17:06:27Z

Yazar Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14984-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18744-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties

2026-03-15T17:06:27Z

Yazar Cacuci, Dan Gabriel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-58395-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OPNET IoT Simulation

2026-03-15T17:06:27Z

Yazar Chen, Min. author. Miao, Yiming. author. Humar, Iztok. author. (orcid)0000-0002-4940-3500 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-32-9170-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyber Physical Systems. Model-Based Design 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Chamberlain, Roger. editor. (orcid)0000-0002-7207-6106 Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23703-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

2026-03-15T17:06:27Z

Yazar Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93488-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Manufacturing, Production Management and Process Control Joint proceedings of the AHFE 2018 International Conference on Advanced Production Management and Process Control, the AHFE International Conference on Human Aspects of Advanced Manufacturing, and the AHFE International Conference on Additive Manufacturing, Modeling Systems and 3D Prototyping, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA

2026-03-15T17:06:27Z

Yazar Karwowski, Waldemar. editor. Trzcielinski, Stefan. editor. Mrugalska, Beata. editor. Di Nicolantonio, Massimo. editor. Rossi, Emilio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94196-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V

2026-03-15T17:06:27Z

Yazar Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27541-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives

2026-03-15T17:06:27Z

Yazar Beisbart, Claus. editor. Saam, Nicole J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70766-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV

2026-03-15T17:06:27Z

Yazar Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27538-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering

2026-03-15T17:06:27Z

Yazar Wang, Yu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-6484-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Han, Shuai. editor. Ye, Liang. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22968-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI

2026-03-15T17:06:27Z

Yazar Yu, Haibin. editor. Liu, Jinguo. editor. Liu, Lianqing. editor. Ju, Zhaojie. editor. Liu, Yuwang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27529-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19156-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practice of Optimisation Theory in Geotechnical Engineering

2026-03-15T17:06:27Z

Yazar Yin, Zhen-Yu. author. Jin, Yin-Fu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3408-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29007-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Shokin, Yuri. editor. (orcid)0000-0002-5178-8294 Shaimardanov, Zhassulan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12203-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29662-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-27008-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-25540-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Li, Bo. editor. Yang, Mao. editor. (orcid)0000-0001-6081-1006 Yuan, Hui. editor. (orcid)0000-0001-5212-3393 Yan, Zhongjiang. editor. (orcid)0000-0003-2806-5343 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14657-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science

2026-03-15T17:06:27Z

Yazar Geshi, Masaaki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-9802-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation Exploring Dynamic System Behaviour

2026-03-15T17:06:27Z

Yazar Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-18869-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Gui, Guan. editor. (orcid)0000-0003-3888-2881 Yun, Lin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36405-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Signal and Image Processing ISSIP 2017

2026-03-15T17:06:27Z

Yazar Bhattacharyya, Siddhartha. editor. Mukherjee, Anirban. editor. Bhaumik, Hrishikesh. editor. Das, Swagatam. editor. Yoshida, Kaori. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8863-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pervasive Computing: A Networking Perspective and Future Directions

2026-03-15T17:06:27Z

Yazar Bhargava, Deepshikha. editor. Vyas, Sonali. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3462-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Application of Flexible Electronics Packaging

2026-03-15T17:06:27Z

Yazar Huang, YongAn. author. Yin, Zhouping. author. Wan, Xiaodong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3627-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Fotakis, Dimitris. editor. Markakis, Evangelos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30473-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Predictive Control

2026-03-15T17:06:27Z

Yazar Raković, Saša V. editor. Levine, William S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77489-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Song, Houbing. editor. Jiang, Dingde. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32216-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Bowditch, Lorelle. editor. Sprick, Cyle. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-32-9582-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30923-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering

2026-03-15T17:06:27Z

Yazar Tavares, João Manuel R. S. editor. Fernandes, Paulo Rui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23073-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ray Tracing: A Tool for All

2026-03-15T17:06:27Z

Yazar Peddie, Jon. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17490-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Effective Model-Based Systems Engineering

2026-03-15T17:06:27Z

Yazar Borky, John M. author. Bradley, Thomas H. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95669-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering

2026-03-15T17:06:27Z

Yazar Vukašinović, Nikola. author. Duhovnik, Jože. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02399-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Summer of Simulation 50 Years of Seminal Computer Simulation Research

2026-03-15T17:06:27Z

Yazar Sokolowski, John. editor. Durak, Umut. editor. Mustafee, Navonil. editor. Tolk, Andreas. editor. (orcid)0000-0002-4201-8757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17164-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20652-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Duguleană, Mihai. editor. Carrozzino, Marcello. editor. Gams, Matjaž. editor. Tanea, Iulian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-05819-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transient Effects in Simulations of Hybrid Electric Drivetrains

2026-03-15T17:06:27Z

Yazar Winke, Florian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-22554-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice

2026-03-15T17:06:27Z

Yazar Crawford, Scott B. editor. Baily, Lance W. editor. Monks, Stormy M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15378-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany

2026-03-15T17:06:27Z

Yazar Behrisch, Michael. editor. Weber, Melanie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33616-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Jia, Min. editor. (orcid)0000-0003-3551-8654 Guo, Qing. editor. Meng, Weixiao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19153-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Biagioni, Edoardo S. editor. Zheng, Yao. editor. Cheng, Siyao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23597-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34968-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30446-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation for Industry 4.0 Past, Present, and Future

2026-03-15T17:06:27Z

Yazar Gunal, Murat M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04137-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Zheng, Jun. editor. Li, Cheng. editor. (orcid)0000-0003-3424-2414 Chong, Peter Han Joo. editor. Meng, Weixiao. editor. Yan, Feng. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-37262-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Jin, Jiyu. editor. Li, Peng. editor. Fan, Lei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-21730-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

2026-03-15T17:06:27Z

Yazar Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-32409-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Duan, Zhenhua. editor. Liu, Shaoying. editor. Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13651-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia

2026-03-15T17:06:27Z

Yazar Kryzhanovsky, Boris. editor. Dunin-Barkowski, Witali. editor. Redko, Vladimir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66604-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Furia, Carlo A. editor. Winter, Kirsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98938-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Scientific Computing With Python

2026-03-15T17:06:27Z

Yazar Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94779-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

3D Kinematics

2026-03-15T17:06:27Z

Yazar Haslwanter, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75277-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00244-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71734-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Li, Cheng. editor. Mao, Shiwen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90802-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Manoonpong, Poramate. editor. (orcid)0000-0002-4806-7576 Larsen, Jørgen Christian. editor. (orcid)0000-0002-4741-8290 Xiong, Xiaofeng. editor. Hallam, John. editor. Triesch, Jochen. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97628-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01090-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96271-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Simulations of Space Societies

2026-03-15T17:06:27Z

Yazar Bainbridge, William Sims. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90560-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

2026-03-15T17:06:27Z

Yazar Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72652-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73447-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95582-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00151-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017

2026-03-15T17:06:27Z

Yazar Tavares, João Manuel R.S. editor. Natal Jorge, R.M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68195-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77935-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Simulation of the Aerodynamics of High-Lift Configurations

2026-03-15T17:06:27Z

Yazar López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396 Escobar Gomez, Jaime A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62136-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2026-03-15T17:06:27Z

Yazar Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00787-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Discrete-Event Systems with GPenSIM An Introduction

2026-03-15T17:06:27Z

Yazar Davidrajuh, Reggie. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73102-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Analysis Approach for Complex Global Challenges

2026-03-15T17:06:27Z

Yazar Mensah, Priscilla. editor. Katerere, David. editor. Hachigonta, Sepo. editor. Roodt, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71486-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2026-03-15T17:06:27Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74727-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91587-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17

2026-03-15T17:06:27Z

Yazar Zhu, Quanmin. editor. Na, Jing. editor. Wu, Xing. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7212-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Virtual World Design.

2026-03-15T17:06:27Z

Yazar Cudworth, Ann Latham, author. CRC Press LLC.
Yer Numarası QA76.9 .C65 C83 2017
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429187384 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Comprehensive Healthcare Simulation: Neurosurgery

2026-03-15T17:06:27Z

Yazar Alaraj, Ali. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75583-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Perspectives on Applied Industrial Tools and Techniques

2026-03-15T17:06:27Z

Yazar García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963 Alor-Hernández, Giner. editor. Maldonado-Macías, Aidé Aracely. editor. Sánchez-Ramírez, Cuauhtémoc. editor. (orcid)0000-0002-0344-1966 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56871-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics: Sequences, Structures, Phylogeny

2026-03-15T17:06:27Z

Yazar Shanker, Asheesh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1562-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Li, Liang. editor. Hasegawa, Kyoko. editor. Tanaka, Satoshi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2853-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability Aspect of Cloud Computing Environment

2026-03-15T17:06:27Z

Yazar Kumar, Vikas. author. Vidhyalakshmi, R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-3023-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Honeypot Frameworks and Their Applications: A New Framework

2026-03-15T17:06:27Z

Yazar NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7739-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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 I

2026-03-15T17:06:27Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96145-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Golfarelli, Matteo. editor. Jean, Stéphane. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02852-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72823-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2026-03-15T17:06:27Z

Yazar de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90089-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach

2026-03-15T17:06:27Z

Yazar Fernández de Cañete, J. author. Galindo, C. author. Barbancho, J. author. Luque, A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75717-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzzy Graph Theory with Applications to Human Trafficking

2026-03-15T17:06:27Z

Yazar Mordeson, John N. author. Mathew, Sunil. author. Malik, Davender S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76454-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94111-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2026-03-15T17:06:27Z

Yazar Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74718-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automatic Tuning of Compilers Using Machine Learning

2026-03-15T17:06:27Z

Yazar Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71489-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66628-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Chen, Qianbin. editor. Meng, Weixiao. editor. Zhao, Liqiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66625-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Networks for Cooperative Control of Multiple Robot Arms

2026-03-15T17:06:27Z

Yazar Li, Shuai. author. Zhang, Yinyan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7037-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bone Adaptation In Silico Approach

2026-03-15T17:06:27Z

Yazar Kameo, Yoshitaka. author. Tsubota, Ken-ichi. author. Adachi, Taiji. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-4-431-56514-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480

2026-03-15T17:06:27Z

Yazar Biermann, D. editor. Hollmann, F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57120-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-layer Pavement System under Blast Load

2026-03-15T17:06:27Z

Yazar Wu, Jun. author. Wu, Hao. author. Tan, Hong Wei Andy. author. Chew, Soon Hoe. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5001-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Gu, Xuemai. editor. Liu, Gongliang. editor. Li, Bo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73564-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016

2026-03-15T17:06:27Z

Yazar Singh, Sanjay. editor. Raj, Pushkar. editor. Tambe, Samir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5849-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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 II

2026-03-15T17:06:27Z

Yazar Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96142-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield

2026-03-15T17:06:27Z

Yazar Stepney, Susan. author. Polack, Fiona A.C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01938-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99154-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulations for Design and Manufacturing Select Papers from AIMTDR 2016

2026-03-15T17:06:27Z

Yazar Dixit, Uday S. editor. Kant, Ravi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8518-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78139-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cross-Cultural Decision Making Proceedings of the AHFE 2017 International Conference on Cross-Cultural Decision Making, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-03-15T17:06:27Z

Yazar Hoffman, Mark. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60747-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling and Simulation in Industrial Engineering

2026-03-15T17:06:27Z

Yazar Ram, Mangey. editor. Davim, J. Paulo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60432-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exploring Occupant Behavior in Buildings Methods and Challenges

2026-03-15T17:06:27Z

Yazar Wagner, Andreas. editor. O’Brien, William. editor. Dong, Bing. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61464-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stochastic Finite Element Methods An Introduction

2026-03-15T17:06:27Z

Yazar Papadopoulos, Vissarion. author. Giovanis, Dimitris G. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64528-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050

2026-03-15T17:06:27Z

Yazar Le Mouël, Chantal. editor. Schmitt, Bertrand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-024-1563-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar Deng, Xiaotie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99660-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Lewis, Peter R. editor. Headleand, Christopher J. editor. Battle, Steve. editor. Ritsos, Panagiotis D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90418-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-Time Modelling and Processing for Communication Systems Applications and Practices

2026-03-15T17:06:27Z

Yazar Alam, Muhammad. editor. Dghais, Wael. editor. Chen, Yuanfang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72215-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Dynamic Data Driven Applications Systems

2026-03-15T17:06:27Z

Yazar Blasch, Erik. editor. Ravela, Sai. editor. Aved, Alex. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95504-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Test and Launch Control Technology for Launch Vehicles

2026-03-15T17:06:27Z

Yazar Song, Zhengyu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8712-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74439-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)

2026-03-15T17:06:27Z

Yazar Doroftei, Ioan. editor. Oprisan, Cezar. editor. Pisla, Doina. editor. Lovasz, Erwin Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-79111-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings

2026-03-15T17:06:27Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93764-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nature Inspired Computing Proceedings of CSI 2015

2026-03-15T17:06:27Z

Yazar Panigrahi, Bijaya Ketan. editor. Hoda, M. N. editor. Sharma, Vinod. editor. Goel, Shivendra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6747-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76072-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Social Network Analysis and Mining

2026-03-15T17:06:27Z

Yazar Alhajj, Reda. editor. Rokne, Jon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-7131-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Models of Rhythm and Meter

2026-03-15T17:06:27Z

Yazar Boenn, Georg. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76285-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems

2026-03-15T17:06:27Z

Yazar Diez, Pedro. editor. Neittaanmäki, Pekka. editor. Periaux, Jacques. editor. Tuovinen, Tero. editor. Bräysy, Olli. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54490-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-03-15T17:06:27Z

Yazar Cassenti, Daniel N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60591-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Li, Bo. editor. Shu, Lei. editor. Zeng, Deze. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78130-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probability and Statistics for Computer Science

2026-03-15T17:06:27Z

Yazar Forsyth, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64410-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Sun, Guanglu. editor. Liu, Shuai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73317-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling, Simulation, and Optimization

2026-03-15T17:06:27Z

Yazar Vasant, Pandian. editor. Litvinchev, Igor. editor. Marmolejo-Saucedo, José Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70542-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Control Design and MATLAB Simulation

2026-03-15T17:06:27Z

Yazar Liu, Jinkun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5263-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Finite Element Applications A Practical Guide to the FEM Process

2026-03-15T17:06:27Z

Yazar Okereke, Michael. author. Keates, Simeon. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67125-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An introduction to cyber modeling and simulation

2026-03-15T17:06:27Z

Yazar Couretas, Jerry M., 1966- author.
Yer Numarası QA76.9 .C65
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420842
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational frameworks : systems, models and applications

2026-03-15T17:06:27Z

Yazar Traoré, Mamadou K. (Mamadou Kaba), editor.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781785482564
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics

2026-03-15T17:06:27Z

Yazar Tolk, Andreas, editor. Ören, Tuncer I., editor.
Yer Numarası QA10.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119288091
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II

2026-03-15T17:06:27Z

Yazar Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7302-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Yang, Jinfeng. editor. Hu, Qinghua. editor. Cheng, Ming-Ming. editor. Wang, Liang. editor. (orcid)0000-0001-5224-8647 Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7299-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computer and Communication Networks 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66836-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling

2026-03-15T17:06:27Z

Yazar Sachse, Agnes. author. Nixdorf, Erik. author. Jang, Eunseon. author. Rink, Karsten. author. (orcid)0000-0001-9826-8221 Fischer, Thomas. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52809-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulating Social Complexity A Handbook

2026-03-15T17:06:27Z

Yazar Edmonds, Bruce. editor. Meyer, Ruth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66948-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Computational Social Science Principles and Applications

2026-03-15T17:06:27Z

Yazar Cioffi-Revilla, Claudio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50131-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Modeling and Simulation Seminal Research from 50 Years of Winter Simulation Conferences

2026-03-15T17:06:27Z

Yazar Tolk, Andreas. editor. Fowler, John. editor. Shao, Guodong. editor. Yücesan, Enver. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64182-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Distributed Simulation with HLA

2026-03-15T17:06:27Z

Yazar Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61267-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ad Hoc Networks 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Zhou, Yifeng. editor. Kunz, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51204-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation and Synthesis in Medical Imaging Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Tsaftaris, Sotirios A. editor. Gooya, Ali. editor. Frangi, Alejandro F. editor. Prince, Jerry L. editor. (orcid)0000-0002-6553-0876 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68127-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Testing in Cloud Computing

2026-03-15T17:06:27Z

Yazar Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4481-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-time Monitoring and Operational Control of Drinking-Water Systems

2026-03-15T17:06:27Z

Yazar Puig, Vicenç. editor. Ocampo-Martínez, Carlos. editor. Pérez, Ramon. editor. Cembrano, Gabriela. editor. Quevedo, Joseba. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50751-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling, Design and Simulation of Systems 17th Asia Simulation Conference, AsiaSim 2017, Melaka, Malaysia, August 27 - 29, 2017, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Mohamed Ali, Mohamed Sultan. editor. Wahid, Herman. editor. Mohd Subha, Nurul Adilla. editor. Sahlan, Shafishuhaza. editor. Md. Yunus, Mohd Amri. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6463-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70848-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bankruptcy Prediction through Soft Computing based Deep Learning Technique

2026-03-15T17:06:27Z

Yazar Chaudhuri, Arindam. author. Ghosh, Soumya K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6683-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72044-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

2026-03-15T17:06:27Z

Yazar Yan, Liang. author. Zhang, Lu. author. Peng, Juanjuan. author. Zhang, Lei. author. Jiao, Zongxia. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2309-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Advances Towards Sustainable Environmental Systems

2026-03-15T17:06:27Z

Yazar Furze, James N. editor. Swing, Kelly. editor. Gupta, Anil K. editor. McClatchey, Richard H. editor. Reynolds, Darren M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43901-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Game Theory 10th International Symposium, SAGT 2017, L'Aquila, Italy, September 12-14, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Bilò, Vittorio. editor. Flammini, Michele. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66700-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Serious Games and Edutainment Applications Volume II

2026-03-15T17:06:27Z

Yazar Ma, Minhua. editor. Oikonomou, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51645-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III)

2026-03-15T17:06:27Z

Yazar Park, Seon Ki. editor. Xu, Liang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43415-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies

2026-03-15T17:06:27Z

Yazar Micheloni, Rino. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51735-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

2026-03-15T17:06:27Z

Yazar Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis

2026-03-15T17:06:27Z

Yazar Cao, Zijun. author. Wang, Yu. author. Li, Dianqing. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-52914-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Computational Mass Transfer With Applications to Chemical Engineering

2026-03-15T17:06:27Z

Yazar Yu, Kuo-Tsung. author. Yuan, Xigang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2498-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67035-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets

2026-03-15T17:06:27Z

Yazar De La Mota, Idalia Flores. author. Guasch, Antoni. author. Mujica Mota, Miguel. author. (orcid)0000-0002-0160-6827 Angel Piera, Miquel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53321-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Floater, Michael. editor. Lyche, Tom. editor. Mazure, Marie-Laurence. editor. Mørken, Knut. editor. Schumaker, Larry L. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67885-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Cognition X 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Barkowsky, Thomas. editor. Burte, Heather. editor. Hölscher, Christoph. editor. Schultheis, Holger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68189-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71255-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Dudin, Alexander. editor. (orcid)0000-0003-2881-0227 Nazarov, Anatoly. editor. (orcid)0000-0002-5097-5629 Kirpichnikov, Alexander. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68069-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Microdomains in the Cardiovascular System

2026-03-15T17:06:27Z

Yazar Nikolaev, Viacheslav. editor. Zaccolo, Manuela. editor. (orcid)0000-0002-0934-3662 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54579-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Modeling and Simulation of Systems of Systems

2026-03-15T17:06:27Z

Yazar P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64134-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Nardin, Luis Gustavo. editor. Antunes, Luis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67477-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66302-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Urban Dynamics and Simulation Models

2026-03-15T17:06:27Z

Yazar Pumain, Denise. author. Reuillon, Romain. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46497-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Mental Workload: Models and Applications First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Longo, Luca. editor. Leva, M. Chiara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61061-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering in Health Care 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Huhn, Michaela. editor. Williams, Laurie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63194-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57861-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62932-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Tichavský, Petr. editor. Babaie-Zadeh, Massoud. editor. Michel, Olivier J.J. editor. Thirion-Moreau, Nadège. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53547-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62075-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63501-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Feret, Jérôme. editor. Koeppl, Heinz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67471-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers

2026-03-15T17:06:27Z

Yazar Pergl, Robert. editor. Lock, Russell. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Molhanec, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68185-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Scientific Computing in C++

2026-03-15T17:06:27Z

Yazar Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73132-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers

2026-03-15T17:06:27Z

Yazar Rice, Mason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70395-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2026-03-15T17:06:27Z

Yazar Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55417-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings

2026-03-15T17:06:27Z

Yazar Bajo, Javier. editor. Vale, Zita. editor. Hallenborg, Kasper. editor. Rocha, Ana Paula. editor. Mathieu, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60285-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-03-15T17:06:27Z

Yazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63121-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-03-15T17:06:27Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68270-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analyzing Emotion in Spontaneous Speech

2026-03-15T17:06:27Z

Yazar Chakraborty, Rupayan. author. Pandharipande, Meghna. author. Kopparapu, Sunil Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7674-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III

2026-03-15T17:06:27Z

Yazar Li, Kang. editor. Xue, Yusheng. editor. Cui, Shumei. editor. Niu, Qun. editor. Yang, Zhile. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6364-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1