Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1488)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(31)
Apduhan, Bernady O. editor.
(23)
Murgante, Beniamino. editor.
(22)
Dil
Yayın Yılı
-
Konu
Computer science.
(789)
Artificial intelligence.
(434)
Software engineering.
(405)
Computer Modelling.
(337)
Computer Communication Networks.
(210)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
1566 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Computer Simulation of Thermal Plant Operations için kapak resmi
Computer Simulation of Thermal Plant Operations
Yazar 
O'Kelly, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331461.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4256-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Systems modeling and computer simulation için kapak resmi
Systems modeling and computer simulation
Yazar 
Kheir, Naim A., 1933- ed.
Yer Numarası 
QA 76.9.C65 S975 1996
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Co-designers cultures of computer simulation in architecture için kapak resmi
Co-designers cultures of computer simulation in architecture
Yazar 
Loukissas, Yanni A. (Yanni Alexander)
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Modeling and simulation : the computer science of illusion için kapak resmi
Modeling and simulation : the computer science of illusion
Yazar 
Raczynski, Stanislaw.
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley Online Library
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives için kapak resmi
Computer Simulation Validation Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Summer of Simulation 50 Years of Seminal Computer Simulation Research için kapak resmi
Summer of Simulation 50 Years of Seminal Computer Simulation Research
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Analysis and Simulation of Electrical and Computer Systems için kapak resmi
Analysis and Simulation of Electrical and Computer Systems
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings için kapak resmi
Computer Applications for Modeling, Simulation, and Automobile International Conferences, MAS and ASNT 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
Yazar 
Kim, Tai-hoon. editor. Ramos, Carlos. editor. Abawajy, Jemal. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35248-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I için kapak resmi
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part I
Yazar 
Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21783-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II için kapak resmi
Advanced Research on Computer Education, Simulation and Modeling International Conference, CESM 2011, Wuhan, China, June 18-19, 2011. Proceedings, Part II
Yazar 
Lin, Song. editor. Huang, Xiong. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21802-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation için kapak resmi
Introduction to Computational Cardiology Mathematical Modeling and Computer Simulation
Yazar 
Kogan, Boris Ja. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-76686-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Modeling and simulation of everyday things için kapak resmi
Modeling and simulation of everyday things
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Model-based enterprise : achieving lasting value with MBD and MBE için kapak resmi
Model-based enterprise : achieving lasting value with MBD and MBE
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Introduction to mathematical modeling and computer simulations için kapak resmi
Introduction to mathematical modeling and computer simulations
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Understanding power electronics via simulations için kapak resmi
Understanding power electronics via simulations
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Digital Twin Adoption and BIM-GIS Implementation için kapak resmi
Digital Twin Adoption and BIM-GIS Implementation
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings için kapak resmi
From Animals to Animats 17 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, Irvine, CA, USA, September 9-12, 2024, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings için kapak resmi
Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Applications of Machine Learning in Hydroclimatology için kapak resmi
Applications of Machine Learning in Hydroclimatology
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Fundamentals of the Theory of Mechanical Vibrations için kapak resmi
Fundamentals of the Theory of Mechanical Vibrations
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings için kapak resmi
Systems Modelling and Simulation First International Symposium, SMS 2024, Johor Bahru, Malaysia, December 16-17, 2024, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings için kapak resmi
Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Control Systems Benchmarks için kapak resmi
Control Systems Benchmarks
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation için kapak resmi
Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Towards Effective Flow Control and Mitigation of Shock Effects in Aeronautical Applications için kapak resmi
Towards Effective Flow Control and Mitigation of Shock Effects in Aeronautical Applications
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Proceedings of the 9th International Conference on Civil Engineering ICOCE 2025, 22-24 March, Singapore için kapak resmi
Proceedings of the 9th International Conference on Civil Engineering ICOCE 2025, 22-24 March, Singapore
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023 için kapak resmi
Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Biomechanics of Dental Implants 3-Dimensional Bone Assessment Using CBCT from Laboratory to Clinics için kapak resmi
Biomechanics of Dental Implants 3-Dimensional Bone Assessment Using CBCT from Laboratory to Clinics
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers için kapak resmi
Modelling and Simulation for Autonomous Systems 10th International Conference, MESAS 2023, Palermo, Italy, October 17-19, 2023, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Understanding Modelling and Programming için kapak resmi
Understanding Modelling and Programming
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology için kapak resmi
Expanding Senses using Neurotechnology Volume 1 ‒ Foundation of Brain-Computer Interface Technology
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I için kapak resmi
Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Expanding Senses using Neurotechnology Volume 2 ‒ Brain Computer Interfaces and their Applications için kapak resmi
Expanding Senses using Neurotechnology Volume 2 ‒ Brain Computer Interfaces and their Applications
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Engineering Mathematics with MATLAB® and Simulink® için kapak resmi
Engineering Mathematics with MATLAB® and Simulink®
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings için kapak resmi
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Applied Antifragility in Natural Systems From Principles to Applications için kapak resmi
Applied Antifragility in Natural Systems From Principles to Applications
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Multivariable Control Engineering Problems and their Solutions with GNU Octave için kapak resmi
Multivariable Control Engineering Problems and their Solutions with GNU Octave
Yazar 
Borutzky, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95408-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Foundations of Robotics için kapak resmi
Foundations of Robotics
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Zentropy : Tools, Modelling, and Applications için kapak resmi
Zentropy : Tools, Modelling, and Applications
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
ADVANCES ON MATHEMATICAL MODELLING AND OPTIMIZATION WITH APPLICATIONS için kapak resmi
ADVANCES ON MATHEMATICAL MODELLING AND OPTIMIZATION WITH APPLICATIONS
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization için kapak resmi
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
Yazar 
Blum, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60103-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines için kapak resmi
Proceedings of the 4th International Conference on Advances in Computational Science and Engineering ICACSE 2023, 16-17 December, Manila, Philippines
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Deep Generative Modeling için kapak resmi
Deep Generative Modeling
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Computer-Aided and Machine Learning-Driven Drug Design From Theory to Applications için kapak resmi
Computer-Aided and Machine Learning-Driven Drug Design From Theory to Applications
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings için kapak resmi
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis için kapak resmi
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Hybrid Modeling and Simulation Conceptualizations, Methods and Applications için kapak resmi
Hybrid Modeling and Simulation Conceptualizations, Methods and Applications
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings için kapak resmi
Methods and Applications for Modeling and Simulation of Complex Systems 23rd Asia Simulation Conference, AsiaSim 2024, Kobe, Japan, September 17-20, 2024, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
The Engineering of Digital Twins için kapak resmi
The Engineering of Digital Twins
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings için kapak resmi
Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings için kapak resmi
Simulation Tools and Techniques 15th EAI International Conference, SIMUtools 2023, Seville, Spain, December 14-15, 2023, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Simulation on Hydration of Tricalcium Silicate in Cement Clinker için kapak resmi
Simulation on Hydration of Tricalcium Silicate in Cement Clinker
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Electromagnetic Sources and Electromagnetic Fields için kapak resmi
Electromagnetic Sources and Electromagnetic Fields
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Structural Decision Diagrams in Digital Test Theory and Applications için kapak resmi
Structural Decision Diagrams in Digital Test Theory and Applications
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Modeling, Simulation and Optimization Proceedings of CoMSO 2022 için kapak resmi
Modeling, Simulation and Optimization Proceedings of CoMSO 2022
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings için kapak resmi
Dynamic Data Driven Applications Systems 4th International Conference, DDDAS 2022, Cambridge, MA, USA, October 6-10, 2022, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019 için kapak resmi
Model Tests and Numerical Simulations of Liquefaction and Lateral Spreading II LEAP-ASIA-2019
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
IT Crisisology Models Object-Based Optimization for Sustainable Development için kapak resmi
IT Crisisology Models Object-Based Optimization for Sustainable Development
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Optimization of Chemical Processes A Sustainable Perspective için kapak resmi
Optimization of Chemical Processes A Sustainable Perspective
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings için kapak resmi
Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Advances in Mechanics Selected Contributions to the 15th International Moroccan Congress of Mechanics, May 24-27, 2022, CMM 2022, Casablanca, Morocco için kapak resmi
Advances in Mechanics Selected Contributions to the 15th International Moroccan Congress of Mechanics, May 24-27, 2022, CMM 2022, Casablanca, Morocco
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Fundamental Mathematical Concepts for Machine Learning in Science için kapak resmi
Fundamental Mathematical Concepts for Machine Learning in Science
Yazar 
Michelucci, Umberto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56431-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation için kapak resmi
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
Intelligent Systems and Computing için kapak resmi
Intelligent Systems and Computing
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Discrete-event simulation : concepts and production in arena için kapak resmi
Discrete-event simulation : concepts and production in arena
Yazar 
Jerbi, Abdessalem, author.
Yer Numarası 
T57.62 .J47 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Introduction to Mechatronics An Integrated Approach için kapak resmi
Introduction to Mechatronics An Integrated Approach
Yazar 
Samanta, Biswanath. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29320-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
Innovative Product Development by Additive Manufacturing 2021 için kapak resmi
Innovative Product Development by Additive Manufacturing 2021
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
Understanding Behaviour of Distributed Systems Using mCRL2 için kapak resmi
Understanding Behaviour of Distributed Systems Using mCRL2
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
85. 
Application of Gray System Theory in Fishery Science için kapak resmi
Application of Gray System Theory in Fishery Science
Yazar 
Chen, Xinjun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-0635-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences için kapak resmi
Space-Time Conservation Element and Solution Element Method Advances and Applications in Engineering Sciences
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Artificial Intelligence for Healthy Longevity için kapak resmi
Artificial Intelligence for Healthy Longevity
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Third International Conference, MMCITRE 2022 için kapak resmi
Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy Proceedings of the Third International Conference, MMCITRE 2022
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023 için kapak resmi
Proceedings of 3rd International Conference on Mathematical Modeling and Computational Science ICMMCS 2023
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
SMART PROXY MODELING artificial intelligence and machine learning in numerical simulation. için kapak resmi
SMART PROXY MODELING artificial intelligence and machine learning in numerical simulation.
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Hybrid computational intelligent systems : modeling, simulation and optimization için kapak resmi
Hybrid computational intelligent systems : modeling, simulation and optimization
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023) için kapak resmi
3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)
Yazar 
Ihlenfeldt, Steffen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34486-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Power-Based Study of Boundary Layer Ingestion for Aircraft Application için kapak resmi
Power-Based Study of Boundary Layer Ingestion for Aircraft Application
Yazar 
Lv, Peijian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-5497-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Exscalate4CoV High-Performance Computing for COVID Drug Discovery için kapak resmi
Exscalate4CoV High-Performance Computing for COVID Drug Discovery
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
Computational and Experimental Simulations in Engineering Proceedings of ICCES 2022 için kapak resmi
Computational and Experimental Simulations in Engineering Proceedings of ICCES 2022
Yazar 
Dai, Honghua. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-02097-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Attachment Ventilation Theory için kapak resmi
Attachment Ventilation Theory
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
97. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Innovative Product Development by Additive Manufacturing 2022 için kapak resmi
Innovative Product Development by Additive Manufacturing 2022
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Digital Twin Driven Intelligent Systems and Emerging Metaverse için kapak resmi
Digital Twin Driven Intelligent Systems and Emerging Metaverse
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models için kapak resmi
Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Advances in Acoustics and Vibration IV Proceedings of the Fourth International Conference on Acoustics and Vibration (ICAV2022), December 19-21, 2022, Sousse, Tunisia için kapak resmi
Advances in Acoustics and Vibration IV Proceedings of the Fourth International Conference on Acoustics and Vibration (ICAV2022), December 19-21, 2022, Sousse, Tunisia
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Concepts, Applications, Experimentation and Analysis of Wireless Sensor Networks için kapak resmi
Concepts, Applications, Experimentation and Analysis of Wireless Sensor Networks
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
Computational Methods for Biological Models için kapak resmi
Computational Methods for Biological Models
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Computer models of process dynamics : from Newton to energy fields için kapak resmi
Computer models of process dynamics : from Newton to energy fields
Yazar 
Rubin, Olis, author.
Yer Numarası 
QC52 .R83 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119885689
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Systems engineering neural networks için kapak resmi
Systems engineering neural networks
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Computational modelling and imaging for SARS-CoV-2 and COVID-19 için kapak resmi
Computational modelling and imaging for SARS-CoV-2 and COVID-19
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Spatial Predictive Modelling with R. için kapak resmi
Spatial Predictive Modelling with R.
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Modeling and simulation in Python için kapak resmi
Modeling and simulation in Python
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
109. 
Computing and simulation for engineers için kapak resmi
Computing and simulation for engineers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Modeling and use of context in action için kapak resmi
Modeling and use of context in action
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Computational modeling and simulation examples in bioengineering için kapak resmi
Computational modeling and simulation examples in bioengineering
Yazar 
Filipovic, Nenad, 1970- editor.
Yer Numarası 
R856 .C66 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119563983
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
112. 
Model-based system architecture için kapak resmi
Model-based system architecture
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
113. 
Surrogates : Gaussian process modeling, design, and optimization for the applied sciences için kapak resmi
Surrogates : Gaussian process modeling, design, and optimization for the applied sciences
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
Short sims : a game changer için kapak resmi
Short sims : a game changer
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
Ray Tracing: A Tool for All için kapak resmi
Ray Tracing: A Tool for All
Yazar 
Peddie, Jon. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17490-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Effective Model-Based Systems Engineering için kapak resmi
Effective Model-Based Systems Engineering
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem için kapak resmi
Recent Advances in Network Simulation The OMNeT++ Environment and its Ecosystem
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering için kapak resmi
Experimental and Numerical Study of Glass Façade Breakage Behavior under Fire Conditions Fire Safety Engineering
Yazar 
Wang, Yu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-6484-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering için kapak resmi
Advanced CAD Modeling Explicit, Parametric, Free-Form CAD and Re-engineering
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I için kapak resmi
Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
121. 
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I için kapak resmi
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II için kapak resmi
Wireless and Satellite Systems 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part II
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings için kapak resmi
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
Practice of Optimisation Theory in Geotechnical Engineering için kapak resmi
Practice of Optimisation Theory in Geotechnical Engineering
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings için kapak resmi
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Modelling and Simulation Exploring Dynamic System Behaviour için kapak resmi
Modelling and Simulation Exploring Dynamic System Behaviour
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II için kapak resmi
Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Recent Trends in Signal and Image Processing ISSIP 2017 için kapak resmi
Recent Trends in Signal and Image Processing ISSIP 2017
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings için kapak resmi
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings için kapak resmi
Algorithmic Game Theory 12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV için kapak resmi
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings için kapak resmi
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
133. 
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V için kapak resmi
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
134. 
Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice için kapak resmi
Comprehensive Healthcare Simulation: Operations, Technology, and Innovative Practice
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
135. 
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering için kapak resmi
New Developments on Computational Methods and Imaging in Biomechanics and Biomedical Engineering
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
136. 
Transient Effects in Simulations of Hybrid Electric Drivetrains için kapak resmi
Transient Effects in Simulations of Hybrid Electric Drivetrains
Yazar 
Winke, Florian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-22554-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
137. 
Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany için kapak resmi
Simulating Urban Traffic Scenarios 3rd SUMO Conference 2015 Berlin, Germany
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
138. 
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI için kapak resmi
Intelligent Robotics and Applications 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
139. 
Pervasive Computing: A Networking Perspective and Future Directions için kapak resmi
Pervasive Computing: A Networking Perspective and Future Directions
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
140. 
Modeling and Application of Flexible Electronics Packaging için kapak resmi
Modeling and Application of Flexible Electronics Packaging
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
141. 
Handbook of Model Predictive Control için kapak resmi
Handbook of Model Predictive Control
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
142. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
143. 
Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018 için kapak resmi
Recent Trends in Signal and Image Processing Proceedings of ISSIP 2018
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
144. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
145. 
Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret için kapak resmi
Bioinformatics and Phylogenetics Seminal Contributions of Bernard Moret
Yazar 
Warnow, Tandy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-10837-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes için kapak resmi
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
Yazar 
Geshi, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-6194-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Neural Modeling of Speech Processing and Speech Learning An Introduction için kapak resmi
Neural Modeling of Speech Processing and Speech Learning An Introduction
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
149. 
Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings için kapak resmi
Wireless Algorithms, Systems, and Applications 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers için kapak resmi
Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings için kapak resmi
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Simulation for Industry 4.0 Past, Present, and Future için kapak resmi
Simulation for Industry 4.0 Past, Present, and Future
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings için kapak resmi
Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings için kapak resmi
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
156. 
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I için kapak resmi
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
157. 
IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings için kapak resmi
IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
158. 
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science için kapak resmi
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
Yazar 
Geshi, Masaaki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-9802-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
159. 
Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings için kapak resmi
Green Energy and Networking 6th EAI International Conference, GreeNets 2019, Dalian, China, May 4, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
160. 
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings için kapak resmi
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
161. 
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers için kapak resmi
VR Technologies in Cultural Heritage First International Conference, VRTCH 2018, Brasov, Romania, May 29–30, 2018, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
162. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
163. 
Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings için kapak resmi
Simulation Tools and Techniques 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
164. 
Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings için kapak resmi
Intersections in Simulation and Gaming: Disruption and Balance Third Australasian Simulation Congress, ASC 2019, Gold Coast, Australia, September 2–5, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
165. 
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
166. 
Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17) için kapak resmi
Modelling and Simulation in Science, Technology and Engineering Mathematics Proceedings of the International Conference on Modelling and Simulation (MS-17)
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
167. 
Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers için kapak resmi
Modelling and Simulation for Autonomous Systems 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
168. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
169. 
Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers için kapak resmi
Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
170. 
BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties için kapak resmi
BERRU Predictive Modeling Best Estimate Results with Reduced Uncertainties
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
OPNET IoT Simulation için kapak resmi
OPNET IoT Simulation
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings için kapak resmi
Methods and Applications for Modeling and Simulation of Complex Systems 19th Asia Simulation Conference, AsiaSim 2019, Singapore, October 30 – November 1, 2019, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
173. 
New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM için kapak resmi
New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
174. 
Mathematical Insights into Advanced Computer Graphics Techniques için kapak resmi
Mathematical Insights into Advanced Computer Graphics Techniques
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
175. 
An introduction to cyber modeling and simulation için kapak resmi
An introduction to cyber modeling and simulation
Yazar 
Couretas, Jerry M., 1966- author.
Yer Numarası 
QA76.9 .C65
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420842
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
176. 
Virtual World Design. için kapak resmi
Virtual World Design.
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
Comprehensive Healthcare Simulation: Neurosurgery için kapak resmi
Comprehensive Healthcare Simulation: Neurosurgery
Yazar 
Alaraj, Ali. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-75583-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
178. 
Bioinformatics: Sequences, Structures, Phylogeny için kapak resmi
Bioinformatics: Sequences, Structures, Phylogeny
Yazar 
Shanker, Asheesh. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-1562-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
179. 
Honeypot Frameworks and Their Applications: A New Framework için kapak resmi
Honeypot Frameworks and Their Applications: A New Framework
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
180. 
Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050 için kapak resmi
Food Dependency in the Middle East and North Africa Region Retrospective Analysis and Projections to 2050
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
181. 
Computer Simulations of Space Societies için kapak resmi
Computer Simulations of Space Societies
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings için kapak resmi
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
Systems Analysis Approach for Complex Global Challenges için kapak resmi
Systems Analysis Approach for Complex Global Challenges
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
Applied Scientific Computing With Python için kapak resmi
Applied Scientific Computing With Python
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
185. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
186. 
3D Kinematics için kapak resmi
3D Kinematics
Yazar 
Haslwanter, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-75277-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings için kapak resmi
Wireless Internet 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017 için kapak resmi
VipIMAGE 2017 Proceedings of the VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing Porto, Portugal, October 18-20, 2017
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers için kapak resmi
Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings için kapak resmi
New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
193. 
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings için kapak resmi
Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
194. 
Handbook of Dynamic Data Driven Applications Systems için kapak resmi
Handbook of Dynamic Data Driven Applications Systems
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
195. 
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers için kapak resmi
Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
196. 
Real-Time Modelling and Processing for Communication Systems Applications and Practices için kapak resmi
Real-Time Modelling and Processing for Communication Systems Applications and Practices
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
197. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
198. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
199. 
Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings için kapak resmi
Ad Hoc Networks 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
200. 
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 için kapak resmi
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
Yazar 
Hoffman, Mark. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60747-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
201. 
Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers için kapak resmi
Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
202. 
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab için kapak resmi
It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
203. 
New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017) için kapak resmi
New Advances in Mechanism and Machine Science Proceedings of The 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017)
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
204. 
Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings için kapak resmi
Latent Variable Analysis and Signal Separation 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2–5, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
205. 
Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17 için kapak resmi
Innovative Techniques and Applications of Modelling, Identification and Control Selected and Expanded Reports from ICMIC’17
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
206. 
Nature Inspired Computing Proceedings of CSI 2015 için kapak resmi
Nature Inspired Computing Proceedings of CSI 2015
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
207. 
Modeling and Simulation in Industrial Engineering için kapak resmi
Modeling and Simulation in Industrial Engineering
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
208. 
Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers için kapak resmi
Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
209. 
Encyclopedia of Social Network Analysis and Mining için kapak resmi
Encyclopedia of Social Network Analysis and Mining
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
210. 
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings için kapak resmi
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
211. 
Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach için kapak resmi
Automatic Control Systems in Biomedical Engineering An Interactive Educational Approach
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
212. 
Computational Models of Rhythm and Meter için kapak resmi
Computational Models of Rhythm and Meter
Yazar 
Boenn, Georg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76285-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
213. 
Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems için kapak resmi
Computational Methods and Models for Transport New Challenges for the Greening of Transport Systems
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
214. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
215. 
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I için kapak resmi
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
216. 
Automatic Tuning of Compilers Using Machine Learning için kapak resmi
Automatic Tuning of Compilers Using Machine Learning
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
217. 
New Perspectives on Applied Industrial Tools and Techniques için kapak resmi
New Perspectives on Applied Industrial Tools and Techniques
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
218. 
Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings için kapak resmi
Methods and Applications for Modeling and Simulation of Complex Systems 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
219. 
Reliability Aspect of Cloud Computing Environment için kapak resmi
Reliability Aspect of Cloud Computing Environment
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
220. 
From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings için kapak resmi
From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
221. 
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
222. 
Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers için kapak resmi
Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
223. 
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings için kapak resmi
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
224. 
Numerical Simulation of the Aerodynamics of High-Lift Configurations için kapak resmi
Numerical Simulation of the Aerodynamics of High-Lift Configurations
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
225. 
Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia için kapak resmi
Advances in Neural Computation, Machine Learning, and Cognitive Research Selected Papers from the XIX International Conference on Neuroinformatics, October 2-6, 2017, Moscow, Russia
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
226. 
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings için kapak resmi
Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
227. 
Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings için kapak resmi
Algorithmic Game Theory 11th International Symposium, SAGT 2018, Beijing, China, September 11-14, 2018, Proceedings
Yazar 
Deng, Xiaotie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-99660-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
228. 
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage için kapak resmi
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
229. 
Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II için kapak resmi
Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part II
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
230. 
Modeling Discrete-Event Systems with GPenSIM An Introduction için kapak resmi
Modeling Discrete-Event Systems with GPenSIM An Introduction
Yazar 
Davidrajuh, Reggie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73102-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
231. 
Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers için kapak resmi
Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
232. 
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings için kapak resmi
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
233. 
The Test and Launch Control Technology for Launch Vehicles için kapak resmi
The Test and Launch Control Technology for Launch Vehicles
Yazar 
Song, Zhengyu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-8712-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
234. 
Simulations for Design and Manufacturing Select Papers from AIMTDR 2016 için kapak resmi
Simulations for Design and Manufacturing Select Papers from AIMTDR 2016
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
235. 
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II için kapak resmi
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
236. 
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings için kapak resmi
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
237. 
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II için kapak resmi
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
238. 
Exploring Occupant Behavior in Buildings Methods and Challenges için kapak resmi
Exploring Occupant Behavior in Buildings Methods and Challenges
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
239. 
Stochastic Finite Element Methods An Introduction için kapak resmi
Stochastic Finite Element Methods An Introduction
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
240. 
Fuzzy Graph Theory with Applications to Human Trafficking için kapak resmi
Fuzzy Graph Theory with Applications to Human Trafficking
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
241. 
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I için kapak resmi
Communications and Networking 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
242. 
Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II için kapak resmi
Communications and Networking 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
243. 
Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I için kapak resmi
Communications and Networking 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
244. 
Probability and Statistics for Computer Science için kapak resmi
Probability and Statistics for Computer Science
Yazar 
Forsyth, David. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64410-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
245. 
Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings için kapak resmi
Advanced Hybrid Information Processing First International Conference, ADHIP 2017, Harbin, China, July 17–18, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
246. 
Modeling, Simulation, and Optimization için kapak resmi
Modeling, Simulation, and Optimization
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
247. 
Intelligent Control Design and MATLAB Simulation için kapak resmi
Intelligent Control Design and MATLAB Simulation
Yazar 
Liu, Jinkun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-5263-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
248. 
Finite Element Applications A Practical Guide to the FEM Process için kapak resmi
Finite Element Applications A Practical Guide to the FEM Process
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
249. 
Neural Networks for Cooperative Control of Multiple Robot Arms için kapak resmi
Neural Networks for Cooperative Control of Multiple Robot Arms
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
250. 
Bone Adaptation In Silico Approach için kapak resmi
Bone Adaptation In Silico Approach
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
251. 
Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480 için kapak resmi
Thermal Effects in Complex Machining Processes Final Report of the DFG Priority Programme 1480
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
252. 
Multi-layer Pavement System under Blast Load için kapak resmi
Multi-layer Pavement System under Blast Load
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
253. 
Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016 için kapak resmi
Proceedings of the International Conference on Modern Research in Aerospace Engineering MRAE-2016
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
254. 
Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I için kapak resmi
Machine Learning and Intelligent Communications Second International Conference, MLICOM 2017, Weihai, China, August 5-6, 2017, Proceedings, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
255. 
The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics için kapak resmi
The profession of modeling and simulation : discipline, ethics, education, vocation, societies, and economics
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
256. 
Computational frameworks : systems, models and applications için kapak resmi
Computational frameworks : systems, models and applications
Yazar 
Traoré, Mamadou K. (Mamadou Kaba), editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781785482564
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
257. 
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II için kapak resmi
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part II
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
258. 
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I için kapak resmi
Computer Vision Second CCF Chinese Conference, CCCV 2017, Tianjin, China, October 11-14, 2017, Proceedings, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
259. 
Simulating Social Complexity A Handbook için kapak resmi
Simulating Social Complexity A Handbook
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
260. 
OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling için kapak resmi
OpenGeoSys Tutorial Computational Hydrology II: Groundwater Quality Modeling
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
261. 
Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings için kapak resmi
Analytical and Stochastic Modelling Techniques and Applications 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
262. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
263. 
Ad Hoc Networks 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers için kapak resmi
Ad Hoc Networks 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
264. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
265. 
Forecast Error Correction using Dynamic Data Assimilation için kapak resmi
Forecast Error Correction using Dynamic Data Assimilation
Yazar 
Lakshmivarahan, Sivaramakrishnan. author. Lewis, John M. author. Jabrzemski, Rafal. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39997-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
266. 
Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings için kapak resmi
Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings
Yazar 
He, Cheng. editor. Mo, Hongwei. editor. Pan, Linqiang. editor. Zhao, Yuxin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-7179-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
267. 
Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I için kapak resmi
Geo-Spatial Knowledge and Intelligence 4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016, Revised Selected Papers, Part I
Yazar 
Yuan, Hanning. editor. Geng, Jing. editor. Bian, Fuling. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-3966-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
268. 
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings için kapak resmi
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
269. 
Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis için kapak resmi
Electromagnetic Linear Machines with Dual Halbach Array Design and Analysis
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
270. 
Mathematical Advances Towards Sustainable Environmental Systems için kapak resmi
Mathematical Advances Towards Sustainable Environmental Systems
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
271. 
Serious Games and Edutainment Applications Volume II için kapak resmi
Serious Games and Edutainment Applications Volume II
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III) için kapak resmi
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III)
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
273. 
Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies için kapak resmi
Solid-State-Drives (SSDs) Modeling Simulation Tools & Strategies
Yazar 
Micheloni, Rino. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51735-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
274. 
Planning Support Science for Smarter Urban Futures için kapak resmi
Planning Support Science for Smarter Urban Futures
Yazar 
Geertman, Stan. editor. Allan, Andrew. editor. Pettit, Chris. editor. Stillwell, John. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57819-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
275. 
Introduction to Computational Mass Transfer With Applications to Chemical Engineering için kapak resmi
Introduction to Computational Mass Transfer With Applications to Chemical Engineering
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
Transactions on Computational Collective Intelligence XXVII için kapak resmi
Transactions on Computational Collective Intelligence XXVII
Yazar 
Mercik, Jacek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70647-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
277. 
Group Processes Data-Driven Computational Approaches için kapak resmi
Group Processes Data-Driven Computational Approaches
Yazar 
Pilny, Andrew. editor. Poole, Marshall Scott. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-48941-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
278. 
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers için kapak resmi
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
279. 
Urban Dynamics and Simulation Models için kapak resmi
Urban Dynamics and Simulation Models
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
280. 
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings için kapak resmi
Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Yazar 
Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394 Bortolussi, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-66335-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
281. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
282. 
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
283. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
284. 
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
285. 
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings için kapak resmi
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
Yazar 
Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-62932-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
286. 
Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings için kapak resmi
Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
287. 
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
288. 
Computational Neurology and Psychiatry için kapak resmi
Computational Neurology and Psychiatry
Yazar 
Érdi, Péter. editor. Sen Bhattacharya, Basabdatta. editor. Cochran, Amy L. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49959-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
289. 
Tunnel Fire Testing and Modeling The Morgex North Tunnel Experiment için kapak resmi
Tunnel Fire Testing and Modeling The Morgex North Tunnel Experiment
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
290. 
Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings için kapak resmi
Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings
Yazar 
Shi, Yuhui. editor. Tan, Kay Chen. editor. Zhang, Mengjie. editor. (orcid)0000-0003-4463-9538 Tang, Ke. editor. Li, Xiaodong. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68759-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings için kapak resmi
Computer Information Systems and Industrial Management 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
Nature-Inspired Computing and Optimization Theory and Applications için kapak resmi
Nature-Inspired Computing and Optimization Theory and Applications
Yazar 
Patnaik, Srikanta. editor. Yang, Xin-She. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50920-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
293. 
Research Challenges in Modeling and Simulation for Engineering Complex Systems için kapak resmi
Research Challenges in Modeling and Simulation for Engineering Complex Systems
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers için kapak resmi
Machine Learning and Intelligent Communications First International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings için kapak resmi
Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings
Yazar 
Pirovano, Alain. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Guerber, Christophe. editor. Roque, Damien. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56880-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
Seismic Wave Propagation in Non-Homogeneous Elastic Media by Boundary Elements için kapak resmi
Seismic Wave Propagation in Non-Homogeneous Elastic Media by Boundary Elements
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
297. 
Transparent Data Mining for Big and Small Data için kapak resmi
Transparent Data Mining for Big and Small Data
Yazar 
Cerquitelli, Tania. editor. (orcid)0000-0002-9039-6226 Quercia, Daniele. editor. Pasquale, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54024-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
Mental Modeling Approach Risk Management Application Case Studies için kapak resmi
Mental Modeling Approach Risk Management Application Case Studies
Yazar 
Wood, Matthew D. author. Thorne, Sarah. author. Kovacs, Daniel. author. Butte, Gordon. author. Linkov, Igor. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4939-6616-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
299. 
Advances in Social Simulation 2015 için kapak resmi
Advances in Social Simulation 2015
Yazar 
Jager, Wander. editor. Verbrugge, Rineke. editor. Flache, Andreas. editor. de Roo, Gert. editor. Hoogduin, Lex. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47253-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
300. 
Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers için kapak resmi
Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23-28, 2016, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets