Arama Sonuçları set. - Daraltılmış: Software engineering.

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2026-05-15T18:17:38Z

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

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

2026-05-15T18:17:38Z

Yazar Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28038-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Techniques Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers

2026-05-15T18:17:38Z

Yazar Huzar, Zbigniew. editor. Koci, Radek. editor. Meyer, Bertrand. editor. Walter, Bartosz. editor. Zendulka, Jaroslav. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22386-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

2026-05-15T18:17:38Z

Yazar Meyer, Bertrand. editor. Nawrocki, Jerzy R. editor. Walter, Bartosz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85279-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Data Engineering and Automated Learning - IDEAL 2024 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Julian, Vicente. editor. (orcid)0000-0002-2743-6037 Camacho, David. editor. (orcid)0000-0002-0535-7450 Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Alberola, Juan M. editor. (orcid)0000-0002-5486-5638 Nogueira, Vitor Beires. editor. (orcid)0000-0002-0793-0003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77731-8
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-05-15T18:17:38Z

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

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0786-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0798-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

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

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

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

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I

2026-05-15T18:17:38Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78459-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II

2026-05-15T18:17:38Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78462-0
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-05-15T18:17:38Z

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

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-05-15T18:17:38Z

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-05-15T18:17:38Z

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

Tools and Algorithms for the Construction and Analysis of Systems 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-05-15T18:17:38Z

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

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93221-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93230-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-05-15T18:17:38Z

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

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93730-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93227-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97629-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98679-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98668-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98682-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98685-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Modelling and Programming

2026-05-15T18:17:38Z

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

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

2026-05-15T18:17:38Z

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

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0774-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92977-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92980-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V

2026-05-15T18:17:38Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93233-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI

2026-05-15T18:17:38Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93236-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93733-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93736-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93739-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94569-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94571-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96962-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97000-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97626-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-05-15T18:17:38Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97573-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97567-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

2026-05-15T18:17:38Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97570-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97632-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97635-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97557-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97564-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71177-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74595-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74598-0
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-05-15T18:17:38Z

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-05-15T18:17:38Z

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 Data Engineering and Automated Learning - IDEAL 2024 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Julian, Vicente. editor. (orcid)0000-0002-2743-6037 Camacho, David. editor. (orcid)0000-0002-0535-7450 Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Alberola, Juan M. editor. (orcid)0000-0002-5486-5638 Nogueira, Vitor Beires. editor. (orcid)0000-0002-0793-0003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77738-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0805-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0808-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0792-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0777-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81168-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81171-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II

2026-05-15T18:17:38Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83432-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I

2026-05-15T18:17:38Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83435-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92471-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92474-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0783-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0771-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0780-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0795-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX

2026-05-15T18:17:38Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0789-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-05-15T18:17:38Z

Yazar Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74318-4
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-05-15T18:17:38Z

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

Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I

2026-05-15T18:17:38Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83207-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II

2026-05-15T18:17:38Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83210-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part III

2026-05-15T18:17:38Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84078-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Software Project Management

2026-05-15T18:17:38Z

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

Compiler Construction Fundamentals and Applications

2026-05-15T18:17:38Z

Yazar Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84813-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30-July 3, 2025, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96997-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and Expert Systems Applications 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Strauss, Christine. editor. (orcid)0000-0003-0276-3610 Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230 Manco, Giuseppe. editor. Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68309-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50521-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50524-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48930-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I

2026-05-15T18:17:38Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrión, Pablo. editor. (orcid)0000-0002-7606-0582 Durakovic, Benjamin. editor. (orcid)0000-0002-3099-0354
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-58956-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61356-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63772-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

2026-05-15T18:17:38Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63775-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Huang, De-Shuang. editor. Si, Zhanjun. editor. Zhang, Qinhu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5669-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64067-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64070-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64076-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70344-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70359-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part V

2026-05-15T18:17:38Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70362-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70341-6
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-05-15T18:17:38Z

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

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VI

2026-05-15T18:17:38Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70365-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IX

2026-05-15T18:17:38Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70378-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part X

2026-05-15T18:17:38Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70381-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77426-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77432-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48858-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II

2026-05-15T18:17:38Z

Yazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53036-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56580-9
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-05-15T18:17:38Z

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-05-15T18:17:38Z

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-05-15T18:17:38Z

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

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V

2026-05-15T18:17:38Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61362-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61359-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63749-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63759-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII

2026-05-15T18:17:38Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63783-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63498-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63501-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64605-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2024 24th International Conference, Hanoi, Vietnam, July 1-4, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Taniar, David. editor. (orcid)0000-0002-8862-3960 C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64608-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64064-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48855-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

2026-05-15T18:17:38Z

Yazar Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53025-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54521-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54528-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54531-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Structures of Computing A Guide to Practice-Oriented Theory

2026-05-15T18:17:38Z

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

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56583-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61353-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61351-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III

2026-05-15T18:17:38Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrión, Pablo. editor. (orcid)0000-0002-7606-0582 Durakovic, Benjamin. editor. (orcid)0000-0002-3099-0354
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-58950-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI

2026-05-15T18:17:38Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63778-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX

2026-05-15T18:17:38Z

Yazar Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54369-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63751-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

2026-05-15T18:17:38Z

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

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Huang, De-Shuang. editor. Zhang, Xiankun. editor. Zhang, Qinhu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5663-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part V

2026-05-15T18:17:38Z

Yazar Huang, De-Shuang. editor. Zhang, Xiankun. editor. Zhang, Chuanlei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5675-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Huang, De-Shuang. editor. Zhang, Chuanlei. editor. Pan, Yijie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5666-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Huang, De-Shuang. editor. Si, Zhanjun. editor. Zhang, Chuanlei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5672-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI

2026-05-15T18:17:38Z

Yazar Huang, De-Shuang. editor. Si, Zhanjun. editor. Chen, Wei. editor. (orcid)0000-0002-7663-278X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-5678-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database and Expert Systems Applications 35th International Conference, DEXA 2024, Naples, Italy, August 26-28, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Strauss, Christine. editor. (orcid)0000-0003-0276-3610 Amagasa, Toshiyuki. editor. (orcid)0000-0003-0595-2230 Manco, Giuseppe. editor. Kotsis, Gabriele. editor. (orcid)0000-0002-4185-2942 Tjoa, A Min. editor. (orcid)0000-0002-8295-9252
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68312-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VII

2026-05-15T18:17:38Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70368-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70055-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70068-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70071-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Problem Solving from Nature - PPSN XVIII 18th International Conference, PPSN 2024, Hagenberg, Austria, September 14-18, 2024, Proceedings, Part IV

2026-05-15T18:17:38Z

Yazar Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294 Kononova, Anna V. editor. (orcid)0000-0002-4138-7024 Trautmann, Heike. editor. (orcid)0000-0002-9788-8282 Tušar, Tea. editor. (orcid)0000-0002-6495-006X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70085-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II

2026-05-15T18:17:38Z

Yazar Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75236-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I

2026-05-15T18:17:38Z

Yazar Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75233-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-69766-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70352-2
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-05-15T18:17:38Z

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

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71739-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71743-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An introduction to self-adaptive systems : a contemporary software engineering perspective

2026-05-15T18:17:38Z

Yazar Weyns, Danny.
Yer Numarası QA76.76 .S375
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-05-15T18:17:38Z

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

ACS Without an Attitude

2026-05-15T18:17:38Z

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

String Analysis for Software Verification and Security

2026-05-15T18:17:38Z

Yazar Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68670-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-Aware Computing Systems

2026-05-15T18:17:38Z

Yazar Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47474-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

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

Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

2026-05-15T18:17:38Z

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

The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68204-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Journey to Enterprise Agility Systems Thinking and Organizational Legacy

2026-05-15T18:17:38Z

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

Automotive Software Architectures An Introduction

2026-05-15T18:17:38Z

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

The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterprise

2026-05-15T18:17:38Z

Yazar Sharma, Sanjeev (Information technology executive), author.
Yer Numarası QA76.758
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming in HTML and PHP Coding for Scientists and Engineers

2026-05-15T18:17:38Z

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

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

2026-05-15T18:17:38Z

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

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI

2026-05-15T18:17:38Z

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

Combinatorial Optimization and Applications 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I

2026-05-15T18:17:38Z

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

Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68783-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-05-15T18:17:38Z

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

Cryptography and Coding 16th IMA International Conference, IMACC 2017, Oxford, UK, December 12-14, 2017, Proceedings

2026-05-15T18:17:38Z

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

Pervasive Computing Engineering Smart Systems

2026-05-15T18:17:38Z

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

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2026-05-15T18:17:38Z

Yazar Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51738-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-05-15T18:17:38Z

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

Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part III

2026-05-15T18:17:38Z

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

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60042-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part I

2026-05-15T18:17:38Z

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

Representing Scientific Knowledge The Role of Uncertainty

2026-05-15T18:17:38Z

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

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66923-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Cryptography 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

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

Advances in Cryptology - CRYPTO 2017 37th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 20-24, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

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

New Perspectives in End-User Development

2026-05-15T18:17:38Z

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

Human-Computer Interaction. User Interface Design, Development and Multimodality 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-05-15T18:17:38Z

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

Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III

2026-05-15T18:17:38Z

Yazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58640-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 II

2026-05-15T18:17:38Z

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

Human-Computer Interaction. Interaction Contexts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

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

Fundamentals of Secure System Modelling

2026-05-15T18:17:38Z

Yazar Matulevičius, Raimundas. author. (orcid)0000-0002-1829-4794 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61717-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Software Engineering From Fundamentals to Application Methods

2026-05-15T18:17:38Z

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

Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60045-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68786-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Reality, Virtual Reality, and Computer Graphics 4th International Conference, AVR 2017, Ugento, Italy, June 12-15, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

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

Computer Security - ESORICS 2017 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Foley, Simon N. editor. Gollmann, Dieter. editor. Snekkenes, Einar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66399-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

2026-05-15T18:17:38Z

Yazar Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61660-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 I

2026-05-15T18:17:38Z

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

Design, User Experience, and Usability: Designing Pleasurable Experiences 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

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

Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66926-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68288-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I

2026-05-15T18:17:38Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32149-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Modeling and Simulation in Business System Design

2026-05-15T18:17:38Z

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

Human-Computer Interaction. Novel User Experiences 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III

2026-05-15T18:17:38Z

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

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

2026-05-15T18:17:38Z

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

Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I

2026-05-15T18:17:38Z

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

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

2026-05-15T18:17:38Z

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

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

2026-05-15T18:17:38Z

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

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48740-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-05-15T18:17:38Z

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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

2026-05-15T18:17:38Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47166-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-05-15T18:17:38Z

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

Web Information Systems Engineering - WISE 2016 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Cellary, Wojciech. editor. Mokbel, Mohamed F. editor. Wang, Jianmin. editor. Wang, Hua. editor. Zhou, Rui. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48743-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings

2026-05-15T18:17:38Z

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

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

2026-05-15T18:17:38Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47169-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

2026-05-15T18:17:38Z

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

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

2026-05-15T18:17:38Z

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

Economics of Grids, Clouds, Systems, and Services 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers

2026-05-15T18:17:38Z

Yazar Altmann, Jörn. editor. Silaghi, Gheorghe Cosmin. editor. Rana, Omer F. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43177-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I

2026-05-15T18:17:38Z

Yazar Mandler, Benny. editor. Marquez-Barja, Johann. editor. Mitre Campista, Miguel Elias. editor. Cagáňová, Dagmar. editor. (orcid)0000-0002-6834-6126 Chaouchi, Hakima. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47063-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I

2026-05-15T18:17:38Z

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

Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III

2026-05-15T18:17:38Z

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

Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II

2026-05-15T18:17:38Z

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

Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II

2026-05-15T18:17:38Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32152-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things. IoT Infrastructures Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II

2026-05-15T18:17:38Z

Yazar Mandler, Benny. editor. Marquez-Barja, Johann. editor. Mitre Campista, Miguel Elias. editor. Cagáňová, Dagmar. editor. (orcid)0000-0002-6834-6126 Chaouchi, Hakima. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47075-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Using R for Statistics

2026-05-15T18:17:38Z

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

Express.js Deep API Reference

2026-05-15T18:17:38Z

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

Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX

2026-05-15T18:17:38Z

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

Pro JavaScript Development Coding, Capabilities, and Tooling

2026-05-15T18:17:38Z

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

Beginning Google Glass Development

2026-05-15T18:17:38Z

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

Introducing Maven

2026-05-15T18:17:38Z

Yazar Varanasi, Balaji. author. Belida, Sudha. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4842-0841-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

jQuery 2 Recipes A Problem-Solution Approach

2026-05-15T18:17:38Z

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

Expert Oracle Database Architecture

2026-05-15T18:17:38Z

Yazar Kyte, Thomas. author. Kuhn, Darl. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6299-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thinking in LINQ Harnessing the Power of Functional Programming in .NET Applications

2026-05-15T18:17:38Z

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

Computers, Software Engineering, and Digital Devices

2026-05-15T18:17:38Z

Yazar Dorf, Richard C., author. Taylor and Francis.
Yer Numarası TK7885
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1