Arama Sonuçları Systems software. - Daraltılmış: 1:SPRINGER

Software Design for Resilient Computer Systems

2026-04-05T13:56:51Z

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

Software Design for Resilient Computer Systems

2026-04-05T13:56:51Z

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

Smart Electromechanical Systems Mathematical and Software Engineering

2026-04-05T13:56:51Z

Yazar Tarasova, Irina Leonidovna. editor. (orcid)0000-0002-2282-150X Kulik, Boris Alexandrovich. editor. (orcid)0000-0001-6193-5588 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64277-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80889-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computing for Software and Smart Systems Proceedings of ACSS 2024

2026-04-05T13:56:51Z

Yazar Chaki, Nabendu. editor. (orcid)0000-0003-3242-680X Cortesi, Agostino. editor. (orcid)0000-0002-0946-5440 Chaki, Rituparna. editor. (orcid)0000-0003-1060-5778 Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-9762-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-05T13:56:51Z

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-04-05T13:56:51Z

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

Programming Languages and Systems 34th European Symposium on Programming, ESOP 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-04-05T13:56:51Z

Yazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-91118-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-05T13:56:51Z

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

Programming Languages and Systems 34th European Symposium on Programming, ESOP 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-04-05T13:56:51Z

Yazar Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-91121-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

2026-04-05T13:56:51Z

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

Artificial Intelligence and System Engineering Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2

2026-04-05T13:56:51Z

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

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

2026-04-05T13:56:51Z

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

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

2026-04-05T13:56:51Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4656-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complex, Intelligent and Software Intensive Systems Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025), Volume 2

2026-04-05T13:56:51Z

Yazar Barolli, Leonard. editor. (orcid)0000-0001-9069-0460 Enokido, Tomoya. editor. Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96096-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complex, Intelligent and Software Intensive Systems Proceedings of the 19th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2025), Volume 1

2026-04-05T13:56:51Z

Yazar Barolli, Leonard. editor. (orcid)0000-0001-9069-0460 Enokido, Tomoya. editor. Woungang, Isaac. editor. (orcid)0000-0003-2484-4649 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96099-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hardware Software Co-design of Epileptic Seizure Prediction Systems

2026-04-05T13:56:51Z

Yazar Varnosfaderani, Shiva Maleki. author. Sarhan, Nabil J. author. Alhawari, Mohammad. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95357-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

2026-04-05T13:56:51Z

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

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

2026-04-05T13:56:51Z

Yazar Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42202-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

2026-04-05T13:56:51Z

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

Cyber-Physical Systems Data Science, Modelling and Software Optimization

2026-04-05T13:56:51Z

Yazar Kravets, Alla G. author. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. (orcid)0000-0001-7966-718X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67685-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 3

2026-04-05T13:56:51Z

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

Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 4

2026-04-05T13:56:51Z

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

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2

2026-04-05T13:56:51Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54813-0
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-04-05T13:56:51Z

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-04-05T13:56:51Z

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-04-05T13:56:51Z

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

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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-04-05T13:56:51Z

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

Programming Languages and Systems 33rd European Symposium on Programming, ESOP 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-04-05T13:56:51Z

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

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66459-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complex, Intelligent and Software Intensive Systems Proceedings of the 18th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2024)

2026-04-05T13:56:51Z

Yazar Barolli, Leonard. editor. (orcid)0000-0001-9069-0460 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70011-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71139-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71142-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Sensor Systems and Software 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Magno, Michele. editor. Ferrero, Fabien. editor. Bilas, Vedran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61563-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-05T13:56:51Z

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

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2026-04-05T13:56:51Z

Yazar Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67549-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

2026-04-05T13:56:51Z

Yazar de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74183-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54577-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

2026-04-05T13:56:51Z

Yazar Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62105-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning Paradigms Artificial Immune Systems and their Applications in Software Personalization

2026-04-05T13:56:51Z

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

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-04-05T13:56:51Z

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

Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

2026-04-05T13:56:51Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57141-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-04-05T13:56:51Z

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

Multi-Disciplinary Engineering for Cyber-Physical Production Systems Data Models and Software Solutions for Handling Complex Engineering Projects

2026-04-05T13:56:51Z

Yazar Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Lüder, Arndt. editor. Gerhard, Detlef. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56345-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-04-05T13:56:51Z

Yazar Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65948-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings

2026-04-05T13:56:51Z

Yazar Stolfa, Jakub. editor. Stolfa, Svatopluk. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64218-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54580-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2

2026-04-05T13:56:51Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33622-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2016 International Conference on Human Factors, Software, and Systems Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA

2026-04-05T13:56:51Z

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

Software Quality. The Future of Systems- and Software Development 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings

2026-04-05T13:56:51Z

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

Systems, Software and Services Process Improvement 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings

2026-04-05T13:56:51Z

Yazar Kreiner, Christian. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44817-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-04-05T13:56:51Z

Yazar Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49674-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-05T13:56:51Z

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

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2026-04-05T13:56:51Z

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

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2026-04-05T13:56:51Z

Yazar Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34096-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-04-05T13:56:51Z

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

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2026-04-05T13:56:51Z

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

Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings

2026-04-05T13:56:51Z

Yazar Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44902-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

2026-04-05T13:56:51Z

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

Boosting Software Development Using Machine Learning

2026-04-05T13:56:51Z

Yazar Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88188-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Artificial Intelligence in Cost Estimation in Project Management

2026-04-05T13:56:51Z

Yazar Rankovic, Nevena. author. (orcid)0000-0002-9910-5886 Ranković, Dragica. author. Ivanovic, Mirjana. author. (orcid)0000-0003-1946-0384 Lazić, Ljubomir. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76572-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ACS Without an Attitude

2026-04-05T13:56:51Z

Yazar Hallock, Harold L. author. Welter, Gary. author. Simpson, David G. author. Rouff, Christopher. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-7325-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Provably Correct Systems

2026-04-05T13:56:51Z

Yazar Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48628-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pragmatic Evaluation of Software Architectures

2026-04-05T13:56:51Z

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

Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2

2026-04-05T13:56:51Z

Yazar Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-8343-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

2026-04-05T13:56:51Z

Yazar Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92196-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024

2026-04-05T13:56:51Z

Yazar Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90758-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of International Conference on Computing and Communication Systems for Industrial Applications ComSIA 2024

2026-04-05T13:56:51Z

Yazar Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. (orcid)0000-0002-7869-6373 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5862-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

2026-04-05T13:56:51Z

Yazar Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73751-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

2026-04-05T13:56:51Z

Yazar Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73887-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems

2026-04-05T13:56:51Z

Yazar Cheng, Wei. author. (orcid)0000-0001-9433-7576 Guilley, Sylvain. author. (orcid)0000-0002-5044-3534 Rioul, Olivier. author. (orcid)0000-0002-8681-8916 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64399-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

2026-04-05T13:56:51Z

Yazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81241-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

2026-04-05T13:56:51Z

Yazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81244-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III

2026-04-05T13:56:51Z

Yazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81247-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82703-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82700-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The AI Act and The Agile Safety Plan

2026-04-05T13:56:51Z

Yazar Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80504-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Machine Learning 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-I

2026-04-05T13:56:51Z

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

Artificial Intelligence and Machine Learning 43rd IBIMA Conference, IBIMA-AI 2024, Madrid, Spain, June 26-27, 2024, Revised Selected Papers, Part-II

2026-04-05T13:56:51Z

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

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78709-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80760-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024

2026-04-05T13:56:51Z

Yazar Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-6957-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computing and Networking Proceedings of IC-ICN 2024

2026-04-05T13:56:51Z

Yazar Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-8631-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Materials Processing Fundamentals 2025 Thermodynamics and Rate Phenomena

2026-04-05T13:56:51Z

Yazar Anderson, Alexandra. editor. (orcid)0000-0002-8758-3119 Sabau, Adrian S. editor. Iloeje, Chukwunwike. editor. (orcid)0000-0002-3426-9425 Lazou, Adamantia. editor. Molnar, Kayla M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81053-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Protection for Software Development and IT A Practical Introduction

2026-04-05T13:56:51Z

Yazar Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-70639-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents and Multi-agent Systems: Technologies and Applications 2024 Proceedings of 18th KES International Conference, KES-AMSTA 2024, June 2024

2026-04-05T13:56:51Z

Yazar Jezic, Gordan. editor. Chen-Burger, Y.-H. editor. Kušek, Mario. editor. Šperka, Roman. editor. Howlett, Robert J. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-6469-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in ICT Research in the Balkans 10th Balkan Conference in Informatics, BCI 2024, Craiova, Romania, September 4-6, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Bădică, Costin. editor. (orcid)0000-0001-8480-9867 Gušev, Marjan. editor. (orcid)0000-0003-0351-9783 Iftene, Adrian. editor. (orcid)0000-0003-3564-8440 Ivanović, Mirjana. editor. (orcid)0000-0003-1946-0384 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84093-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2026-04-05T13:56:51Z

Yazar Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85134-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Benchmarking For Scientists and Engineers

2026-04-05T13:56:51Z

Yazar Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85634-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design

2026-04-05T13:56:51Z

Yazar Ren, Jianfeng. author. Li, Andric. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3201-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings

2026-04-05T13:56:51Z

Yazar Hess, Anne. editor. (orcid)0000-0001-7614-5802 Susi, Angelo. editor. (orcid)0000-0002-5026-7462 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88531-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4442-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neuromorphic Computing Principles and Organization

2026-04-05T13:56:51Z

Yazar Ben Abdallah, Abderazek. author. Dang, Khanh N. author. (orcid)0000-0001-6702-3870 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83089-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Modeling and Simulation of Systems Selected Papers of 19th International Conference, MODS, November 11-13, 2024, Chernihiv, Ukraine

2026-04-05T13:56:51Z

Yazar Kazymyr, Volodymyr. editor. Morozov, Anatoliy. editor. Palagin, Alexander. editor. Shkarlet, Serhiy. editor. Stoianov, Nikolai. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90735-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 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

2026-04-05T13:56:51Z

Yazar Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90897-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 28th International Conference, FASE 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

2026-04-05T13:56:51Z

Yazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part III

2026-04-05T13:56:51Z

Yazar Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4509-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unsupervised Computer Vision for Aerospace Systems Spacecraft Pose Estimation to Infrastructure Health Monitoring

2026-04-05T13:56:51Z

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

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

2026-04-05T13:56:51Z

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

New Challenges in Software Engineering Volume 1

2026-04-05T13:56:51Z

Yazar Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. Espinosa-Faller, Francisco Javier. editor. Trejo-Sanchez, Joel Antonio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90310-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Bai, Guangdong. editor. (orcid)0000-0002-6390-9890 Ishikawa, Fuyuki. editor. (orcid)0000-0001-7725-2618 Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Papadopoulos, George A. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66456-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Active Disturbance Rejection Control From Principles to Practice

2026-04-05T13:56:51Z

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

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77382-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78750-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80775-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Infrastructure Protection XVIII 18th IFIP WG 11.10 International Conference, ICCIP 2024, Arlington, VA, USA, March 18-19, 2024, Proceedings

2026-04-05T13:56:51Z

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

Human-Computer Interaction and Augmented Intelligence The Paradigm of Interactive Machine Learning in Educational Software

2026-04-05T13:56:51Z

Yazar Troussas, Christos. author. Krouska, Akrivi. author. (orcid)0000-0002-8620-5255 Sgouropoulou, Cleo. author. (orcid)0000-0001-8173-2622 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84453-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Software Technologies 30th International Conference, ICIST 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Lopata, Audrius. editor. Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 Čeponis, Jonas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84263-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communications-Based Train Control (CBTC) Automation of metros and urban rapid transit systems

2026-04-05T13:56:51Z

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

Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-91328-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-04-05T13:56:51Z

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

Information-Measuring Systems Theory and Application

2026-04-05T13:56:51Z

Yazar Babak, Vitalii. author. Babak, Serhii. author. Eremenko, Volodymyr. author. Kuts, Yurii. author. Zaporozhets, Artur. author. (orcid)0000-0002-0704-4116
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89406-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-04-05T13:56:51Z

Yazar Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95728-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of International Conference on Information Technology and Applications ICITA 2024

2026-04-05T13:56:51Z

Yazar Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1758-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 1

2026-04-05T13:56:51Z

Yazar Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94845-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics for Computer Graphics

2026-04-05T13:56:51Z

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

Management of Digital EcoSystems 16th International Conference, MEDES 2024, Naples, Italy, November 18-20, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Masciari, Elio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93598-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Practice of Security 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part I

2026-04-05T13:56:51Z

Yazar Adi, Kamel. editor. (orcid)0000-0003-2869-0333 Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398 Durand, Christel. editor. Viet Triem Tong, Valérie. editor. (orcid)0000-0003-4838-2952 Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87499-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 2

2026-04-05T13:56:51Z

Yazar Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94852-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Computing, Cyber Security and Cryptography Issues, Technologies, Algorithms, Programming and Strategies

2026-04-05T13:56:51Z

Yazar Goyal, S. B. editor. Kumar, Vidyapati. editor. Islam, Sardar M. N. editor. (orcid)0000-0001-9451-7390 Ghai, Deepika. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4948-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electrical Machines

2026-04-05T13:56:51Z

Yazar Srivastava, Rakesh Kumar. author. (orcid)0000-0002-2810-4990 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-5039-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Kinematics and Dynamics of Machines Modeling and Design with MATLAB®, Simulink® and Simscape™ Multibody™

2026-04-05T13:56:51Z

Yazar Omran, Ashraf. author. (orcid)0000-0002-4071-9381 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72701-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Quantum Computing: Early Innovations. Volume 1

2026-04-05T13:56:51Z

Yazar Montiel Ross, Oscar Humberto. editor. Orozco-Rosas, Ulises. editor. Martínez-Vargas, Anabel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85614-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology and Systems ICITS 2025, Volume 1

2026-04-05T13:56:51Z

Yazar Rocha, Alvaro. editor. Ferrás, Carlos. editor. (orcid)0000-0001-9499-3784 Calvo, Hiram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93109-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information-Measuring Technologies and Systems II

2026-04-05T13:56:51Z

Yazar Eremenko, Volodymyr. editor. Zaporozhets, Artur. editor. (orcid)0000-0002-0704-4116 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-032-02770-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

2026-04-05T13:56:51Z

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

Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72044-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOC-Based Solutions in Emerging Application Domains

2026-04-05T13:56:51Z

Yazar Chakravarthi, Veena S. author. (orcid)0000-0002-8703-2376 Koteshwar, Shivananda R. author. (orcid)0000-0003-4299-4069 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85044-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication and Applied Technologies Proceedings of ICOMTA 2024

2026-04-05T13:56:51Z

Yazar Ibáñez, Daniel Barredo. editor. (orcid)0000-0002-2259-0756 Gallardo-Echenique, Eliana. editor. Siringoringo, Hotniar. editor. Diez, Nieves Lagares. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0426-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares

2026-04-05T13:56:51Z

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

Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4503-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyberspace Simulation and Evaluation Third International Conference, CSE 2024, Shenzhen, China, November 26-28, 2024, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Xu, Guangxia. editor. (orcid)0000-0002-5866-4315 Zhou, Wanlei. editor. (orcid)0000-0002-1680-2521 Zhang, Jiawei. editor. (orcid)0000-0001-8812-4961 Zhang, Yanchun. editor. (orcid)0000-0002-5094-5980 Jia, Yan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4506-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Xing, Chunxiao. editor. (orcid)0000-0001-9390-3097 Li, Xiaofan. editor. (orcid)0000-0003-4379-3277 Zhou, Rui. editor. (orcid)0000-0001-6807-4362 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-5597-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing

2026-04-05T13:56:51Z

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

Extended Reality and Serious Games for Education, Competitiveness, and Wellbeing Proceedings of CIIS 2024

2026-04-05T13:56:51Z

Yazar Suni-Lopez, Franci. editor. Rincón Flores, Elvira G. editor. (orcid)0000-0001-5957-2335 Quintana Cruz, Hernan Alejandro. editor. Santos Nunes, Eunice Pereira dos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-91481-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of LLEAHMM 2024 Logistics & Lean Engineering for Advanced Healthcare Methodologies Modelling

2026-04-05T13:56:51Z

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

Foundations and Practice of Security 17th International Symposium, FPS 2024, Montréal, QC, Canada, December 9-11, 2024, Revised Selected Papers, Part II

2026-04-05T13:56:51Z

Yazar Adi, Kamel. editor. (orcid)0000-0003-2869-0333 Bourdeau, Simon. editor. (orcid)0000-0001-6660-3398 Durand, Christel. editor. Viet Triem Tong, Valérie. editor. (orcid)0000-0003-4838-2952 Dulipovici, Alina. editor. (orcid)0000-0002-8847-5056
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87496-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology and Systems ICITS 2025, Volume 3

2026-04-05T13:56:51Z

Yazar Rocha, Alvaro. editor. Ferrás, Carlos. editor. (orcid)0000-0001-9499-3784 Calvo, Hiram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93103-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology and Systems ICITS 2025, Volume 2

2026-04-05T13:56:51Z

Yazar Rocha, Alvaro. editor. Ferrás, Carlos. editor. (orcid)0000-0001-9499-3784 Calvo, Hiram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93106-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

2026-04-05T13:56:51Z

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

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2

2026-04-05T13:56:51Z

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

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75144-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75147-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Informatics Proceedings of Eighth International Symposium on Intelligent Informatics (ISI 2023)

2026-04-05T13:56:51Z

Yazar Pal, Sankar K. editor. (orcid)0000-0003-3301-4751 Thampi, Sabu M. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2147-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current Problems of Applied Mathematics and Computer Systems CPAMCS 2023

2026-04-05T13:56:51Z

Yazar Alikhanov, Anatoly. editor. Tchernykh, Andrei. editor. (orcid)0000-0001-5029-5212 Babenko, Mikhail. editor. (orcid)0000-0001-7066-0061 Samoylenko, Irina. editor. (orcid)0000-0001-6907-1403 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64010-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Towards Heterogeneous Multi-core Systems-on-Chip for Edge Machine Learning Journey from Single-core Acceleration to Multi-core Heterogeneous Systems

2026-04-05T13:56:51Z

Yazar Jain, Vikram. author. (orcid)0000-0002-1267-1683 Verhelst, Marian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-38230-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing Hardware Architectures

2026-04-05T13:56:51Z

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

Indexing on Non-Volatile Memory Techniques, Lessons Learned and Outlook

2026-04-05T13:56:51Z

Yazar Huang, Kaisong. author. (orcid)0000-0001-7919-5426 Wang, Tianzheng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47627-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings

2026-04-05T13:56:51Z

Yazar Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49252-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Sustainability

2026-04-05T13:56:51Z

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

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

2026-04-05T13:56:51Z

Yazar Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49379-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CyberSecurity in a DevOps Environment From Requirements to Monitoring

2026-04-05T13:56:51Z

Yazar Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42212-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Network Systems First International Conference, CINS 2023, Dubai, United Arab Emirates, October 18-20, 2023, Proceedings

2026-04-05T13:56:51Z

Yazar Muthalagu, Raja. editor. P S, Tamizharasan. editor. Pawar, Pranav M. editor. R, Elakkiya. editor. (orcid)0000-0002-2257-0640 Prasad, Neeli Rashmi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48984-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Infrastructure Protection XVII 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

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

Emerging Information Security and Applications 4th International Conference, EISA 2023, Hangzhou, China, December 6-7, 2023, Proceedings

2026-04-05T13:56:51Z

Yazar Shao, Jun. editor. Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683 Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-9614-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimal Design and Control of Multibody Systems Proceedings of the IUTAM Symposium

2026-04-05T13:56:51Z

Yazar Nachbagauer, Karin. editor. (orcid)0000-0002-0015-0557 Held, Alexander. editor. (orcid)0000-0001-9730-3507 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50000-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

2026-04-05T13:56:51Z

Yazar Liu, Jianghua. editor. Xu, Lei. editor. (orcid)0000-0001-9178-6640 Huang, Xinyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51399-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Software Technologies 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings

2026-04-05T13:56:51Z

Yazar Lopata, Audrius. editor. Gudonienė, Daina. editor. (orcid)0000-0002-6338-5556 Butkienė, Rita. editor. (orcid)0000-0003-3250-4599 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48981-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51476-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part III

2026-04-05T13:56:51Z

Yazar Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51479-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52183-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Explainable Uncertain Rule-Based Fuzzy Systems

2026-04-05T13:56:51Z

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

Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Benslimane, Djamal. editor. Zervakis, Michalis. editor. Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51643-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web 3.0: Concept, Content and Context

2026-04-05T13:56:51Z

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

Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Dong, Naipeng. editor. Pillai, Babu. editor. (orcid)0000-0003-4675-154X Bai, Guangdong. editor. Utting, Mark. editor. (orcid)0000-0003-3134-6306 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0006-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental and Applied Scientific Research in the Development of Agriculture in the Far East (AFE-2022) Agricultural Cyber-Physical Systems, Volume 1

2026-04-05T13:56:51Z

Yazar Zokirjon ugli, Khasanov Sayidjakhon. editor. Muratov, Aleksei. editor. Ignateva, Svetlana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-37978-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems and Technologies WorldCIST 2023, Volume 2

2026-04-05T13:56:51Z

Yazar Rocha, Alvaro. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Colla, Valentina. editor. (orcid)0000-0002-9574-0575
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45645-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems and Technologies WorldCIST 2023, Volume 3

2026-04-05T13:56:51Z

Yazar Rocha, Alvaro. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Colla, Valentina. editor. (orcid)0000-0002-9574-0575
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45648-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems and Technologies WorldCIST 2023, Volume 4

2026-04-05T13:56:51Z

Yazar Rocha, Alvaro. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Colla, Valentina. editor. (orcid)0000-0002-9574-0575
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45651-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems and Technologies WorldCIST 2023, Volume 1

2026-04-05T13:56:51Z

Yazar Rocha, Alvaro. editor. Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Colla, Valentina. editor. (orcid)0000-0002-9574-0575
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45642-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Perspectives in Software Engineering

2026-04-05T13:56:51Z

Yazar Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Hernández Pérez, Yasmin. editor. (orcid)0000-0002-8842-0899 Avila-George, Himer. editor. (orcid)0000-0001-8578-0170
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50590-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology and Systems ICITS 2024, Volume 1

2026-04-05T13:56:51Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Ferrás, Carlos. editor. (orcid)0000-0001-9499-3784 Hochstetter Diez, Jorge. editor. Diéguez Rebolledo, Mauricio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54235-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54770-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

6GN for Future Wireless Networks 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Li, Jingchao. editor. Zhang, Bin. editor. Ying, Yulong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53401-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

6GN for Future Wireless Networks 6th EAI International Conference, 6GN 2023, Shanghai, China, October 7-8, 2023, Proceedings, Part II

2026-04-05T13:56:51Z

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

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

2026-04-05T13:56:51Z

Yazar Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56222-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

2026-04-05T13:56:51Z

Yazar Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-44412-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Technologies for Interactive Entertainment 14th EAI International Conference, INTETAIN 2023, Lucca, Italy, November 27, 2023, Proceedings

2026-04-05T13:56:51Z

Yazar Clayton, Martin. editor. Passacantando, Mauro. editor. Sanguineti, Marcello. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55722-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Bludau, Peter. editor. (orcid)0000-0003-4738-0488 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56281-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability Engineering for Industrial Processes An Analytics Perspective

2026-04-05T13:56:51Z

Yazar Kapur, P. K. editor. (orcid)0000-0001-8006-5952 Pham, Hoang. editor. Singh, Gurinder. editor. (orcid)0000-0002-7827-1578 Kumar, Vivek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55048-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Mon, Alicia. editor. (orcid)0000-0001-6365-9943 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57982-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II

2026-04-05T13:56:51Z

Yazar Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66673-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I

2026-04-05T13:56:51Z

Yazar Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66676-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied OSS Reliability Assessment Modeling, AI and Tools Mathematics and AI for OSS Reliability Assessment

2026-04-05T13:56:51Z

Yazar Tamura, Yoshinobu. author. (orcid)0000-0001-7665-5765 Yamada, Shigeru. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64803-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT for Intelligent Systems Proceedings of ICTIS 2024, Volume 1

2026-04-05T13:56:51Z

Yazar Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690 Tuba, Eva. editor. Perumal, Thinagaran. editor. (orcid)0000-0003-0698-5413 Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5799-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geometric Algebra Applications Vol. III Integral Transforms, Machine Learning, and Quantum Computing

2026-04-05T13:56:51Z

Yazar Bayro-Corrochano, Eduardo. author. (orcid)0000-0002-4738-3593 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66342-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71152-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computing, Smart Communication and Network Technologies First International Conference, ICICSCNT 2023, Chennai, India, May 17-18, 2023, Proceedings

2026-04-05T13:56:51Z

Yazar Dassan, Paulraj. editor. (orcid)0000-0002-8853-9945 Thirumaaran, Sethukarasi. editor. (orcid)0000-0002-9433-2609 Subramani, Neelakandan. editor. (orcid)0000-0003-2337-8471 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75957-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spiking Neural P Systems Theory, Applications and Implementations

2026-04-05T13:56:51Z

Yazar Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-9282-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Transformation in Higher Education Institutions

2026-04-05T13:56:51Z

Yazar de Bem Machado, Andreia. editor. (orcid)0000-0002-4404-0341 Sousa, Maria José. editor. (orcid)0000-0001-8633-4199 Dal Mas, Francesca. editor. Secinaro, Silvana. editor. (orcid)0000-0002-0811-6580 Calandra, Davide. editor. (orcid)0000-0001-5159-7167
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52296-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Developments in Mechanics and Design Select Proceedings of INCOME 2023

2026-04-05T13:56:51Z

Yazar Singh, D. K. editor. Hegde, Shriram. editor. Mishra, Ashutosh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-3874-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT for Intelligent Systems Proceedings of ICTIS 2024, Volume 2

2026-04-05T13:56:51Z

Yazar Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690 Tuba, Eva. editor. Perumal, Thinagaran. editor. (orcid)0000-0003-0698-5413 Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5810-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Building Embodied AI Systems: The Agents, the Architecture Principles, Challenges, and Application Domains

2026-04-05T13:56:51Z

Yazar Raj, Pethuru. editor. (orcid)0000-0001-5220-0408 Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Singh, Simar Preet. editor. (orcid)0000-0002-2443-7835 Dutta, Pushan Kumar. editor. Sundaravadivazhagan, B. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68256-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Active System Control Design of System Resilience

2026-04-05T13:56:51Z

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

Digital Orthodontics Providing a Contemporary Treatment Solution

2026-04-05T13:56:51Z

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

Enterprise Interoperability X Enterprise Interoperability Through Connected Digital Twins

2026-04-05T13:56:51Z

Yazar Rodríguez-Rodríguez, Raúl. editor. Ducq, Yves. editor. (orcid)0000-0001-5144-5876 Leon, Ramona-Diana. editor. Romero, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-24771-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing Use Cases and Emerging Challenges

2026-04-05T13:56:51Z

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

Embedded Machine Learning for Cyber-Physical, IoT, and Edge Computing Software Optimizations and Hardware/Software Codesign

2026-04-05T13:56:51Z

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

Introduction to Cybersecurity A Multidisciplinary Challenge

2026-04-05T13:56:51Z

Yazar Sharp, Robin. author. (orcid)0000-0002-8593-267X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-41463-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Development Methodologies for Big Data Analytics Systems Plan-driven, Agile, Hybrid, Lightweight Approaches

2026-04-05T13:56:51Z

Yazar Mora, Manuel. editor. (orcid)0000-0003-1631-5931 Wang, Fen. editor. Marx Gomez, Jorge. editor. (orcid)0000-0002-7833-7549 Duran-Limon, Hector. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40956-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Tabares, Marta. editor. Vallejo, Paola. editor. Suarez, Biviana. editor. Suarez, Marco. editor. Ruiz, Oscar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47372-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Computing Circuits, Systems, Automation and Applications

2026-04-05T13:56:51Z

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

Development and Testing of Vehicle Software and its Influence on Sustainable Transport

2026-04-05T13:56:51Z

Yazar Colmenar-Santos, Antonio. editor. Borge-Diez, David. editor. Ortega-Cabezas, Pedro-Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47630-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV

2026-04-05T13:56:51Z

Yazar Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51482-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2023 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Tsudik, Gene. editor. Conti, Mauro. editor. (orcid)0000-0002-3612-1934 Liang, Kaitai. editor. Smaragdakis, Georgios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50594-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems, Business, and Innovation Research

2026-04-05T13:56:51Z

Yazar Khoury, Rim El. editor. (orcid)0000-0003-4359-7591 Nasrallah, Nohade. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36895-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 6th International Conference on Communications and Cyber Physical Engineering ICCCE 2023; 28-29 April, Hyderabad, India

2026-04-05T13:56:51Z

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

Linguistic Resources for Natural Language Processing On the Necessity of Using Linguistic Methods to Develop NLP Software

2026-04-05T13:56:51Z

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

Emerging Research in Intelligent Systems Proceedings of the CIT 2023 Volume 1

2026-04-05T13:56:51Z

Yazar Olmedo Cifuentes, Gonzalo Fernando. editor. Arcos Avilés, Diego Gustavo. editor. (orcid)0000-0002-1511-1614 Lara Padilla, Hernán Vinicio. editor. (orcid)0000-0002-0085-1820 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52255-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54773-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication and Applied Technologies Proceedings of ICOMTA 2023

2026-04-05T13:56:51Z

Yazar Ibáñez, Daniel Barredo. editor. (orcid)0000-0002-2259-0756 Castro, Laura M. editor. Espinosa, Araceli. editor. Puentes-Rivera, Iván. editor. López-López, Paulo Carlos. editor. (orcid)0000-0002-8101-7976
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7210-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Intelligent System and Smart Technologies Proceedings of I2ST'23

2026-04-05T13:56:51Z

Yazar Gherabi, Noredine. editor. Awad, Ali Ismail. editor. Nayyar, Anand. editor. (orcid)0000-0002-9821-6146 Bahaj, Mohamed. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47672-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Cryptography and Network Security 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III

2026-04-05T13:56:51Z

Yazar Pöpper, Christina. editor. Batina, Lejla. editor. (orcid)0000-0003-0727-3573 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54776-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Good Practices and New Perspectives in Information Systems and Technologies WorldCIST 2024, Volume 1

2026-04-05T13:56:51Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Poniszewska-Marańda, Aneta. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60215-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web and Big Data 7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part IV

2026-04-05T13:56:51Z

Yazar Song, Xiangyu. editor. Feng, Ruyi. editor. (orcid)0000-0002-5709-690X Chen, Yunliang. editor. (orcid)0000-0001-9632-6192 Li, Jianxin. editor. (orcid)0000-0002-9059-330X Min, Geyong. editor. (orcid)0000-0003-1395-7314
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2421-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Communication Networks and Embedded Systems Proceedings of 6th International Conference on Communication and Network Technology

2026-04-05T13:56:51Z

Yazar Femmam, Smain. editor. (orcid)0000-0001-5366-0481 Lorenz, Pascal. editor. (orcid)0000-0003-3346-7216 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59619-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Good Practices and New Perspectives in Information Systems and Technologies WorldCIST 2024, Volume 2

2026-04-05T13:56:51Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Poniszewska-Marańda, Aneta. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60218-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Good Practices and New Perspectives in Information Systems and Technologies WorldCIST 2024, Volume 3

2026-04-05T13:56:51Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Poniszewska-Marańda, Aneta. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60221-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Good Practices and New Perspectives in Information Systems and Technologies WorldCIST 2024, Volume 4

2026-04-05T13:56:51Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Poniszewska-Marańda, Aneta. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60224-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61753-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-04-05T13:56:51Z

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

Web and Big Data 7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Song, Xiangyu. editor. (orcid)0000-0002-5550-6354 Feng, Ruyi. editor. (orcid)0000-0002-5709-690X Chen, Yunliang. editor. (orcid)0000-0001-9632-6192 Li, Jianxin. editor. (orcid)0000-0002-9059-330X Min, Geyong. editor. (orcid)0000-0003-1395-7314
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2303-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedding Artificial Intelligence into ERP Software A Conceptual View on Business AI with Examples from SAP S/4HANA

2026-04-05T13:56:51Z

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

Intelligent Distributed Computing XVI 16th International Symposium on Intelligent Distributed Computing, IDC 2023

2026-04-05T13:56:51Z

Yazar Köhler-Bußmeier, Michael. editor. Renz, Wolfgang. editor. Sudeikat, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60023-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial intelligence and Machine Learning 41st IBIMA International Conference, IBIMA-AI 2023, Granada, Spain, June 26-27, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

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

Emerging Technologies for Education 8th International Symposium, SETE 2023, Sydney, Australia, November 26-28, 2023, Revised Selected Papers, Part I

2026-04-05T13:56:51Z

Yazar Kubincová, Zuzana. editor. (orcid)0000-0003-1909-6738 Hao, Tianyong. editor. Capuano, Nicola. editor. (orcid)0000-0003-0862-3643 Temperini, Marco. editor. (orcid)0000-0002-8597-4634 Ge, Shili. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-4243-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Technologies for Education 8th International Symposium, SETE 2023, Sydney, Australia, November 26-28, 2023, Revised Selected Papers, Part II

2026-04-05T13:56:51Z

Yazar Kubincová, Zuzana. editor. (orcid)0000-0003-1909-6738 Hao, Tianyong. editor. Capuano, Nicola. editor. (orcid)0000-0003-0862-3643 Temperini, Marco. editor. (orcid)0000-0002-8597-4634 Ge, Shili. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-4246-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT for Intelligent Systems Proceedings of ICTIS 2024, Volume 3

2026-04-05T13:56:51Z

Yazar Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690 Mahalle, Parikshit N. editor. Perumal, Thinagaran. editor. (orcid)0000-0003-0698-5413 Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-6675-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Digital Control An Integrated Approach

2026-04-05T13:56:51Z

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

Mathematical Software - ICMS 2024 8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 Dickenstein, Alicia. editor. (orcid)0000-0003-4863-4953 Eick, Bettina. editor. (orcid)0000-0003-2884-6545 Leykin, Anton. editor. (orcid)0000-0002-9216-3514 Ren, Yue. editor. (orcid)0000-0002-6005-7119
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64529-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT for Intelligent Systems Proceedings of ICTIS 2024, Volume 6

2026-04-05T13:56:51Z

Yazar Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690 Mahalle, Parikshit N. editor. Perumal, Thinagaran. editor. (orcid)0000-0003-0698-5413 Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-6684-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology and Systems ICITS 2024, Volume 2

2026-04-05T13:56:51Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Ferrás, Carlos. editor. (orcid)0000-0001-9499-3784 Hochstetter Diez, Jorge. editor. Diéguez Rebolledo, Mauricio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54256-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Rocha, Ana Paula. editor. Steels, Luc. editor. van den Herik, Jaap. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55326-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of International Conference on Information Technology and Applications ICITA 2023

2026-04-05T13:56:51Z

Yazar Ullah, Abrar. editor. Anwar, Sajid. editor. (orcid)0000-0003-3393-1656 Calandra, Davide. editor. (orcid)0000-0001-5159-7167 Di Fuccio, Raffaele. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8324-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

25th International Symposium on Measurements and Control in Robotics Proceedings of ISMCR 2023

2026-04-05T13:56:51Z

Yazar Doroftei, Ioan. editor. (orcid)0000-0003-0054-5791 Kiss, Balint. editor. (orcid)0000-0002-5532-3435 Baudoin, Yvan. editor. Taqvi, Zafar. editor. Keller Fuchter, Simone. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51085-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Recommender System Principles, Technologies and Enterprise Applications

2026-04-05T13:56:51Z

Yazar Hu, Lantao. author. Li, Yueting. author. Cui, Guangfan. author. Yi, Kexin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2581-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Active Anti-Roll Bar Control Design for Heavy Vehicles

2026-04-05T13:56:51Z

Yazar Van Tan, Vu. author. Sename, Olivier. author. Gaspar, Peter. author. Do, Trong Tu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-1359-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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-04-05T13:56:51Z

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

Fundamental Approaches to Software Engineering 27th International Conference, FASE 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

2026-04-05T13:56:51Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57259-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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-04-05T13:56:51Z

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

Data-Centric Security in Software Defined Networks (SDN)

2026-04-05T13:56:51Z

Yazar Amanowicz, Marek. author. Szwaczyk, Sebastian. author. (orcid)0000-0002-3657-4685 Wrona, Konrad. author. (orcid)0000-0002-3362-9820 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55517-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linear Multivariable Control Engineering Using GNU Octave

2026-04-05T13:56:51Z

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

Emerging Research in Intelligent Systems Proceedings of the CIT 2023 Volume 2

2026-04-05T13:56:51Z

Yazar Olmedo Cifuentes, Gonzalo Fernando. editor. Arcos Avilés, Diego Gustavo. editor. (orcid)0000-0002-1511-1614 Lara Padilla, Hernán Vinicio. editor. (orcid)0000-0002-0085-1820 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52258-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web and Big Data 7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part III

2026-04-05T13:56:51Z

Yazar Song, Xiangyu. editor. (orcid)0000-0002-5550-6354 Feng, Ruyi. editor. (orcid)0000-0002-5709-690X Chen, Yunliang. editor. (orcid)0000-0001-9632-6192 Li, Jianxin. editor. (orcid)0000-0002-9059-330X Min, Geyong. editor. (orcid)0000-0003-1395-7314
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2387-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web and Big Data 7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Song, Xiangyu. editor. (orcid)0000-0002-5550-6354 Feng, Ruyi. editor. (orcid)0000-0002-5709-690X Chen, Yunliang. editor. (orcid)0000-0001-9632-6192 Li, Jianxin. editor. (orcid)0000-0002-9059-330X Min, Geyong. editor. (orcid)0000-0003-1395-7314
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2390-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The French School of Programming

2026-04-05T13:56:51Z

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

Sports Technology Technologies, Fields of Application, Sports Equipment and Materials for Sport

2026-04-05T13:56:51Z

Yazar Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-68703-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Good Practices and New Perspectives in Information Systems and Technologies WorldCIST 2024, Volume 5

2026-04-05T13:56:51Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Poniszewska-Marańda, Aneta. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60227-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Good Practices and New Perspectives in Information Systems and Technologies WorldCIST 2024, Volume 6

2026-04-05T13:56:51Z

Yazar Rocha, Álvaro. editor. (orcid)0000-0002-0750-8187 Adeli, Hojjat. editor. (orcid)0000-0001-5718-1453 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Moreira, Fernando. editor. (orcid)0000-0002-0816-1445 Poniszewska-Marańda, Aneta. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60328-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Processes in Biology

2026-04-05T13:56:51Z

Yazar Fornés, José Antonio. author. (orcid)0000-0001-5679-2957 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-58078-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile-SOFL Agile Formal Engineering Method

2026-04-05T13:56:51Z

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

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62638-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Artificial Intelligence in Manufacturing Proceedings of the 1st European Symposium on Artificial Intelligence in Manufacturing, September 19, 2023, Kaiserslautern, Germany

2026-04-05T13:56:51Z

Yazar Wagner, Achim. editor. (orcid)0000-0002-0966-2559 Alexopoulos, Kosmas. editor. (orcid)0000-0002-3658-6838 Makris, Sotiris. editor. (orcid)0000-0001-9687-5925 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57496-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - CACIC 2023 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Pesado, Patricia. editor. Panessi, Walter. editor. (orcid)0009-0006-6299-1462 Fernández, Juan Manuel. editor. (orcid)0000-0001-9291-3066 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62245-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechatronics - Industry-Inspired Advances

2026-04-05T13:56:51Z

Yazar Martowicz, Adam. editor. (orcid)0000-0001-9630-0355 Mańka, Michał. editor. (orcid)0000-0002-2959-9681 Mendrok, Krzysztof. editor. (orcid)0000-0002-3720-6454 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63444-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Artificial Intelligence-Empowered Decision Support Systems Papers in Honour of Professor John Psarras

2026-04-05T13:56:51Z

Yazar Tsihrintzis, George A. editor. Virvou, Maria. editor. Doukas, Haris. editor. (orcid)0000-0002-3369-0592 Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62316-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

2026-04-05T13:56:51Z

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

Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures

2026-04-05T13:56:51Z

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

Vehicle Computing From Traditional Transportation to Computing on Wheels

2026-04-05T13:56:51Z

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

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64182-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Proceedings of the 2024 Conference on Systems Engineering Research

2026-04-05T13:56:51Z

Yazar Salado, Alejandro. editor. Valerdi, Ricardo. editor. Steiner, Rick. editor. Head, Larry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62554-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Extended Selected Papers of the 14th International Conference on Information, Intelligence, Systems, and Applications IISA2023

2026-04-05T13:56:51Z

Yazar Bourbakis, Nikolaos. editor. Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67426-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

2026-04-05T13:56:51Z

Yazar Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67114-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Choraś, Michał. editor. (orcid)0000-0003-1405-9911 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70879-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Choraś, Michał. editor. (orcid)0000-0003-1405-9911 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70890-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part IV

2026-04-05T13:56:51Z

Yazar Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Choraś, Michał. editor. (orcid)0000-0003-1405-9911 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70903-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security - ESORICS 2024 29th European Symposium on Research in Computer Security, Bydgoszcz, Poland, September 16-20, 2024, Proceedings, Part III

2026-04-05T13:56:51Z

Yazar Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Kozik, Rafał. editor. (orcid)0000-0001-7122-3306 Choraś, Michał. editor. (orcid)0000-0003-1405-9911 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70896-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical Modeling and Simulation of Systems Selected Papers of 18th International Conference, MODS, November 13-15, 2023, Chernihiv, Ukraine

2026-04-05T13:56:51Z

Yazar Kazymyr, Volodymyr. editor. Morozov, Anatoliy. editor. Palagin, Alexander. editor. Shkarlet, Serhiy. editor. Stoianov, Nikolai. editor. (orcid)0000-0002-4953-4172
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67348-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68606-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Soft Computing and Communication Networks Proceedings of ACN 2023

2026-04-05T13:56:51Z

Yazar Thampi, Sabu M. editor. Hu, Jiankun. editor. Das, Ashok Kumar. editor. (orcid)0000-0002-5196-9589 Mathew, Jimson. editor. Tripathi, Shikha. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2004-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT for Intelligent Systems Proceedings of ICTIS 2024, Volume 4

2026-04-05T13:56:51Z

Yazar Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690 Mahalle, Parikshit N. editor. Perumal, Thinagaran. editor. (orcid)0000-0003-0698-5413 Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-6678-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Diabetes Technology

2026-04-05T13:56:51Z

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

Emerging Challenges in Intelligent Management Information Systems Proceedings of 27th European Conference on Artificial Intelligence ECAI 2024 - IMIS Workshop. Volume 2

2026-04-05T13:56:51Z

Yazar Hernes, Marcin. editor. (orcid)0000-0002-3832-8154 Wątróbski, Jaroslaw. editor. Rot, Artur. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78468-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part I

2026-04-05T13:56:51Z

Yazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64748-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Information Systems 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24-26, 2023, Revised Selected Papers, Part II

2026-04-05T13:56:51Z

Yazar Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64755-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Challenges in Intelligent Management Information Systems Proceedings of 26th European Conference on Artificial Intelligence ECAI 2023 - IMIS 2023 Workshop

2026-04-05T13:56:51Z

Yazar Hernes, Marcin. editor. (orcid)0000-0002-3832-8154 Wątróbski, Jarosław. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66761-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Software Aspects of Theory and System Design

2026-04-05T13:56:51Z

Yazar Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64136-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decision Making and Decision Support in the Information Era Dedicated to Academician Florin Filip

2026-04-05T13:56:51Z

Yazar Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Belciug, Smaranda. editor. Kacprzyk, Janusz. editor. (orcid)0000-0003-4187-5877 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62158-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

13th International Conference on Information Systems and Advanced Technologies "ICISAT 2023" New Trends in Artificial Intelligence, Computing and Decision Making. Volume 1

2026-04-05T13:56:51Z

Yazar Laouar, Mohamed Ridda. editor. Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 Piuri, Vincenzo. editor. Rad, Dana. editor. Touati Hamad, Zineb. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60591-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Moser, Bernhard. editor. Fischer, Lukas. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Sametinger, Johannes. editor. (orcid)0000-0002-0637-6602 Glock, Anna-Christina. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68302-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

2026-04-05T13:56:51Z

Yazar Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-69042-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers

2026-04-05T13:56:51Z

Yazar Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Febles Estrada, Ailyn. editor. (orcid)0000-0002-5742-9719 De Castro Lozano, Carlos. editor. (orcid)0000-0002-8240-0344 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70439-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the International Conference on Intelligent Systems and Networks ICISN 2024, 22-23 March 2024, Hanoi, Vietnam

2026-04-05T13:56:51Z

Yazar Nguyen, Thi Dieu Linh. editor. Dawson, Maurice. editor. Ngoc, Le Anh. editor. Lam, Kwok Yan. editor. (orcid)0000-0001-7479-7970 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5504-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Systems: Data Driven Engineering

2026-04-05T13:56:51Z

Yazar Alam, Mohammad-Reza. editor. (orcid)0000-0002-9730-0717 Fathi, Madjid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53652-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

13th International Conference on Information Systems and Advanced Technologies "ICISAT 2023" New Trends in Artificial Intelligence, Computing and Decision Making. Volume 2

2026-04-05T13:56:51Z

Yazar Laouar, Mohamed Ridda. editor. Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 Piuri, Vincenzo. editor. Rad, Dana. editor. Touati Hamad, Zineb. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60594-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72332-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72335-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72341-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72344-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72347-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VII

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72350-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72353-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72356-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72359-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Novel and Intelligent Digital Systems: Proceedings of the 4th International Conference (NiDS 2024)

2026-04-05T13:56:51Z

Yazar Mylonas, Phivos. editor. (orcid)0000-0002-6916-3129 Kardaras, Dimitris. editor. Caro, Jaime. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73344-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT for Intelligent Systems Proceedings of ICTIS 2024, Volume 5

2026-04-05T13:56:51Z

Yazar Choudrie, Jyoti. editor. (orcid)0000-0001-9349-7690 Mahalle, Parikshit N. editor. Perumal, Thinagaran. editor. (orcid)0000-0003-0698-5413 Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-6681-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III

2026-04-05T13:56:51Z

Yazar Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72338-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Complexity Management in Engineering Design - a Primer

2026-04-05T13:56:51Z

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

Advanced Multicore Systems-On-Chip Architecture, On-Chip Network, Design

2026-04-05T13:56:51Z

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