Arama Sonuçları Engineering - Daraltılmış: Computer Modelling.

Decision Models in Engineering and Management

2026-03-13T21:10:59Z

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

Engineering Mathematics with MATLAB® and Simulink®

2026-03-13T21:10:59Z

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

The Engineering of Digital Twins

2026-03-13T21:10:59Z

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

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-13T21:10:59Z

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

Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

2026-03-13T21:10:59Z

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

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

2026-03-13T21:10:59Z

Yazar Larsen, Kim Guldstrand. editor. Sokolsky, Oleg. editor. Wang, Ji. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69483-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-03-13T21:10:59Z

Yazar Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29628-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2026-03-13T21:10:59Z

Yazar Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46433-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Simulation A Model Driven Engineering Approach

2026-03-13T21:10:59Z

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

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

2026-03-13T21:10:59Z

Yazar Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47677-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

2026-03-13T21:10:59Z

Yazar Bellatreche, Ladjel. editor. Pastor, Óscar. editor. Almendros Jiménez, Jesús M. editor. Aït-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45547-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High-Performance Computing for Structural Mechanics and Earthquake/Tsunami Engineering

2026-03-13T21:10:59Z

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

Multivariable Control Engineering Problems and their Solutions with GNU Octave

2026-03-13T21:10:59Z

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

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-13T21:10:59Z

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

Intelligent Computing, Networked Control, and Their Engineering Applications 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 II

2026-03-13T21:10:59Z

Yazar Yue, Dong. editor. Peng, Chen. editor. (orcid)0000-0003-3652-2233 Du, Dajun. editor. Zhang, Tengfei. editor. Zheng, Min. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6373-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Computational Mass Transfer With Applications to Chemical Engineering

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

Research Challenges in Modeling and Simulation for Engineering Complex Systems

2026-03-13T21:10:59Z

Yazar Fujimoto, Richard. editor. Bock, Conrad. editor. Chen, Wei. editor. Page, Ernest. editor. Panchal, Jitesh H. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58544-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multicomponent and Multiscale Systems Theory, Methods, and Applications in Engineering

2026-03-13T21:10:59Z

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

Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Finite Element Method and Applications in Engineering Using ANSYS®

2026-03-13T21:10:59Z

Yazar Madenci, Erdogan. author. Guven, Ibrahim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4899-7550-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation Industrial and Research Applications

2026-03-13T21:10:59Z

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

Variable-Structure Approaches Analysis, Simulation, Robust Control and Estimation of Uncertain Dynamic Processes

2026-03-13T21:10:59Z

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

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Paskevich, Andrei. editor. Wies, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72308-2
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-13T21:10:59Z

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

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2026-03-13T21:10:59Z

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

Product-Focused Software Process Improvement 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

2026-03-13T21:10:59Z

Yazar Abrahamsson, Pekka. editor. Jedlitschka, Andreas. editor. Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200 Felderer, Michael. editor. Amasaki, Sousuke. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49094-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings

2026-03-13T21:10:59Z

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

Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2026-03-13T21:10:59Z

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

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2026-03-13T21:10:59Z

Yazar Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-35122-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

2026-03-13T21:10:59Z

Yazar Thomas, Nigel. editor. Forshaw, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61428-1
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-13T21:10:59Z

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

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2026-03-13T21:10:59Z

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

Application of Surrogate-based Global Optimization to Aerodynamic Design

2026-03-13T21:10:59Z

Yazar Iuliano, Emiliano. editor. Pérez, Esther Andrés. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21506-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-13T21:10:59Z

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

Analysis and Simulation of Electrical and Computer Systems

2026-03-13T21:10:59Z

Yazar Gołębiowski, Lesław. editor. Mazur, Damian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11248-0
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-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

Fractional Order Differentiation and Robust Control Design CRONE, H-infinity and Motion Control

2026-03-13T21:10:59Z

Yazar Sabatier, Jocelyn. author. Lanusse, Patrick. author. Melchior, Pierre. author. Oustaloup, Alain. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-017-9807-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems and Computing

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

Quality, Reliability, Security and Robustness in Heterogeneous Networks 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016, Proceedings

2026-03-13T21:10:59Z

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

Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers

2026-03-13T21:10:59Z

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

Serious Games, Interaction, and Simulation 5th International Conference, SGAMES 2015, Novedrate, Italy, September 16-18, 2015, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Vaz de Carvalho, Carlos. editor. Escudeiro, Paula. editor. Coelho, António. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29060-7
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-13T21:10:59Z

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

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-13T21:10:59Z

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

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-13T21:10:59Z

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

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-13T21:10:59Z

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-13T21:10:59Z

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-13T21:10:59Z

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

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-13T21:10:59Z

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

Foundations of Robotics

2026-03-13T21:10:59Z

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

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-13T21:10:59Z

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-13T21:10:59Z

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

Understanding Modelling and Programming

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

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-13T21:10:59Z

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-13T21:10:59Z

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

Control Systems Benchmarks

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

Simulation on Hydration of Tricalcium Silicate in Cement Clinker

2026-03-13T21:10:59Z

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

Modeling, Simulation and Optimization Proceedings of CoMSO 2022

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

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-13T21:10:59Z

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-13T21:10:59Z

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-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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-13T21:10:59Z

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

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-13T21:10:59Z

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

Structural Decision Diagrams in Digital Test Theory and Applications

2026-03-13T21:10:59Z

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-13T21:10:59Z

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-13T21:10:59Z

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

Optimization of Chemical Processes A Sustainable Perspective

2026-03-13T21:10:59Z

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

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-03-13T21:10:59Z

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

Deep Generative Modeling

2026-03-13T21:10:59Z

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

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-13T21:10:59Z

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

Attachment Ventilation Theory

2026-03-13T21:10:59Z

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

Exscalate4CoV High-Performance Computing for COVID Drug Discovery

2026-03-13T21:10:59Z

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

Innovative Product Development by Additive Manufacturing 2021

2026-03-13T21:10:59Z

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

Concepts, Applications, Experimentation and Analysis of Wireless Sensor Networks

2026-03-13T21:10:59Z

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

Innovative Product Development by Additive Manufacturing 2022

2026-03-13T21:10:59Z

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

Digital Twin Driven Intelligent Systems and Emerging Metaverse

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

Simulating Social Complexity A Handbook

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-13T21:10:59Z

Yazar Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89935-0
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-13T21:10:59Z

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

Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis

2026-03-13T21:10:59Z

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

Robust Modelling and Simulation Integration of SIMIO with Coloured Petri Nets

2026-03-13T21:10:59Z

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

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-13T21:10:59Z

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

Guide to Modeling and Simulation of Systems of Systems

2026-03-13T21:10:59Z

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

Subdivision Surface Modeling Technology

2026-03-13T21:10:59Z

Yazar Liao, Wenhe. author. Liu, Hao. author. Li, Tao. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3515-9
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-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

Material Parameter Identification and Inverse Problems in Soft Tissue Biomechanics

2026-03-13T21:10:59Z

Yazar Avril, Stéphane. editor. Evans, Sam. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45071-1
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-13T21:10:59Z

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-13T21:10:59Z

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

Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systems

2026-03-13T21:10:59Z

Yazar Bernardini, Gabriele. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55744-1
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-13T21:10:59Z

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

Simulating Crowds in Egress Scenarios

2026-03-13T21:10:59Z

Yazar Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65202-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Solutions in Today's Transport 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - Ustroń, Poland, April 5-8, 2017, Selected Papers

2026-03-13T21:10:59Z

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

Transactions on Computational Collective Intelligence XXVII

2026-03-13T21:10:59Z

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

Guide to Simulation-Based Disciplines Advancing Our Computational Future

2026-03-13T21:10:59Z

Yazar Mittal, Saurabh. editor. Durak, Umut. editor. Ören, Tuncer. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61264-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

2026-03-13T21:10:59Z

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

Urban Dynamics and Simulation Models

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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-6502-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62569-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers

2026-03-13T21:10:59Z

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

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

2026-03-13T21:10:59Z

Yazar Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51957-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-03-13T21:10:59Z

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

Earthquake Disaster Simulation of Civil Infrastructures From Tall Buildings to Urban Areas

2026-03-13T21:10:59Z

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

Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings

2026-03-13T21:10:59Z

Yazar Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. Chaki, Rituparna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59105-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Seismic Wave Propagation in Non-Homogeneous Elastic Media by Boundary Elements

2026-03-13T21:10:59Z

Yazar Manolis, George D. author. Dineva, Petia S. author. Rangelov, Tsviatko V. author. Wuttke, Frank. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45206-7
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-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61982-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tunnel Fire Testing and Modeling The Morgex North Tunnel Experiment

2026-03-13T21:10:59Z

Yazar Borghetti, Fabio. author. Derudi, Marco. author. Gandini, Paolo. author. Frassoldati, Alessio. author. Tavelli, Silvia. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49517-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Variational Methods in Molecular Modeling

2026-03-13T21:10:59Z

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

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

2026-03-13T21:10:59Z

Yazar Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6687-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Scientific Computing in C++

2026-03-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings

2026-03-13T21:10:59Z

Yazar Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67383-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Distributed Simulation with HLA

2026-03-13T21:10:59Z

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

Combinatorial Testing in Cloud Computing

2026-03-13T21:10:59Z

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-13T21:10:59Z

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

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-13T21:10:59Z

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

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

2026-03-13T21:10:59Z

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

Computational Logistics 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings

2026-03-13T21:10:59Z

Yazar Bektaş, Tolga. editor. Coniglio, Stefano. editor. Martinez-Sykora, Antonio. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68496-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings

2026-03-13T21:10:59Z

Yazar Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54069-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measuring, Modeling and Simulating the Re-adaptation Process of the Human Visual System after Short-Time Glares in Traffic Scenarios

2026-03-13T21:10:59Z

Yazar Meyer, Benjamin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-14704-4
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-13T21:10:59Z

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

Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59294-7
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-13T21:10:59Z

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

Interactive Modeling and Simulation in Business System Design

2026-03-13T21:10:59Z

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

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

2026-03-13T21:10:59Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A. C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42085-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

2026-03-13T21:10:59Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42108-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

2026-03-13T21:10:59Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42089-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Toward Robotic Socially Believable Behaving Systems - Volume II Modeling Social Signals

2026-03-13T21:10:59Z

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

Isochronous Wireless Network for Real-time Communication in Industrial Automation

2026-03-13T21:10:59Z

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

Statistical Analysis of Noise in MRI Modeling, Filtering and Estimation

2026-03-13T21:10:59Z

Yazar Aja-Fernández, Santiago. author. Vegas-Sánchez-Ferrero, Gonzalo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39934-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Challenge of Transport Telematics 16th International Conference on Transport Systems Telematics, TST 2016, Katowice-Ustroń, Poland, March 16-19, 2016, Selected Papers

2026-03-13T21:10:59Z

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

Model Design and Simulation Analysis 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Ohn, Syng Yup. editor. Chi, Sung Do. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2158-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lasso-MPC - Predictive Control with ℓ1-Regularised Least Squares

2026-03-13T21:10:59Z

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

Autonomic Road Transport Support Systems

2026-03-13T21:10:59Z

Yazar McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25808-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Gaudou, Benoit. editor. Sichman, Jaime Simao. editor. (orcid)0000-0001-8924-9643 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31447-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Anti-fragile ICT Systems

2026-03-13T21:10:59Z

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

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2026-03-13T21:10:59Z

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

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2026-03-13T21:10:59Z

Yazar Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45177-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

2026-03-13T21:10:59Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42092-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2026-03-13T21:10:59Z

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

Verifying Calculations - Forty Years On An Overview of Classical Verification Techniques for FEM Simulations

2026-03-13T21:10:59Z

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

Evacuation Modeling Trends

2026-03-13T21:10:59Z

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

Innovative Simulation Systems

2026-03-13T21:10:59Z

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

Scholarpedia of Touch

2026-03-13T21:10:59Z

Yazar Prescott, Tony. editor. Ahissar, Ehud. editor. Izhikevich, Eugene. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.2991/978-94-6239-133-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2026-03-13T21:10:59Z

Yazar Klusch, Matthias. editor. Unland, Rainer. editor. Shehory, Onn. editor. Pokahr, Alexander. editor. Ahrndt, Sebastian. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45889-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2026-03-13T21:10:59Z

Yazar Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42547-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

2026-03-13T21:10:59Z

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

Context-Enhanced Information Fusion Boosting Real-World Performance with Domain Knowledge

2026-03-13T21:10:59Z

Yazar Snidaro, Lauro. editor. García, Jesús. editor. (orcid)0000-0003-1768-2688 Llinas, James. editor. Blasch, Erik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28971-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bionic Optimization in Structural Design Stochastically Based Methods to Improve the Performance of Parts and Assemblies

2026-03-13T21:10:59Z

Yazar Steinbuch, Rolf. editor. Gekeler, Simon. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46596-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks Concepts, Applications, Experimentation and Analysis

2026-03-13T21:10:59Z

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

Real Time Modeling, Simulation and Control of Dynamical Systems

2026-03-13T21:10:59Z

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

Toward Robotic Socially Believable Behaving Systems - Volume I Modeling Emotions

2026-03-13T21:10:59Z

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

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

2026-03-13T21:10:59Z

Yazar Paias, Ana. editor. Ruthmair, Mario. editor. Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44896-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Neuromechanics

2026-03-13T21:10:59Z

Yazar Valero-Cuevas, Francisco J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6747-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Natural Computing Selected Results from the IWNC 8 Symposium

2026-03-13T21:10:59Z

Yazar Suzuki, Yasuhiro. editor. Hagiya, Masami. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-4-431-55429-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Vienna LTE-Advanced Simulators Up and Downlink, Link and System Level Simulation

2026-03-13T21:10:59Z

Yazar Rupp, Markus. author. Schwarz, Stefan. author. Taranetz, Martin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0617-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0356-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Modularity and Composition I

2026-03-13T21:10:59Z

Yazar Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2026-03-13T21:10:59Z

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

Computational Science and Its Applications - ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

2026-03-13T21:10:59Z

Yazar Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42111-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings

2026-03-13T21:10:59Z

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

Managing the Complexity of Critical Infrastructures A Modelling and Simulation Approach

2026-03-13T21:10:59Z

Yazar Setola, Roberto. editor. Rosato, Vittorio. editor. Kyriakides, Elias. editor. Rome, Erich. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51043-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thermo-Hydro-Mechanical-Chemical Processes in Fractured Porous Media: Modelling and Benchmarking Benchmarking Initiatives

2026-03-13T21:10:59Z

Yazar Kolditz, Olaf. editor. (orcid)0000-0002-8098-4905 Görke, Uwe-Jens. editor. Shao, Hua. editor. Wang, Wenqing. editor. Bauer, Sebastian. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29224-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

2026-03-13T21:10:59Z

Yazar Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46397-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part I

2026-03-13T21:10:59Z

Yazar Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2663-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structure-Based Mechanics of Tissues and Organs

2026-03-13T21:10:59Z

Yazar Kassab, Ghassan S. editor. Sacks, Michael S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4899-7630-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2026-03-13T21:10:59Z

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

Tangible Interactive Systems Grasping the Real World with Computers

2026-03-13T21:10:59Z

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

Unsteady Turbulent Flow Modelling and Applications

2026-03-13T21:10:59Z

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

Transactions on Foundations for Mastering Change I

2026-03-13T21:10:59Z

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

Theory, Methodology, Tools and Applications for Modeling and Simulation of Complex Systems 16th Asia Simulation Conference and SCS Autumn Simulation Multi-Conference, AsiaSim/SCS AutumnSim 2016, Beijing, China, October 8-11, 2016, Proceedings, Part III

2026-03-13T21:10:59Z

Yazar Zhang, Lin. editor. (orcid)0000-0003-1989-6102 Song, Xiao. editor. (orcid)0000-0003-4279-426X Wu, Yunjie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2669-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Lorenz, Pascal. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30142-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Systems Biology 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

2026-03-13T21:10:59Z

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

The Science of Golf Putting A Complete Guide for Researchers, Players and Coaches

2026-03-13T21:10:59Z

Yazar Dias, Gonçalo. author. Couceiro, Micael S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-14880-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Heat Transfer Modeling An Inductive Approach

2026-03-13T21:10:59Z

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

Noise and Vibration Mitigation for Rail Transportation Systems Proceedings of the 11th International Workshop on Railway Noise, Uddevalla, Sweden, 9-13 September 2013

2026-03-13T21:10:59Z

Yazar Nielsen, Jens C.O. editor. Anderson, David. editor. Gautier, Pierre-Etienne. editor. Iida, Masanobu. editor. Nelson, James T. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44832-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

INS/CNS/GNSS Integrated Navigation Technology

2026-03-13T21:10:59Z

Yazar Quan, Wei. author. Li, Jianli. author. Gong, Xiaolin. author. Fang, Jiancheng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-45159-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Mobility with Open Data 2nd SUMO Conference 2014 Berlin, Germany, May 15-16, 2014

2026-03-13T21:10:59Z

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

Turbulence

2026-03-13T21:10:59Z

Yazar Bailly, Christophe. author. Comte-Bellot, Geneviève. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-16160-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers

2026-03-13T21:10:59Z

Yazar Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11457-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hierarchical Sliding Mode Control for Under-actuated Cranes Design, Analysis and Simulation

2026-03-13T21:10:59Z

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

Modeling and Control for a Blended Wing Body Aircraft A Case Study

2026-03-13T21:10:59Z

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

Thermal Sensors Principles and Applications for Semiconductor Industries

2026-03-13T21:10:59Z

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

Bond Graph Model-based Fault Diagnosis of Hybrid Systems

2026-03-13T21:10:59Z

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

Recent Advances in Natural Computing Selected Results from the IWNC 7 Symposium

2026-03-13T21:10:59Z

Yazar Suzuki, Yasuhiro. editor. Hagiya, Masami. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-4-431-55105-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Modeling of Disperse Two-Phase Flows

2026-03-13T21:10:59Z

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

Modeling of Magnetoelectric Effects in Composites

2026-03-13T21:10:59Z

Yazar Bichurin, Mirza. author. Petrov, Vladimir. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-017-9156-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1