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

Futureshock : happenings in computer science

2026-02-03T20:39:47Z

Yazar Sequoiah-Grayson, Sebastian, 1975- editor.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781032702797 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

EMERGING TRENDS IN COMPUTER SCIENCE AND ITS APPLICATION

2026-02-03T20:39:47Z

Yazar Tiwari, Anurag. Darbari, Manuj.
Yer Numarası QA76
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003606635 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent systems of computing and informatics

2026-02-03T20:39:47Z

Yazar Karim, Samsul Ariffin Abdul, editor.
Yer Numarası Q335
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003400387 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FOUNDATIONS OF DATA SCIENCE WITH PYTHON

2026-02-03T20:39:47Z

Yazar Shea, John M.
Yer Numarası QA76
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003324997 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creative approaches towards development of computing and multidisciplinary IT solutions for society

2026-02-03T20:39:47Z

Yazar Bijalwan, Anchit, editor.
Yer Numarası QA76 .C74 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model-Based Systems Engineering

2026-02-03T20:39:47Z

Yazar Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-93582-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2026-02-03T20:39:47Z

Yazar Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-35755-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Software Defect Prediction

2026-02-03T20:39:47Z

Yazar Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-2842-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning in the Age of Digital and Green Transition Proceedings of the 25th International Conference on Interactive Collaborative Learning (ICL2022), Volume 1

2026-02-03T20:39:47Z

Yazar Auer, Michael E. editor. Pachatz, Wolfgang. editor. Rüütmann, Tiia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-26876-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

2026-02-03T20:39:47Z

Yazar Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28859-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits

2026-02-03T20:39:47Z

Yazar Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-4017-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Admissible Consensus and Consensualization for Singular Multi-agent Systems

2026-02-03T20:39:47Z

Yazar Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-6990-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Resource Allocation in Network Function Virtualization Problems, Models and Algorithms

2026-02-03T20:39:47Z

Yazar Yang, Song. author. He, Nan. author. Li, Fan. author. Fu, Xiaoming. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-4815-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information is Energy Definition of a physically based concept of information

2026-02-03T20:39:47Z

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

Fourier Optics and Computational Imaging

2026-02-03T20:39:47Z

Yazar Khare, Kedar. author. Butola, Mansi. author. Rajora, Sunaina. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-18353-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

2026-02-03T20:39:47Z

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

Computer science security : concepts and tools

2026-02-03T20:39:47Z

Yazar Zaidoun, Ameur Salem, author.
Yer Numarası QA76.9 .A25 Z35 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394163847
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to bioinformatics and clinical scientific computing

2026-02-03T20:39:47Z

Yazar Ganney, Paul, author.
Yer Numarası QA76
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003316244 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A gentle introduction to scientific computing

2026-02-03T20:39:47Z

Yazar Stanescu, Dan, 1982- author.
Yer Numarası QA297
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9780429262876 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics and machine learning : from Martingales to metaheuristics

2026-02-03T20:39:47Z

Yazar Winters-Hilt, Stephen, author.
Yer Numarası Q325.5 .W558 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programlama dillerinin prensipleri : mantığı kavra, işleyişi öğren, kodu yaz

2026-02-03T20:39:47Z

Yazar Yumuşak, Nejat. Adak, M. Fatih.
Yer Numarası QA76.73.Y86 P76 2021
Format: Kitap
Durum Beytepe Kütüphanesi~2

Data Science Without Makeup : A Guidebook for End-Users, Analysts, and Managers.

2026-02-03T20:39:47Z

Yazar Zhilkin, Mikhail.
Yer Numarası QA76.9 .D32 Z455 2021
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003057420 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electromagnetism for signal processing, spectroscopy and contemporary computing : fundamentals and applications

2026-02-03T20:39:47Z

Yazar Shah, Khurshed Ahmad. Kumbhani, Brijesh. Garcia-Sanchez, Raul F. Misra, Prabhakar, 1955-
Yer Numarası QC760
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003213468 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inside the world of computing : technologies, uses, challenges

2026-02-03T20:39:47Z

Yazar Delhaye, J.-L. (Jean-Loïc)
Yer Numarası QA76
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821748
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

R uygulamalı yeniden örnekleme teknikleri

2026-02-03T20:39:47Z

Yazar Cebeci, Zeynel.
Yer Numarası QA75.5 C43 2020
Format: Kitap
Durum Beytepe Kütüphanesi~1

Theory and Practice of Natural Computing 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings

2026-02-03T20:39:47Z

Yazar Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Pond, Geoffrey. editor. (orcid)0000-0001-5069-0845 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34500-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – ASIACRYPT 2019 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II

2026-02-03T20:39:47Z

Yazar Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-34621-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings

2026-02-03T20:39:47Z

Yazar Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-33742-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Membrane Computing 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-12797-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Methods 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Nelson, Maria Augusta. editor. (orcid)0000-0002-1151-1362 Rocha, Carla. editor. (orcid)0000-0003-3102-5166 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-36701-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product Lifecycle Management in the Digital Twin Era 16th IFIP WG 5.1 International Conference, PLM 2019, Moscow, Russia, July 8–12, 2019, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Fortin, Clement. editor. Rivest, Louis. editor. Bernard, Alain. editor. (orcid)0000-0002-7037-2980 Bouras, Abdelaziz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-42250-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2026-02-03T20:39:47Z

Yazar Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28005-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bits on Chips

2026-02-03T20:39:47Z

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

Role Competency Matrix A Step-By-Step Guide to an Objective Competency Management System

2026-02-03T20:39:47Z

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

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2026-02-03T20:39:47Z

Yazar Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19034-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Software Engineering

2026-02-03T20:39:47Z

Yazar Cha, Sungdeok. editor. Taylor, Richard N. editor. Kang, Kyochul. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00262-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Scientific Data Management First International Conference, BigSDM 2018, Beijing, China, November 30 – December 1, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Li, Jianhui. editor. Meng, Xiaofeng. editor. Zhang, Ying. editor. Cui, Wenjuan. editor. Du, Zhihui. editor. (orcid)0000-0002-8435-1611
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28061-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Information Systems Development Designing Digitalization

2026-02-03T20:39:47Z

Yazar Andersson, Bo. editor. Johansson, Björn. editor. Barry, Chris. editor. (orcid)0000-0002-3664-8429 Lang, Michael. editor. (orcid)0000-0001-7961-2285 Linger, Henry. editor. (orcid)0000-0002-0400-1786
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-22993-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Algebra in Scientific Computing 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings

2026-02-03T20:39:47Z

Yazar England, Matthew. editor. (orcid)0000-0001-5729-3420 Koepf, Wolfram. editor. Sadykov, Timur M. editor. (orcid)0000-0003-0741-2318 Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-26831-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Improved FMEA Methods for Proactive Healthcare Risk Analysis

2026-02-03T20:39:47Z

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

Managed Software Evolution

2026-02-03T20:39:47Z

Yazar Reussner, Ralf. editor. Goedicke, Michael. editor. Hasselbring, Wilhelm. editor. Vogel-Heuser, Birgit. editor. Keim, Jan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13499-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Chang, Chuan-Yu. editor. Lin, Chien-Chou. editor. Lin, Horng-Horng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-9190-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence versus Human Intelligence Are Humans Going to Be Hacked?

2026-02-03T20:39:47Z

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

Digital Services and Platforms. Considerations for Sourcing 12th Global Sourcing Workshop 2018, La Thuile, Italy, February 21–24, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Kotlarsky, Julia. editor. (orcid)0000-0002-1478-549X Oshri, Ilan. editor. (orcid)0000-0001-6577-1795 Willcocks, Leslie. editor. (orcid)0000-0003-2572-9554 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-15850-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings

2026-02-03T20:39:47Z

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

Agile Methods 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Tonin, Graziela Simone. editor. Estácio, Bernardo. editor. Goldman, Alfredo. editor. Guerra, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-14310-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Becoming a data-driven Organisation Unlock the value of data

2026-02-03T20:39:47Z

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

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2026-02-03T20:39:47Z

Yazar Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20883-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Next Generation Computing Technologies on Computational Intelligence 4th International Conference, NGCT 2018, Dehradun, India, November 21–22, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-1718-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Historical Studies in Computing, Information, and Society Insights from the Flatiron Lectures

2026-02-03T20:39:47Z

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

Information Literacy in Everyday Life 6th European Conference, ECIL 2018, Oulu, Finland, September 24–27, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Kurbanoğlu, Serap. editor. Špiranec, Sonja. editor. Ünal, Yurdagül. editor. Boustany, Joumana. editor. Huotari, Maija Leena. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-13472-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Ren, Rui. editor. Zheng, Chen. editor. Zhan, Jianfeng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-5910-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-15-0310-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Software Science State of the Art and Perspectives

2026-02-03T20:39:47Z

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

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2026-02-03T20:39:47Z

Yazar Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30126-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Global Perspectives on Industrial Engineering and Management International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM

2026-02-03T20:39:47Z

Yazar Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93488-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage

2026-02-03T20:39:47Z

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

Intelligent Technologies for Interactive Entertainment 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings

2026-02-03T20:39:47Z

Yazar Chisik, Yoram. editor. Holopainen, Jussi. editor. Khaled, Rilla. editor. Luis Silva, José. editor. Alexandra Silva, Paula. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73062-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2026-02-03T20:39:47Z

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

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

2026-02-03T20:39:47Z

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

The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Science

2026-02-03T20:39:47Z

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

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99960-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

2026-02-03T20:39:47Z

Yazar Prasad, Sushil K. editor. Gupta, Anshul. editor. Rosenberg, Arnold. editor. Sussman, Alan. editor. Weems, Charles. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93109-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Objective Optimization Evolutionary to Hybrid Framework

2026-02-03T20:39:47Z

Yazar Mandal, Jyotsna K. editor. Mukhopadhyay, Somnath. editor. Dutta, Paramartha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1471-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Technologies for Authorization and Authentication First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings

2026-02-03T20:39:47Z

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

Programming with Actors State-of-the-Art and Research Perspectives

2026-02-03T20:39:47Z

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

Studies on Speech Production 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Fang, Qiang. editor. Dang, Jianwu. editor. Perrier, Pascal. editor. Wei, Jianguo. editor. Wang, Longbiao. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00126-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98334-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Security 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

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

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III

2026-02-03T20:39:47Z

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

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Potapov, Igor. editor. Reynier, Pierre-Alain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00250-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829 Padovani, Luca. editor. (orcid)0000-0001-9097-1297 Torquati, Massimo. editor. (orcid)0000-0001-6323-3459 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96983-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Computational Science XXXIII

2026-02-03T20:39:47Z

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

Technology Enhanced Assessment 20th International Conference, TEA 2017, Barcelona, Spain, October 5–6, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Ras, Eric. editor. Guerrero Roldán, Ana Elena. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97807-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2026-02-03T20:39:47Z

Yazar Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97795-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Consciousness’ Drive Information Need and the Search for Meaning

2026-02-03T20:39:47Z

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

Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday

2026-02-03T20:39:47Z

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

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00030-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

Yazar Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294 Bontcheva, Kalina. editor. Suárez-Figueroa, Mari Carmen. editor. Presutti, Valentina. editor. Celino, Irene. editor. (orcid)0000-0001-9962-7193
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00668-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive Biases in Visualizations

2026-02-03T20:39:47Z

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

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2026-02-03T20:39:47Z

Yazar Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01461-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Immersive Analytics

2026-02-03T20:39:47Z

Yazar Marriott, Kim. editor. Schreiber, Falk. editor. Dwyer, Tim. editor. Klein, Karsten. editor. Riche, Nathalie Henry. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01388-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Rabe, Florian. editor. Farmer, William M. editor. Passmore, Grant O. editor. Youssef, Abdou. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96812-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

Yazar Chen, Zhiyong. editor. (orcid)0000-0002-2033-4249 Mendes, Alexandre. editor. (orcid)0000-0003-1759-3765 Yan, Yamin. editor. (orcid)0000-0001-5838-2652 Chen, Shifeng. editor. (orcid)0000-0003-0677-7358 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97589-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security Practice and Experience 14th International Conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, Proceedings

2026-02-03T20:39:47Z

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

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V

2026-02-03T20:39:47Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04221-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Web-Based Learning – ICWL 2018 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Hancke, Gerhard. editor. Spaniol, Marc. editor. Osathanunkul, Kitisak. editor. Unankard, Sayan. editor. Klamma, Ralf. editor. (orcid)0000-0002-2296-3401
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96565-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91271-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Social Computing and Social Media. Technologies and Analytics 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

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

Advanced Technologies for the Rehabilitation of Gait and Balance Disorders

2026-02-03T20:39:47Z

Yazar Sandrini, Giorgio. editor. Homberg, Volker. editor. Saltuari, Leopold. editor. Smania, Nicola. editor. Pedrocchi, Alessandra. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72736-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2712-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Pathology and Ophthalmic Medical Image Analysis First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Stoyanov, Danail. editor. Taylor, Zeike. editor. Ciompi, Francesco. editor. (orcid)0000-0001-8327-9606 Xu, Yanwu. editor. (orcid)0000-0002-1779-931X Martel, Anne. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00949-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00359-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyberspace Safety and Security 10th International Symposium, CSS 2018, Amalfi, Italy, October 29–31, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Castiglione, Arcangelo. editor. Pop, Florin. editor. Ficco, Massimo. editor. Palmieri, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01689-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Méndez, Eva. editor. (orcid)0000-0002-5337-4722 Crestani, Fabio. editor. (orcid)0000-0001-8672-0700 Ribeiro, Cristina. editor. (orcid)0000-0001-6150-0090 David, Gabriel. editor. (orcid)0000-0001-5974-9989 Lopes, João Correia. editor. (orcid)0000-0002-9040-0889
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00066-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Artificial Intelligence 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, Granada, Spain, October 23–26, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Herrera, Francisco. editor. (orcid)0000-0002-7283-312X Damas, Sergio. editor. (orcid)0000-0002-8377-8349 Montes, Rosana. editor. (orcid)0000-0002-0183-044X Alonso, Sergio. editor. (orcid)0000-0001-6620-328X Cordón, Óscar. editor. (orcid)0000-0001-5112-5629
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00374-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01790-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ICT Systems Security and Privacy Protection 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99828-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

String Processing and Information Retrieval 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Gagie, Travis. editor. (orcid)0000-0003-3689-327X Moffat, Alistair. editor. (orcid)0000-0002-6638-0232 Navarro, Gonzalo. editor. (orcid)0000-0002-2286-741X Cuadros-Vargas, Ernesto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00479-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Naccache, David. editor. (orcid)0000-0002-8651-6555 Xu, Shouhuai. editor. (orcid)0000-0001-8034-0942 Qing, Sihan. editor. Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Blanc, Gregory. editor. (orcid)0000-0001-8150-6617
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01950-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding and Interpreting Machine Learning in Medical Image Computing Applications First International Workshops, MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Stoyanov, Danail. editor. Taylor, Zeike. editor. Kia, Seyed Mostafa. editor. (orcid)0000-0002-7128-814X Oguz, Ipek. editor. (orcid)0000-0002-1403-2420 Reyes, Mauricio. editor. (orcid)0000-0002-2434-9990
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02628-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI

2026-02-03T20:39:47Z

Yazar Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04224-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Information Systems Engineering – WISE 2018 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

Yazar Hacid, Hakim. editor. (orcid)0000-0003-2265-9343 Cellary, Wojciech. editor. (orcid)0000-0001-8578-4307 Wang, Hua. editor. (orcid)0000-0002-8465-0996 Paik, Hye-Young. editor. (orcid)0000-0003-4425-7388 Zhou, Rui. editor. (orcid)0000-0001-6807-4362
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02925-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings

2026-02-03T20:39:47Z

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

Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

Trust, Privacy and Security in Digital Business 15th International Conference, TrustBus 2018, Regensburg, Germany, September 5–6, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Furnell, Steven. editor. (orcid)0000-0003-0984-7542 Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712 Pernul, Günther. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98385-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 17th International Conference, ITMM 2018, Named After A.F. Terpugov, and 12th Workshop on Retrial Queues and Related Topics, WRQ 2018, Tomsk, Russia, September 10-15, 2018, Selected Papers

2026-02-03T20:39:47Z

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

This Changes Everything – ICT and Climate Change: What Can We Do? 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19–21, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Kreps, David. editor. Ess, Charles. editor. Leenen, Louise. editor. Kimppa, Kai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99605-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Large-Scale Scientific Computing 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

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

Intersections in Simulation and Gaming 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, Melbourne, VIC, Australia, September 26-29, 2016, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Naweed, Anjum. editor. (orcid)0000-0002-5534-4295 Wardaszko, Marcin. editor. (orcid)0000-0001-5411-7894 Leigh, Elyssebeth. editor. (orcid)0000-0001-6887-1388 Meijer, Sebastiaan. editor. (orcid)0000-0003-1126-3781 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78795-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

2026-02-03T20:39:47Z

Yazar Lohstroh, Marten. editor. Derler, Patricia. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95246-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Braverman Readings in Machine Learning. Key Ideas from Inception to Current State International Conference Commemorating the 40th Anniversary of Emmanuil Braverman's Decease, Boston, MA, USA, April 28-30, 2017, Invited Talks

2026-02-03T20:39:47Z

Yazar Rozonoer, Lev. editor. Mirkin, Boris. editor. (orcid)0000-0001-5470-8635 Muchnik, Ilya. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99492-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

Yazar Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Ardagna, Claudio Agostino. editor. Roman, Dumitru. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02671-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Infrastructure Protection XII 12th IFIP WG 11.10 International Conference, ICCIP 2018, Arlington, VA, USA, March 12-14, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

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

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89363-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2026-02-03T20:39:47Z

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

Parallel Problem Solving from Nature – PPSN XV 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

Yazar Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99253-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

2026-02-03T20:39:47Z

Yazar Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98833-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models of Computation for Big Data

2026-02-03T20:39:47Z

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

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

2026-02-03T20:39:47Z

Yazar Weichslgartner, Andreas. author. Wildermann, Stefan. author. Glaß, Michael. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7356-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Persuasive Technology 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Morita, Plinio P. editor. (orcid)0000-0001-9515-6478 Burns, Catherine M. editor. (orcid)0000-0002-6182-958X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78978-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90421-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Transport Systems – From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings

2026-02-03T20:39:47Z

Yazar Kováčiková, Tatiana. editor. Buzna, Ľuboš. editor. Pourhashem, Ghadir. editor. Lugano, Giuseppe. editor. Cornet, Yannick. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93710-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in Applications of Computational and Fuzzy Mathematics

2026-02-03T20:39:47Z

Yazar Chakraverty, Snehashish. editor. Perera, Sanjeewa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-1153-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-02-03T20:39:47Z

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

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96418-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Time Domain Representation of Speech Sounds A Case Study in Bangla

2026-02-03T20:39:47Z

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

Wireless Indoor Localization A Crowdsourcing Approach

2026-02-03T20:39:47Z

Yazar Wu, Chenshu. author. Yang, Zheng. author. Liu, Yunhao. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-0356-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Véronique. editor. Goré, Rajeev. editor. Hapsara, Manik. editor. (orcid)0000-0002-8653-063X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00419-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – CRYPTO 2018 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

The Semantic Web – ISWC 2018 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

Yazar Vrandečić, Denny. editor. (orcid)0000-0002-9593-2294 Bontcheva, Kalina. editor. Suárez-Figueroa, Mari Carmen. editor. Presutti, Valentina. editor. Celino, Irene. editor. (orcid)0000-0001-9962-7193
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00671-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

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

Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

2026-02-03T20:39:47Z

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

Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Younas, Muhammad. editor. Awan, Irfan. editor. Ghinea, George. editor. Catalan Cid, Marisa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97163-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multiscale Forecasting Models

2026-02-03T20:39:47Z

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

Distributed Computer and Communication Networks 21st International Conference, DCCN 2018, Moscow, Russia, September 17–21, 2018, Proceedings

2026-02-03T20:39:47Z

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

Biomechanical Biofeedback Systems and Applications

2026-02-03T20:39:47Z

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

2026-02-03T20:39:47Z

Yazar Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Perfilieva, Irina. editor. Bouchon-Meunier, Bernadette. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91479-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning and Collaboration Technologies. Learning and Teaching 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

Yazar Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91152-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach

2026-02-03T20:39:47Z

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

Recent Trends in Computer Applications Best Studies from the 2017 International Conference on Computer and Applications, Dubai, UAE

2026-02-03T20:39:47Z

Yazar Alja’am, Jihad Mohamad. editor. El Saddik, Abdulmotaleb. editor. Sadka, Abdul Hamid. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89914-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02768-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Invention for Smart Industries 18th International TRIZ Future Conference, TFC 2018, Strasbourg, France, October 29–31, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Cavallucci, Denis. editor. De Guio, Roland. editor. Koziołek, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02456-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

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

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

2026-02-03T20:39:47Z

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

Database and Expert Systems Applications 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

Yazar Hartmann, Sven. editor. Ma, Hui. editor. Hameurlain, Abdelkader. editor. Pernul, Günther. editor. Wagner, Roland R. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98812-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theory of Cryptography 16th International Conference, TCC 2018, Panaji, India, November 11–14, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

The Semantic Web 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684 Navigli, Roberto. editor. (orcid)0000-0003-3831-9706 Vidal, Maria-Esther. editor. (orcid)0000-0003-1160-8727 Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472 Troncy, Raphaël. editor. (orcid)0000-0003-0457-1436
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93417-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Melbourne, Andrew. editor. Licandro, Roxane. editor. DiFranco, Matthew. editor. Rota, Paolo. editor. Gau, Melanie. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00807-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724 Davis, Karen C. editor. Du, Xiaoyong. editor. Li, Zhanhuai. editor. Ling, Tok Wang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00847-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications 22nd Iberoamerican Congress, CIARP 2017, Valparaíso, Chile, November 7–10, 2017, Proceedings

2026-02-03T20:39:47Z

Yazar Mendoza, Marcelo. editor. (orcid)0000-0002-7969-6041 Velastín, Sergio. editor. (orcid)0000-0001-6775-7137 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75193-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Lifelong Technology-Enhanced Learning 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Pammer-Schindler, Viktoria. editor. (orcid)0000-0001-7061-8947 Pérez-Sanagustín, Mar. editor. Drachsler, Hendrik. editor. (orcid)0000-0001-8407-5314 Elferink, Raymond. editor. Scheffel, Maren. editor. (orcid)0000-0003-4395-4819
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98572-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Haptic Interaction Science, Engineering and Design

2026-02-03T20:39:47Z

Yazar Hasegawa, Shoichi. editor. Konyo, Masashi. editor. Kyung, Ki-Uk. editor. Nojima, Takuya. editor. Kajimoto, Hiroyuki. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4157-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Random Numbers and Computers

2026-02-03T20:39:47Z

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

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

2026-02-03T20:39:47Z

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

Machine Learning A Practical Approach on the Statistical Learning Theory

2026-02-03T20:39:47Z

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

Mathematics and Computing 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Ghosh, Debdas. editor. Giri, Debasis. editor. Mohapatra, Ram N. editor. Savas, Ekrem. editor. Sakurai, Kouichi. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-0023-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III

2026-02-03T20:39:47Z

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

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II

2026-02-03T20:39:47Z

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

Advances in Cryptology – EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I

2026-02-03T20:39:47Z

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

Intelligent Human Systems Integration Proceedings of the 1st International Conference on Intelligent Human Systems Integration (IHSI 2018): Integrating People and Intelligent Systems, January 7-9, 2018, Dubai, United Arab Emirates

2026-02-03T20:39:47Z

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

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89884-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Human Computer Interaction 10th International Conference, IHCI 2018, Allahabad, India, December 7–9, 2018, Proceedings

2026-02-03T20:39:47Z

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

Distributed Parameter Modeling and Boundary Control of Flexible Manipulators

2026-02-03T20:39:47Z

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

Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings

2026-02-03T20:39:47Z

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

Reconfigurable Cryptographic Processor

2026-02-03T20:39:47Z

Yazar Liu, Leibo. author. Wang, Bo. author. Wei, Shaojun. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8899-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Human Factors in Wearable Technologies and Game Design Proceedings of the AHFE 2017 International Conference on Advances in Human Factors and Wearable Technologies, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-02-03T20:39:47Z

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

Theory of Elastic Oscillations Equations and Methods

2026-02-03T20:39:47Z

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

Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries Third International Workshop, BrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Crimi, Alessandro. editor. Bakas, Spyridon. editor. (orcid)0000-0001-8734-6482 Kuijf, Hugo. editor. Menze, Bjoern. editor. Reyes, Mauricio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75238-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2026-02-03T20:39:47Z

Yazar Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7656-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings

2026-02-03T20:39:47Z

Yazar Qing, Sihan. editor. Mitchell, Chris. editor. Chen, Liqun. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89500-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-7844-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Camera Design Algorithms, Architectures, and Art

2026-02-03T20:39:47Z

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

Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015

2026-02-03T20:39:47Z

Yazar Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4980-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Measurement, Modelling and Evaluation of Computing Systems 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar German, Reinhard. editor. Hielscher, Kai-Steffen. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74947-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2026-02-03T20:39:47Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74896-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security and Cryptology 13th International Conference, Inscrypt 2017, Xi'an, China, November 3–5, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

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

Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Paul, Manoranjan. editor. Hitoshi, Carlos. editor. Huang, Qingming. editor. (orcid)0000-0002-9247-2763 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75786-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet Science INSCI 2017 International Workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Diplaris, Sotiris. editor. (orcid)0000-0002-9969-6436 Satsiou, Anna. editor. Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Vafopoulos, Michail. editor. Vilarinho, Thomas. editor. (orcid)0000-0002-7076-7835
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77547-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77610-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation

2026-02-03T20:39:47Z

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

Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings

2026-02-03T20:39:47Z

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

Automotive Systems Engineering II

2026-02-03T20:39:47Z

Yazar Winner, Hermann. editor. Prokop, Günther. editor. Maurer, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61607-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Location-Based Mobile Games Design Perspectives

2026-02-03T20:39:47Z

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

New Frontiers in Mining Complex Patterns 6th International Workshop, NFMCP 2017, Held in Conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Appice, Annalisa. editor. Loglisci, Corrado. editor. Manco, Giuseppe. editor. Masciari, Elio. editor. Ras, Zbigniew W. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78680-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar R. Luaces, Miguel. editor. Karimipour, Farid. editor. (orcid)0000-0001-6746-4174 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90053-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90686-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Kinematics Proceedings of the 7th International Workshop on Computational Kinematics that was held at Futuroscope-Poitiers, France, in May 2017

2026-02-03T20:39:47Z

Yazar Zeghloul, Saïd. editor. Romdhane, Lotfi. editor. Laribi, Med Amine. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60867-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

2026-02-03T20:39:47Z

Yazar Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72814-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Model Checking

2026-02-03T20:39:47Z

Yazar Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10575-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbiotic Interaction 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91593-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Engineering 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Klamma, Ralf. editor. (orcid)0000-0002-2296-3401 Hernández, Juan. editor. (orcid)0000-0002-6343-7395 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91662-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Predicting User Performance and Errors Automated Usability Evaluation Through Computational Introspection of Model-Based User Interfaces

2026-02-03T20:39:47Z

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

Intelligent Tutoring Systems 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11–15, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91464-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Marketplaces Unleashed

2026-02-03T20:39:47Z

Yazar Linnhoff-Popien, Claudia. editor. Schneider, Ralf. editor. Zaddach, Michael. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49275-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers

2026-02-03T20:39:47Z

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

An Introduction to the Technique of Formative Processes in Set Theory

2026-02-03T20:39:47Z

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

Integrated Uncertainty in Knowledge Modelling and Decision Making 6th International Symposium, IUKM 2018, Hanoi, Vietnam, March 15-17, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Inuiguchi, Masahiro. editor. Tran, Dang Hung. editor. Denoeux, Thierry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75429-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Its Applications 6th IFIP TC 5 International Conference, CIIA 2018, Oran, Algeria, May 8-10, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Amine, Abdelmalek. editor. Mouhoub, Malek. editor. (orcid)0000-0001-7381-1064 Ait Mohamed, Otmane. editor. Djebbar, Bachir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89743-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Designing Usable and Secure Software with IRIS and CAIRIS

2026-02-03T20:39:47Z

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

Essentials of Dynamics and Vibrations

2026-02-03T20:39:47Z

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

Machine Learning for Model Order Reduction

2026-02-03T20:39:47Z

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

Advances in Computer Entertainment Technology 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings

2026-02-03T20:39:47Z

Yazar Cheok, Adrian David. editor. (orcid)0000-0001-6316-2339 Inami, Masahiko. editor. Romão, Teresa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76270-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Lutton, Evelyne. editor. Legrand, Pierrick. editor. Parrend, Pierre. editor. Monmarché, Nicolas. editor. Schoenauer, Marc. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78133-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence in Music, Sound, Art and Design 7th International Conference, EvoMUSART 2018, Parma, Italy, April 4-6, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Liapis, Antonios. editor. Romero Cardalda, Juan Jesús. editor. Ekárt, Anikó. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77583-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77243-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

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

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

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

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93317-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security and Privacy 23rd Australasian Conference, ACISP 2018, Wollongong, NSW, Australia, July 11-13, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Susilo, Willy. editor. (orcid)0000-0002-1562-5105 Yang, Guomin. editor. (orcid)0000-0002-4949-7738 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93638-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

e-Learning, e-Education, and Online Training 4th International Conference, eLEOT 2018, Shanghai, China, April 5–7, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Liu, Shuai. editor. (orcid)0000-0001-9909-0664 Glowatz, Matt. editor. Zappatore, Marco. editor. Gao, Honghao. editor. Jia, Bing. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93719-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Frontiers in Artificial Intelligence JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Arai, Sachiyo. editor. Kojima, Kazuhiro. editor. Mineshima, Koji. editor. Bekki, Daisuke. editor. Satoh, Ken. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93794-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

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

Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

Trust Management XII 12th IFIP WG 11.11 International Conference, IFIPTM 2018, Toronto, ON, Canada, July 10–13, 2018, Proceedings

2026-02-03T20:39:47Z

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

Foundations and Practice of Security 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Imine, Abdessamad. editor. Fernandez, José M. editor. (orcid)0000-0001-9836-3595 Marion, Jean-Yves. editor. Logrippo, Luigi. editor. (orcid)0000-0001-8804-0450 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75650-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Logic Synthesis

2026-02-03T20:39:47Z

Yazar Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67295-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Blockchain – ICBC 2018 First International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Chen, Shiping. editor. (orcid)0000-0002-4603-0024 Wang, Harry. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94478-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75172-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Low-Power Design and Power-Aware Verification

2026-02-03T20:39:47Z

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

Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies

2026-02-03T20:39:47Z

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

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74781-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Systems Interaction Backgrounds and Applications 4

2026-02-03T20:39:47Z

Yazar Hippe, Zdzisław S. editor. Kulikowski, Juliusz L. editor. Mroczek, Teresa. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62120-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

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

FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers

2026-02-03T20:39:47Z

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

Man-Machine Speech Communication 14th National Conference, NCMMSC 2017, Lianyungang, China, October 11–13, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Tao, Jianhua. editor. Zheng, Thomas Fang. editor. Bao, Changchun. editor. Wang, Dong. editor. Li, Ya. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8111-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Engineering—Theory and Applications

2026-02-03T20:39:47Z

Yazar Sanchez, Mauricio A. editor. Aguilar, Leocundo. editor. Castañón-Puga, Manuel. editor. Rodríguez-Díaz, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-74060-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emotion in Video Game Soundtracking

2026-02-03T20:39:47Z

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

Advances in Communication of Design Proceedings of the AHFE 2017 International Conference on Human Factors in Communication of Design, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-02-03T20:39:47Z

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

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings

2026-02-03T20:39:47Z

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

Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

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

Human Interface and the Management of Information. Interaction, Visualization, and Analytics 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

Global Thoughts, Local Designs INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Clemmensen, Torkil. editor. (orcid)0000-0002-0934-2336 Rajamanickam, Venkatesh. editor. Dannenmann, Peter. editor. (orcid)0000-0002-9720-926X Petrie, Helen. editor. (orcid)0000-0002-0100-9846 Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92081-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92612-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2026-02-03T20:39:47Z

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

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

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

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Stapleton, Gem. editor. Moktefi, Amirouche. editor. Perez-Kriz, Sarah. editor. Bellucci, Francesco. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91376-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Haptics: Science, Technology, and Applications 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

Yazar Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93445-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language

2026-02-03T20:39:47Z

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

Biologically Inspired Cognitive Architectures (BICA) for Young Scientists Proceedings of the First International Early Research Career Enhancement School on BICA and Cybersecurity (FIERCES 2017)

2026-02-03T20:39:47Z

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

Digital Storage in Consumer Electronics The Essential Guide

2026-02-03T20:39:47Z

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

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations

2026-02-03T20:39:47Z

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

Deep Learning in Natural Language Processing

2026-02-03T20:39:47Z

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

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2026-02-03T20:39:47Z

Yazar Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92408-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94111-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92997-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Verification of Secure Exams

2026-02-03T20:39:47Z

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

Technological Innovation for Resilient Systems 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Adu-Kankam, Kankam O. editor. (orcid)0000-0001-8572-1170 Julashokri, Mohammad. editor. (orcid)0000-0003-0012-9456 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78574-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence Techniques in Diagnosis of Brain Diseases

2026-02-03T20:39:47Z

Yazar Gurumoorthy, Sasikumar. author. Muppalaneni, Naresh Babu. author. Gao, Xiao-Zhi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6529-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Approaches in the Transfer of Aesthetic Values from Paintings to Photographs Beyond Red, Green and Blue

2026-02-03T20:39:47Z

Yazar Zhang, Xiaoyan. author. Constable, Martin. author. Chan, Kap Luk. author. Yu, Jinze. author. Junyan, Wang. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3561-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Topics in Nonsmooth Dynamics Transactions of the European Network for Nonsmooth Dynamics

2026-02-03T20:39:47Z

Yazar Leine, Remco. editor. Acary, Vincent. editor. Brüls, Olivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75972-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human and Machine Learning Visible, Explainable, Trustworthy and Transparent

2026-02-03T20:39:47Z

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

Applied Cryptography and Network Security 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Preneel, Bart. editor. (orcid)0000-0003-2005-9651 Vercauteren, Frederik. editor. (orcid)0000-0002-7208-9599 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93387-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Privacy and Identity Management. The Smart Revolution 12th IFIP WG 9.2, 9.5, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Ispra, Italy, September 4-8, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Hansen, Marit. editor. Kosta, Eleni. editor. Nai-Fovino, Igor. editor. Fischer-Hübner, Simone. editor. (orcid)0000-0002-6938-4466 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92925-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I

2026-02-03T20:39:47Z

Yazar Bhattacharyya, Pushpak. editor. Sastry, Hanumat G. editor. Marriboyina, Venkatadri. editor. Sharma, Rashmi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8657-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactivity, Game Creation, Design, Learning, and Innovation 6th International Conference, ArtsIT 2017, and Second International Conference, DLI 2017, Heraklion, Crete, Greece, October 30–31, 2017, Proceedings

2026-02-03T20:39:47Z

Yazar Brooks, Anthony L. editor. Brooks, Eva. editor. (orcid)0000-0001-7286-0876 Vidakis, Nikolas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76908-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Computing, Applications, and Services 9th International Conference, MobiCASE 2018, Osaka, Japan, February 28 – March 2, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Murao, Kazuya. editor. Ohmura, Ren. editor. Inoue, Sozo. editor. Gotoh, Yusuke. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-90740-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

2026-02-03T20:39:47Z

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

Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

Advances in Mechanical Engineering Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2017

2026-02-03T20:39:47Z

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

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Black, Elizabeth. editor. (orcid)0000-0002-4295-449X Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-75553-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2026-02-03T20:39:47Z

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

Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76072-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Passive and Active Measurement 19th International Conference, PAM 2018, Berlin, Germany, March 26–27, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Beverly, Robert. editor. Smaragdakis, Georgios. editor. Feldmann, Anja. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-76481-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Image and Video Technology PSIVT 2017 International Workshops, Wuhan, China, November 20-24, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

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

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Shapira, Dana. editor. (orcid)0000-0002-2320-9064 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-77313-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Suchacka, Grażyna. editor. Kwiecień, Andrzej. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-92459-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

Yazar De Paolis, Lucio Tommaso. editor. (orcid)0000-0003-1274-9070 Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-95270-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Companion for Software Practitioners

2026-02-03T20:39:47Z

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

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01081-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

e-Infrastructure and e-Services for Developing Countries 9th International Conference, AFRICOMM 2017, Lagos, Nigeria, December 11-12, 2017, Proceedings

2026-02-03T20:39:47Z

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

Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94968-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Takahashi, Yutaka. editor. Phung-Duc, Tuan. editor. (orcid)0000-0002-5002-4946 Wittevrongel, Sabine. editor. (orcid)0000-0001-6985-8361 Yue, Wuyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-93736-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Kozubek, Tomáš. editor. Čermák, Martin. editor. (orcid)0000-0002-0171-625X Tichý, Petr. editor. (orcid)0000-0001-6008-4056 Blaheta, Radim. editor. Šístek, Jakub. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-97136-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Innovation in Computing Companion A Compendium of Select, Pivotal Inventions

2026-02-03T20:39:47Z

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

Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Foret, Annie. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-57784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Explorations in Art and Technology

2026-02-03T20:39:47Z

Yazar Candy, Linda. author. Edmonds, Ernest. author. Poltronieri, Fabrizio. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-7367-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

IoT as a Service Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings

2026-02-03T20:39:47Z

Yazar Lin, Yi-Bing. editor. Deng, Der-Jiunn. editor. You, Ilsun. editor. Lin, Chun-Cheng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00410-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligence Science II Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01313-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Serious Games 4th Joint International Conference, JCSG 2018, Darmstadt, Germany, November 7-8, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Göbel, Stefan. editor. Garcia-Agundez, Augusto. editor. Tregel, Thomas. editor. Ma, Minhua. editor. (orcid)0000-0001-7451-546X Baalsrud Hauge, Jannicke. editor. (orcid)0000-0002-3747-0845
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02762-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

2026-02-03T20:39:47Z

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

Human Interface and the Management of Information. Information in Applications and Services 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-02-03T20:39:47Z

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

Computational Data and Social Networks 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Chen, Xuemin. editor. (orcid)0000-0003-3820-9195 Sen, Arunabha. editor. Li, Wei Wayne. editor. Thai, My T. editor. (orcid)0000-0003-0503-2012 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04648-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00389-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modeling Decisions for Artificial Intelligence 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Aguiló, Isabel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00202-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-98521-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV

2026-02-03T20:39:47Z

Yazar Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-03341-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Usability, Accessibility and Ambient Assisted Living

2026-02-03T20:39:47Z

Yazar Queirós, Alexandra. editor. Rocha, Nelson Pacheco da. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91226-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geospatial Infrastructure, Applications and Technologies: India Case Studies

2026-02-03T20:39:47Z

Yazar Sarda, N.L. editor. Acharya, P.S. editor. Sen, S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2330-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Shalf, John. editor. Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02465-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

System and Architecture Proceedings of CSI 2015

2026-02-03T20:39:47Z

Yazar Muttoo, Sunil Kumar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-8533-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-13-2423-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

2026-02-03T20:39:47Z

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

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

2026-02-03T20:39:47Z

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

Simulation Science First International Workshop, SimScience 2017, Göttingen, Germany, April 27–28, 2017, Revised Selected Papers

2026-02-03T20:39:47Z

Yazar Baum, Marcus. editor. Brenner, Gunther. editor. Grabowski, Jens. editor. Hanschke, Thomas. editor. Hartmann, Stefan. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-96271-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Maturity and Innovation in Digital Libraries 20th International Conference on Asia-Pacific Digital Libraries, ICADL 2018, Hamilton, New Zealand, November 19-22, 2018, Proceedings

2026-02-03T20:39:47Z

Yazar Dobreva, Milena. editor. (orcid)0000-0002-2579-7541 Hinze, Annika. editor. (orcid)0000-0002-7383-1134 Žumer, Maja. editor. (orcid)0000-0002-3756-7524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04257-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1