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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2026-07-26T18:39:46Z

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

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

2026-07-26T18:39:46Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17502-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2026-07-26T18:39:46Z

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 7th International Workshop, STACOM 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Mansi, Tommaso. editor. McLeod, Kristin. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52718-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Computational Methods and Clinical Applications for Spine Imaging Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings

2026-07-26T18:39:46Z

Yazar Vrtovec, Tomaž. editor. Yao, Jianhua. editor. Glocker, Ben. editor. (orcid)0000-0002-4897-9356 Klinder, Tobias. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41827-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Camara, Oscar. editor. Mansi, Tommaso. editor. Pop, Mihaela. editor. Rhode, Kawal. editor. Sermesant, Maxime. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28712-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation and Synthesis in Medical Imaging First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings

2026-07-26T18:39:46Z

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

Enterprise and Organizational Modeling and Simulation 12th International Workshop, EOMAS 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13, 2016, Selected Papers

2026-07-26T18:39:46Z

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

Patch-Based Techniques in Medical Imaging Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings

2026-07-26T18:39:46Z

Yazar Wu, Guorong. editor. Coupé, Pierrick. editor. Zhan, Yiqiang. editor. Munsell, Brent C. editor. Rueckert, Daniel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47118-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods and Clinical Applications for Spine Imaging 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Yao, Jianhua. editor. Vrtovec, Tomaž. editor. Zheng, Guoyan. editor. Frangi, Alejandro. editor. (orcid)0000-0002-2675-528X Glocker, Ben. editor. (orcid)0000-0002-4897-9356
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55050-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Medical Computer Vision: Algorithms for Big Data International Workshop, MCV 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Menze, Bjoern. editor. Langs, Georg. editor. Montillo, Albert. editor. Kelm, Michael. editor. Müller, Henning. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13972-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

2026-07-26T18:39:46Z

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

Augmented Environments for Computer-Assisted Interventions 9th International Workshop, AE-CAI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014, Proceedings

2026-07-26T18:39:46Z

Yazar Linte, Cristian A. editor. Yaniv, Ziv. editor. Fallavollita, Pascal. editor. Abolmaesumi, Purang. editor. Holmes III, David. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10437-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clinical Image-Based Procedures. From Planning to Intervention International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Drechsler, Klaus. editor. Erdt, Marius. editor. Linguraru, Marius George. editor. Oyarzun Laura, Cristina. editor. Sharma, Karun. editor.
Yer Numarası ONLINE(334530.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-38079-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I

2026-07-26T18:39:46Z

Yazar Duffy, Vincent G. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334742.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39173-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings

2026-07-26T18:39:46Z

Yazar Liao, Hongen. editor. Linte, Cristian A. editor. Masamune, Ken. editor. Peters, Terry M. editor. Zheng, Guoyan. editor.
Yer Numarası ONLINE(335016.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40843-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise and Organizational Modeling and Simulation 9th International Workshop, EOMAS 2013, Held at CAiSE 2013, Valencia, Spain, June 17, 2013, Selected Papers

2026-07-26T18:39:46Z

Yazar Barjis, Joseph. editor. Gupta, Ashish. editor. Meshkat, Amir. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335132.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41638-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings

2026-07-26T18:39:46Z

Yazar Becvar, Zdenek. editor. Bestak, Robert. editor. Kencl, Lukas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30039-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive and Learning Agents International Workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011, Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Vrancx, Peter. editor. Knudson, Matthew. editor. Grześ, Marek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28499-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Enterprise and Organizational Modeling and Simulation 7th International Workshop, EOMAS 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Selected Papers

2026-07-26T18:39:46Z

Yazar Barjis, Joseph. editor. Eldabi, Tillal. editor. Gupta, Ashish. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24175-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings

2026-07-26T18:39:46Z

Yazar Madabhushi, Anant. editor. Dowling, Jason. editor. Huisman, Henkjan. editor. Barratt, Dean. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23944-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Psychology and Cognitive Ergonomics 9th International Conference, EPCE 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings

2026-07-26T18:39:46Z

Yazar Harris, Don. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21741-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Human Modeling Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011. Proceedings

2026-07-26T18:39:46Z

Yazar Duffy, Vincent G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-21799-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adaptive and Learning Agents Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Taylor, Matthew E. editor. Tuyls, Karl. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-11814-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Prostate Cancer Imaging. Computer-Aided Diagnosis, Prognosis, and Intervention International Workshop, Held in Conjunction with MICCAI 2010, Beijing,China, September 24, 2010. Proceedings

2026-07-26T18:39:46Z

Yazar Madabhushi, Anant. editor. Dowling, Jason. editor. Yan, Pingkun. editor. Fenster, Aaron. editor. Abolmaesumi, Purang. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15989-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database Theory and Application, Bio-Science and Bio-Technology International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

2026-07-26T18:39:46Z

Yazar Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor. Ma, Jianhua. editor. Chung, Kyo-il. editor. Arslan, Tughrul. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17622-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Enterprise Engineering III 5th International Workshop, CIAO! 2009, and 5th International Workshop, EOMAS 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009. Proceedings

2026-07-26T18:39:46Z

Yazar Albani, Antonia. editor. Barjis, Joseph. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01915-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Psychology and Cognitive Ergonomics 8th International Conference, EPCE 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings

2026-07-26T18:39:46Z

Yazar Harris, Don. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02728-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

2026-07-26T18:39:46Z

Yazar Ślęzak, Dominik. editor. Kim, Tai-hoon. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10741-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SYROM 2009 Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009

2026-07-26T18:39:46Z

Yazar Visa, Ion. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3522-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IUTAM Symposium on Modelling Nanomaterials and Nanosystems Proceedings of the IUTAM Symposium held in Aalborg, Denmark, 19–22 May 2008

2026-07-26T18:39:46Z

Yazar Pyrz, R. editor. Rauhe, J. C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-9557-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Human Modeling First International Conference on Digital Human Modeling, ICDHM 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2026-07-26T18:39:46Z

Yazar Duffy, Vincent G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73321-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Psychology and Cognitive Ergonomics 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007. Proceedings

2026-07-26T18:39:46Z

Yazar Harris, Don. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73331-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005

2026-07-26T18:39:46Z

Yazar Davidson, Joseph K. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5438-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM’06 Conference held in Ustrón, Poland, June 19-22, 2006

2026-07-26T18:39:46Z

Yazar Kłopotek, Mieczysław A. editor. Wierzchoń, Sławomir T. editor. Trojanowski, Krzysztof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-33521-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IUTAM Symposium on Computational Approaches to Multiphase Flow Proceedings of an IUTAM Symposium held at Argonne National Laboratory, October 4–7, 2004

2026-07-26T18:39:46Z

Yazar Balachandar, S. editor. Prosperetti, A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4977-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information Processing and Web Mining Proceedings of the International IIS: IIPWM’ 05 Conference held in Gdansk, Poland, June 13–16, 2005

2026-07-26T18:39:46Z

Yazar Kłopotek, Mieczysław A. editor. Wierzchoń, Sławomir T. editor. Trojanowski, Krzysztof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-32392-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-07-26T18:39:46Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82949-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-07-26T18:39:46Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82957-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-07-26T18:39:46Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83885-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Computational Modeling and Sustainable Energy Proceedings of ICCMSE 2023

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Intelligent Systems and Computing

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

Yazar Aniss, Said. editor. (orcid)0000-0002-8700-974X Rahmoune, Miloud. editor. (orcid)0000-0002-1156-689X Mordane, Somia. editor. Ait Ali, Mohamed Elamine. editor. (orcid)0000-0002-5597-7885 Khatyr, Rabha. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46973-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Intelligent Computing, Networked Control, and Their Engineering Applications International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II

2026-07-26T18:39:46Z

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

Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings

2026-07-26T18:39:46Z

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

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69404-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Quantitative Evaluation of Systems 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

2026-07-26T18:39:46Z

Yazar Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58631-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Management of Information, Process and Cooperation Third International Workshop, MiPAC 2016, Hangzhou, China, September 23, 2016, Revised Selected Papers

2026-07-26T18:39:46Z

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

Simulated Evolution and Learning 11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

Yazar Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89935-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Analytical and Computational Methods in Probability Theory First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings

2026-07-26T18:39:46Z

Yazar Rykov, Vladimir V. editor. Singpurwalla, Nozer D. editor. Zubkov, Andrey M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71504-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I

2026-07-26T18:39:46Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61824-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

Yazar Criado Pacheco, Natalia. editor. Carrascosa, Carlos. editor. Osman, Nardine. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59294-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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 II

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Planning Support Science for Smarter Urban Futures

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Advances in Swarm Intelligence 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part II

2026-07-26T18:39:46Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Takagi, Hideyuki. editor. Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61833-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Advanced Computational Methods in Life System Modeling and Simulation 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 I

2026-07-26T18:39:46Z

Yazar Fei, Minrui. editor. Ma, Shiwei. editor. Li, Xin. editor. Sun, Xin. editor. Jia, Li. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6370-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Communication Technologies for Vehicles 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings

2026-07-26T18:39:46Z

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

High Performance Computer Applications 6th International Conference, ISUM 2015, Mexico City, Mexico, March 9-13, 2015, Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Gitler, Isidoro. editor. (orcid)0000-0003-1241-5943 Klapp, Jaime. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32243-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication Technologies for Vehicles 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings

2026-07-26T18:39:46Z

Yazar Mendizabal, Jaizki. editor. Berbineau, Marion. editor. Vinel, Alexey. editor. Pfletschinger, Stephan. editor. Bonneville, Hervé. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-38921-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I

2026-07-26T18:39:46Z

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

Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

2026-07-26T18:39:46Z

Yazar El Yacoubi, Samira. editor. Wąs, Jarosław. editor. Bandini, Stefania. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44365-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Process-Aware Systems Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Cao, Jian. editor. Liu, Xiao. editor. (orcid)0000-0001-8400-5754 Ren, Kaijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1019-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Augmented Reality, Virtual Reality, and Computer Graphics Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II

2026-07-26T18:39:46Z

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

Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

KI 2016: Advances in Artificial Intelligence 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

Yazar Vaz de Carvalho, Carlos. editor. Escudeiro, Paula. editor. Coelho, António. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29060-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I

2026-07-26T18:39:46Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Niu, Ben. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings

2026-07-26T18:39:46Z

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

Breast Imaging 13th International Workshop, IWDM 2016, Malmö, Sweden, June 19-22, 2016, Proceedings

2026-07-26T18:39:46Z

Yazar Tingberg, Anders. editor. Lång, Kristina. editor. Timberg, Pontus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41546-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part II

2026-07-26T18:39:46Z

Yazar Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2098-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Transactions on Modularity and Composition I

2026-07-26T18:39:46Z

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

Social Computing Second International Conference of Young Computer Scientists, Engineers and Educators, ICYCSEE 2016, Harbin, China, August 20-22, 2016, Proceedings, Part I

2026-07-26T18:39:46Z

Yazar Che, Wanxiang. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Jing, Weipeng. editor. Peng, Shaoliang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2053-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geo-Informatics in Resource Management and Sustainable Ecosystem Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers

2026-07-26T18:39:46Z

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

Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

2026-07-26T18:39:46Z

Yazar Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3611-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bio-inspired Computing - Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

2026-07-26T18:39:46Z

Yazar Gong, Maoguo. editor. Pan, Linqiang. editor. Song, Tao. editor. (orcid)0000-0002-0130-3340 Zhang, Gexiang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3614-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Big Data Technology and Applications First National Conference, BDTA 2015, Harbin, China, December 25-26, 2015. Proceedings

2026-07-26T18:39:46Z

Yazar Chen, Wenguang. editor. Yin, Guisheng. editor. Zhao, Gansen. editor. Han, Qilong. editor. Jing, Weipeng. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0457-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Information Technologies and Mathematical Modelling: Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

2026-07-26T18:39:46Z

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

Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection International Workshops of PAAMS 2016, Sevilla, Spain, June 1-3, 2016. Proceedings

2026-07-26T18:39:46Z

Yazar Bajo, Javier. editor. Escalona, María José. editor. Giroux, Sylvain. editor. Hoffa-Dąbrowska, Patrycja. editor. Julián, Vicente. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39387-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings

2026-07-26T18:39:46Z

Yazar Demazeau, Yves. editor. Ito, Takayuki. editor. Bajo, Javier. editor. Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39324-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

2026-07-26T18:39:46Z

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

Medical Imaging and Augmented Reality 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings

2026-07-26T18:39:46Z

Yazar Zheng, Guoyan. editor. Liao, Hongen. editor. Jannin, Pierre. editor. Cattin, Philippe. editor. Lee, Su-Lin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43775-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers

2026-07-26T18:39:46Z

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

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2015 Colmar, France, July 21-23, 2015 Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Obaidat, Mohammad S. editor. Kacprzyk, Janusz. editor. Ören, Tuncer. editor. (orcid)0000-0001-8202-285X Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31295-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Pattern Recognition 38th German Conference, GCPR 2016, Hannover, Germany, September 12-15, 2016, Proceedings

2026-07-26T18:39:46Z

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

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

2026-07-26T18:39:46Z

Yazar Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45641-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRICAI 2016: Trends in Artificial Intelligence 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings

2026-07-26T18:39:46Z

Yazar Booth, Richard. editor. Zhang, Min-Ling. editor. (orcid)0000-0003-1880-5918 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42911-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Big Data Benchmarking 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers

2026-07-26T18:39:46Z

Yazar Rabl, Tilmann. editor. Nambiar, Raghunath. editor. Baru, Chaitanya. editor. Bhandarkar, Milind. editor. Poess, Meikel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49748-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II

2026-07-26T18:39:46Z

Yazar Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. Li, Li. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41009-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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

Critical Infrastructure Protection X 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers

2026-07-26T18:39:46Z

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

Innovating with Concept Mapping 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings

2026-07-26T18:39:46Z

Yazar Cañas, Alberto. editor. Reiska, Priit. editor. Novak, Joseph. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45501-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-07-26T18:39:46Z

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

Haptics: Perception, Devices, Control, and Applications 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II

2026-07-26T18:39:46Z

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

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2026-07-26T18:39:46Z

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

Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers

2026-07-26T18:39:46Z

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

Augmented Reality, Virtual Reality, and Computer Graphics Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I

2026-07-26T18:39:46Z

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

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

2026-07-26T18:39:46Z

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