Arama Sonuçları Science -- Software. - Daraltılmış: 1:SPRINGER

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Cyber-Physical Systems Data Science, Modelling and Software Optimization

2026-03-27T21:10:17Z

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

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-27T21:10:17Z

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

Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-27T21:10:17Z

Yazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49630-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

2026-03-27T21:10:17Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75775-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

2026-03-27T21:10:17Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75783-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 2

2026-03-27T21:10:17Z

Yazar Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3762-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

2026-03-27T21:10:17Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75778-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 1

2026-03-27T21:10:17Z

Yazar Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3741-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-27T21:10:17Z

Yazar Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97492-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Benchmarking For Scientists and Engineers

2026-03-27T21:10:17Z

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

Multivariable Control Engineering Problems and their Solutions with GNU Octave

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Numbers and Computers

2026-03-27T21:10:17Z

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

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

2026-03-27T21:10:17Z

Yazar Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80607-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Intelligent Computing and Networking Proceedings of IC-ICN 2024

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

2026-03-27T21:10:17Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67695-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A First Introduction to Quantum Computing and Information

2026-03-27T21:10:17Z

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

Emerging Research in Intelligent Systems Proceedings of the CIT 2024 - Volume 1

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Emerging Research in Intelligent Systems Proceedings of the CIT 2024 - Volume 2

2026-03-27T21:10:17Z

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

Data Science and Communication Engineering Proceedings of ICTDsC 2024

2026-03-27T21:10:17Z

Yazar Misra, Debajyoti. editor. (orcid)0000-0002-3196-9821 Chakraborty, Mithun. editor. De, Debashis. editor. (orcid)0000-0002-9688-9806 Buyya, Rajkumar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4543-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024

2026-03-27T21:10:17Z

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

Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71412-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Software and Data Engineering 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings

2026-03-27T21:10:17Z

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

Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems

2026-03-27T21:10:17Z

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

5GtoB From Theory to Practice

2026-03-27T21:10:17Z

Yazar Song, Liang. author. Chen, Mingsong. author. Xu, Zhibing. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-8453-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86695-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87569-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Software Project Management

2026-03-27T21:10:17Z

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-03-27T21:10:17Z

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

Object-based Programming with Go

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Computational Science and Computational Intelligence 11th International Conference, CSCI 2024, Las Vegas, NV, USA, December 11-13, 2024, Proceedings, Part V

2026-03-27T21:10:17Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95127-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Project Management in Cloud and IoT Applications

2026-03-27T21:10:17Z

Yazar Bhatt, Pramod Chandra P. author. Sehgal, Naresh Kumar. author. Castro, Richard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-99427-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Artificial Intelligence and Sustainability

2026-03-27T21:10:17Z

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

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7743-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Information Management and Big Data 10th Annual International Conference, SIMBig 2023, Mexico City, Mexico, December 13-15, 2023, Proceedings

2026-03-27T21:10:17Z

Yazar Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Ceh-Varela, Eduardo. editor. (orcid)0000-0001-6277-2741 Vargas-Solar, Genoveva. editor. (orcid)0000-0001-9545-1821 Marcacini, Ricardo. editor. (orcid)0000-0002-2309-3487 Tadonki, Claude. editor. (orcid)0000-0003-1194-6400
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63616-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 1

2026-03-27T21:10:17Z

Yazar Singh, Yashwant. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Gonçalves, Paulo J. Sequeira. editor. Kar, Arpan Kumar. editor. (orcid)0000-0003-4186-4887 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2839-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 I

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2026-03-27T21:10:17Z

Yazar Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72621-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cell Migration in Development, Health and Disease

2026-03-27T21:10:17Z

Yazar Brüning-Richardson, Anke. editor. (orcid)0000-0002-9862-9805 Knipp, Sabine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64532-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of International Conference on Intelligent Vision and Computing (ICIVC 2023) Volume 1

2026-03-27T21:10:17Z

Yazar Saha, Apu Kumar. editor. (orcid)0000-0002-3475-018X Sharma, Harish. editor. Prasad, Mukesh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71391-0
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-03-27T21:10:17Z

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

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I

2026-03-27T21:10:17Z

Yazar Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49266-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems, Business, and Innovation Research

2026-03-27T21:10:17Z

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

Digital Signal Processing Illustration Using Python

2026-03-27T21:10:17Z

Yazar Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-6752-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Communication and Applied Technologies Proceedings of ICOMTA 2023

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Structures of Computing A Guide to Practice-Oriented Theory

2026-03-27T21:10:17Z

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

Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2023

2026-03-27T21:10:17Z

Yazar Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0180-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linear Multivariable Control Engineering Using GNU Octave

2026-03-27T21:10:17Z

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

Large Language Models in Cybersecurity Threats, Exposure and Mitigation

2026-03-27T21:10:17Z

Yazar Kucharavy, Andrei. editor. Plancherel, Octave. editor. Mulder, Valentin. editor. Mermoud, Alain. editor. Lenders, Vincent. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54827-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Using Artificial Intelligence to Solve Transportation Problems

2026-03-27T21:10:17Z

Yazar Sładkowski, Aleksander. editor. (orcid)0000-0002-1041-4309 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-69487-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Introduction to Digital Control An Integrated Approach

2026-03-27T21:10:17Z

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

Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 2

2026-03-27T21:10:17Z

Yazar Illés, Zoltán. editor. Verma, Chaman. editor. (orcid)0000-0002-9925-112X Gonçalves, Paulo J. Sequeira. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-3442-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The 13th Conference on Information Technology and Its Applications Proceedings of the International Conference CITA 2024

2026-03-27T21:10:17Z

Yazar Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Huynh, Cong-Phap. editor. Nguyen, Thanh Thuy. editor. Le-Khac, Nhien-An. editor. (orcid)0000-0003-4373-2212 Nguyen, Quang-Vu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74127-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

EndNote 1-2-3 Easy! Reference Management for the Professional

2026-03-27T21:10:17Z

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

Computer Networks Data Communications, Internet and Security

2026-03-27T21:10:17Z

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

Challenging Programming in Python: A Problem Solving Perspective

2026-03-27T21:10:17Z

Yazar Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-39999-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

2026-03-27T21:10:17Z

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

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50423-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Science and Communication Proceedings of ICTDsC 2023

2026-03-27T21:10:17Z

Yazar Tavares, João Manuel R. S. editor. (orcid)0000-0001-7603-6526 Rodrigues, Joel J. P. C. editor. Misra, Debajyoti. editor. (orcid)0000-0002-3196-9821 Bhattacherjee, Debasmriti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5435-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering

2026-03-27T21:10:17Z

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

Project Management in Cloud Applications

2026-03-27T21:10:17Z

Yazar Bhatt, Pramod Chandra P. author. Sehgal, Naresh Kumar. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53890-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infrared Small Target Detection Theory, Methods, and Algorithms.

2026-03-27T21:10:17Z

Yazar Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-9799-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Industrial Recommender System Principles, Technologies and Enterprise Applications

2026-03-27T21:10:17Z

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

Finite Element Methods Parallel-Sparse Statics and Eigen-Solutions

2026-03-27T21:10:17Z

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

The French School of Programming

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part I

2026-03-27T21:10:17Z

Yazar Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62846-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part II

2026-03-27T21:10:17Z

Yazar Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62849-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Face De-identification: Safeguarding Identities in the Digital Era

2026-03-27T21:10:17Z

Yazar Wen, Yunqian. author. Liu, Bo. author. (orcid)0000-0002-3603-6617 Song, Li. author. Cao, Jingyi. author. Xie, Rong. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-58222-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimentation in Software Engineering

2026-03-27T21:10:17Z

Yazar Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-69306-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Computational Thinking First Algorithms, Then Code

2026-03-27T21:10:17Z

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

Proceedings of International Conference on Intelligent Vision and Computing (ICIVC 2023) Volume 2

2026-03-27T21:10:17Z

Yazar Saha, Apu Kumar. editor. (orcid)0000-0002-3475-018X Sharma, Harish. editor. Prasad, Mukesh. editor. (orcid)0000-0002-7745-9667 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71388-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 3

2026-03-27T21:10:17Z

Yazar Singh, Yashwant. editor. Gonçalves, Paulo J. Sequeira. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Kolekar, Maheshkumar H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-7862-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Solving Ordinary Differential Equations in Python

2026-03-27T21:10:17Z

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

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

2026-03-27T21:10:17Z

Yazar Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49269-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Planning A Practical Approach

2026-03-27T21:10:17Z

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

New Perspectives in Software Engineering

2026-03-27T21:10:17Z

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

Self-Aware Computing Systems

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Modern Language Models and Computation Theory with Applications

2026-03-27T21:10:17Z

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

Source Code Modularization Theory and Techniques

2026-03-27T21:10:17Z

Yazar Isazadeh, Ayaz. author. Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Elgedawy, Islam. author. (orcid)0000-0002-9884-1590 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63346-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Analytics for Protein Crystallization

2026-03-27T21:10:17Z

Yazar Pusey, Marc L. author. Aygün, Ramazan Savaş. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58937-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Graphics for Java Programmers

2026-03-27T21:10:17Z

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

Health Information Science 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Huang, Zhisheng. editor. Aickelin, Uwe. editor. Zhou, Rui. editor. Wang, Hua. editor. (orcid)0000-0002-8465-0996
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69182-4
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-03-27T21:10:17Z

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

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6893-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65551-2
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-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Current Trends on Knowledge-Based Systems

2026-03-27T21:10:17Z

Yazar Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51905-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Support of Decision Processes with Business Intelligence and Analytics Insights on the Roles of Ambidexterity, Information Processing and Advice

2026-03-27T21:10:17Z

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

Computing in Smart Toys

2026-03-27T21:10:17Z

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

Simulating Crowds in Egress Scenarios

2026-03-27T21:10:17Z

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

Bioinformatics for Evolutionary Biologists A Problems Approach

2026-03-27T21:10:17Z

Yazar Haubold, Bernhard. author. Börsch-Haubold, Angelika. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67395-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59647-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

2026-03-27T21:10:17Z

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

Information Science and Applications 2017 ICISA 2017

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2026-03-27T21:10:17Z

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

Advanced Computing and Systems for Security Volume Four

2026-03-27T21:10:17Z

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

Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

2026-03-27T21:10:17Z

Yazar Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51046-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69926-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67113-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XXX Special Issue on Cyberworlds and Cybersecurity

2026-03-27T21:10:17Z

Yazar L. Gavrilova, Marina. editor. Tan, C.J. Kenneth. editor. Sourin, Alexei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-56006-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ethical and Social Issues in the Information Age

2026-03-27T21:10:17Z

Yazar Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70712-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Analytics and Management in Data Intensive Domains XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11 -14, 2016, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Kalinichenko, Leonid. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57135-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hard and Soft Computing for Artificial Intelligence, Multimedia and Security

2026-03-27T21:10:17Z

Yazar Kobayashi, Shin-ya. editor. Piegat, Andrzej. editor. Pejaś, Jerzy. editor. El Fray, Imed. editor. Kacprzyk, Janusz. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48429-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Advanced Computing and Systems for Security Volume Three

2026-03-27T21:10:17Z

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

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

2026-03-27T21:10:17Z

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

Numbers and Computers

2026-03-27T21:10:17Z

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

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51963-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Modeling and Simulation of Systems of Systems

2026-03-27T21:10:17Z

Yazar P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64134-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54292-8
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-03-27T21:10:17Z

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

Researching Complex Information Infrastructures Design Characteristics of ICT Tools for Examining Modern Technology Usage

2026-03-27T21:10:17Z

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

Enterprise Architecture at Work Modelling, Communication and Analysis

2026-03-27T21:10:17Z

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

Reverse Engineering the Mind Consciously Acting Machines and Accelerated Evolution

2026-03-27T21:10:17Z

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

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51676-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

2026-03-27T21:10:17Z

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

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2026-03-27T21:10:17Z

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

Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64119-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

2026-03-27T21:10:17Z

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

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-03-27T21:10:17Z

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

Fundamentals of Secure System Modelling

2026-03-27T21:10:17Z

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

Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods

2026-03-27T21:10:17Z

Yazar Kousalya, G. author. Balakrishnan, P. author. Pethuru Raj, C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56982-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58187-3
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-03-27T21:10:17Z

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

The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library

2026-03-27T21:10:17Z

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

Models of Computation

2026-03-27T21:10:17Z

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

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2026-03-27T21:10:17Z

Yazar Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57418-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

2026-03-27T21:10:17Z

Yazar Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51653-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Approach to Compiler Construction

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Concise Guide to Software Engineering From Fundamentals to Application Methods

2026-03-27T21:10:17Z

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

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

2026-03-27T21:10:17Z

Yazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68270-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2026-03-27T21:10:17Z

Yazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63121-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XXIX

2026-03-27T21:10:17Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-54563-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures

2026-03-27T21:10:17Z

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

Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings

2026-03-27T21:10:17Z

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

Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK

2026-03-27T21:10:17Z

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

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2026-03-27T21:10:17Z

Yazar Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45480-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40361-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland

2026-03-27T21:10:17Z

Yazar Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. (orcid)0000-0003-1452-3067 Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39639-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Control Flow Concurrent Programming Using μC++

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-31220-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Science and Applications (ICISA) 2016

2026-03-27T21:10:17Z

Yazar Kim, Kuinam J. editor. Joukov, Nikolai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0557-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Data Analysis using Aggregation Functions in R

2026-03-27T21:10:17Z

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

Retrogame Archeology Exploring Old Computer Games

2026-03-27T21:10:17Z

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

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

2026-03-27T21:10:17Z

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

Gamer Psychology and Behavior

2026-03-27T21:10:17Z

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

Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

2026-03-27T21:10:17Z

Yazar Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30734-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile and Wireless Technologies 2016

2026-03-27T21:10:17Z

Yazar Kim, Kuinam J. editor. Wattanapongsakorn, Naruemon. editor. Joukov, Nikolai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1409-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-27T21:10:17Z

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

Health Information Science 5th International Conference, HIS 2016, Shanghai, China, November 5-7, 2016, Proceedings

2026-03-27T21:10:17Z

Yazar Yin, Xiaoxia. editor. Geller, James. editor. Li, Ye. editor. Zhou, Rui. editor. Wang, Hua. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-48335-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

2026-03-27T21:10:17Z

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

Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

2026-03-27T21:10:17Z

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

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2026-03-27T21:10:17Z

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

Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings

2026-03-27T21:10:17Z

Yazar Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951 Drăgoicea, Monica. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32689-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Algorithms

2026-03-27T21:10:17Z

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

Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applications

2026-03-27T21:10:17Z

Yazar Möller, Dietmar P.F. author. (orcid)0009-0002-6897-7662 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25178-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 1

2026-03-27T21:10:17Z

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

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2026-03-27T21:10:17Z

Yazar Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39570-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Iris Recognition

2026-03-27T21:10:17Z

Yazar Bowyer, Kevin W. editor. Burge, Mark J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6784-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2026-03-27T21:10:17Z

Yazar Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33600-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30246-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control

2026-03-27T21:10:17Z

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

Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 1

2026-03-27T21:10:17Z

Yazar Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2755-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications

2026-03-27T21:10:17Z

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

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2026-03-27T21:10:17Z

Yazar Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44878-7
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-03-27T21:10:17Z

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

Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2026-03-27T21:10:17Z

Yazar Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42019-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46140-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computing and Systems for Security Volume 2

2026-03-27T21:10:17Z

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

Software Engineering Research, Management and Applications

2026-03-27T21:10:17Z

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

Quality in Business Process Modeling

2026-03-27T21:10:17Z

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

Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 2

2026-03-27T21:10:17Z

Yazar Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2752-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Systems in Engineering Design Principles and Applications

2026-03-27T21:10:17Z

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

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2026-03-27T21:10:17Z

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

Advances in Control System Technology for Aerospace Applications

2026-03-27T21:10:17Z

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

Decision Procedures An Algorithmic Point of View

2026-03-27T21:10:17Z

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

Spline and Spline Wavelet Methods with Applications to Signal and Image Processing Volume II: Non-Periodic Splines

2026-03-27T21:10:17Z

Yazar Averbuch, Amir Z. author. Neittaanmäki, Pekka. author. Zheludev, Valery A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-22303-2
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-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Transactions on Computational Science XXVI Special Issue on Cyberworlds and Cybersecurity

2026-03-27T21:10:17Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Iglesias, Andrés. editor. Shinya, Mikio. editor. Galvez, Akemi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49247-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web - ISWC 2016 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part II

2026-03-27T21:10:17Z

Yazar Groth, Paul. editor. Simperl, Elena. editor. Gray, Alasdair. editor. Sabou, Marta. editor. Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46547-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2026-03-27T21:10:17Z

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

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2026-03-27T21:10:17Z

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

Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 3

2026-03-27T21:10:17Z

Yazar Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. (orcid)0000-0001-9447-647X Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2757-1
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-03-27T21:10:17Z

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

Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

2026-03-27T21:10:17Z

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

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2026-03-27T21:10:17Z

Yazar Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29919-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XXVII

2026-03-27T21:10:17Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-50412-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

2026-03-27T21:10:17Z

Yazar Sombattheera, Chattrakul. editor. Stolzenburg, Frieder. editor. Lin, Fangzhen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49397-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2026-03-27T21:10:17Z

Yazar Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49192-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computing and Systems for Security Volume 1

2026-03-27T21:10:17Z

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

Anaphora Resolution Algorithms, Resources, and Applications

2026-03-27T21:10:17Z

Yazar Poesio, Massimo. editor. Stuckardt, Roland. editor. Versley, Yannick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-47909-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Practical Introduction to Fuzzy Logic using LISP

2026-03-27T21:10:17Z

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

Ethics in Computing A Concise Module

2026-03-27T21:10:17Z

Yazar Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29106-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to the History of Computing A Computing History Primer

2026-03-27T21:10:17Z

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

Information Sciences and Systems 2015 30th International Symposium on Computer and Information Sciences (ISCIS 2015)

2026-03-27T21:10:17Z

Yazar Abdelrahman, Omer H. editor. Gelenbe, Erol. editor. Gorbil, Gokce. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-22635-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

2026-03-27T21:10:17Z

Yazar Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27810-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Process Mining Data Science in Action

2026-03-27T21:10:17Z

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

Transactions on Computational Science XXVIII Special Issue on Cyberworlds and Cybersecurity

2026-03-27T21:10:17Z

Yazar Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Sourin, Alexei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-53090-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-27T21:10:17Z

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

Automation Control Theory Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3

2026-03-27T21:10:17Z

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

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

2026-03-27T21:10:17Z

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

The Semantic Web - ISWC 2016 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I

2026-03-27T21:10:17Z

Yazar Groth, Paul. editor. Simperl, Elena. editor. Gray, Alasdair. editor. Sabou, Marta. editor. Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46523-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015

2026-03-27T21:10:17Z

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

Platform Embedded Security Technology Revealed Safeguarding the Future of Computing with Intel Embedded Security and Management Engine

2026-03-27T21:10:17Z

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