Search Results for -- ROMAN. - Narrowed by: Computer science.

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

2025-03-22T07:01:51Z

Author Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28859-3
Format: Electronic Resources
Availability Online Library~1

Information is Energy Definition of a physically based concept of information

2025-03-22T07:01:51Z

Author Pagel, Lienhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-40862-6
Format: Electronic Resources
Availability Online Library~1

Admissible Consensus and Consensualization for Singular Multi-agent Systems

2025-03-22T07:01:51Z

Author Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6990-4
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Santikellur, Pranesh. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4017-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42034-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Model-Based Systems Engineering

2025-03-22T07:01:51Z

Author Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-93582-5
Format: Electronic Resources
Availability Online Library~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2025-03-22T07:01:51Z

Author Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35755-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Software Defect Prediction

2025-03-22T07:01:51Z

Author Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2842-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Auer, Michael E. editor. Pachatz, Wolfgang. editor. Rüütmann, Tiia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26876-2
Format: Electronic Resources
Availability Online Library~1

Resource Allocation in Network Function Virtualization Problems, Models and Algorithms

2025-03-22T07:01:51Z

Author Yang, Song. author. He, Nan. author. Li, Fan. author. Fu, Xiaoming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4815-2
Format: Electronic Resources
Availability Online Library~1

Fourier Optics and Computational Imaging

2025-03-22T07:01:51Z

Author Khare, Kedar. author. Butola, Mansi. author. Rajora, Sunaina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-18353-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Yumuşak, Nejat. Adak, M. Fatih.
Preferred Shelf Number QA76.73.Y86 P76 2021
Format: Books
Availability Beytepe Library~2

R uygulamalı yeniden örnekleme teknikleri

2025-03-22T07:01:51Z

Author Cebeci, Zeynel.
Preferred Shelf Number QA75.5 C43 2020
Format: Books
Availability Beytepe Library~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

2025-03-22T07:01:51Z

Author Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05767-1
Format: Electronic Resources
Availability Online Library~1

Becoming a data-driven Organisation Unlock the value of data

2025-03-22T07:01:51Z

Author Treder, Martin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-60304-8
Format: Electronic Resources
Availability Online Library~1

Advances in Information Systems Development Designing Digitalization

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22993-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Aspray, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18955-6
Format: Electronic Resources
Availability Online Library~1

Managed Software Evolution

2025-03-22T07:01:51Z

Author Reussner, Ralf. editor. Goedicke, Michael. editor. Hasselbring, Wilhelm. editor. Vogel-Heuser, Birgit. editor. Keim, Jan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13499-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Chang, Chuan-Yu. editor. Lin, Chien-Chou. editor. Lin, Horng-Horng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-9190-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34500-6
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Galbraith, Steven D. editor. (orcid)0000-0001-7114-8377 Moriai, Shiho. editor. (orcid)0000-0002-6072-6183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34621-8
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Kurbanoğlu, Serap. editor. Špiranec, Sonja. editor. Ünal, Yurdagül. editor. Boustany, Joumana. editor. Huotari, Maija Leena. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13472-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30126-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36701-5
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Mula, Josefa. editor. Barbastefano, Rafael. editor. Díaz-Madroñero, Manuel. editor. Poler, Raúl. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93488-4
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Tonin, Graziela Simone. editor. Estácio, Bernardo. editor. Goldman, Alfredo. editor. Guerra, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14310-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Li, Jianhui. editor. Meng, Xiaofeng. editor. Zhang, Ying. editor. Cui, Wenjuan. editor. Du, Zhihui. editor. (orcid)0000-0002-8435-1611
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28061-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33742-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Lexcellent, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21445-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15850-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Ren, Rui. editor. Zheng, Chen. editor. Zhan, Jianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5910-1
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2025-03-22T07:01:51Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Hinze, Thomas. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Zandron, Claudio. editor. (orcid)0000-0002-2163-7639 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12797-8
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Fortin, Clement. editor. Rivest, Louis. editor. Bernard, Alain. editor. (orcid)0000-0002-7037-2980 Bouras, Abdelaziz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-42250-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources
Availability Online Library~1

Bits on Chips

2025-03-22T07:01:51Z

Author Veendrick, Harry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76096-4
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Prateek, Manish. editor. Sharma, Durgansh. editor. Tiwari, Rajeev. editor. Sharma, Rashmi. editor. Kumar, Kamal. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-1718-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19034-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26831-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Software Engineering

2025-03-22T07:01:51Z

Author Cha, Sungdeok. editor. Taylor, Richard N. editor. Kang, Kyochul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00262-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Kuruba, Mahesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7972-7
Format: Electronic Resources
Availability Online Library~1

Improved FMEA Methods for Proactive Healthcare Risk Analysis

2025-03-22T07:01:51Z

Author Liu, Hu-Chen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6366-5
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Zhang, Fa. editor. Cai, Zhipeng. editor. Skums, Pavel. editor. Zhang, Shihua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94968-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93736-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97136-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02619-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Foret, Annie. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57784-4
Format: Electronic Resources
Availability Online Library~1

Explorations in Art and Technology

2025-03-22T07:01:51Z

Author Candy, Linda. author. Edmonds, Ernest. author. Poltronieri, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7367-0
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Streitz, Norbert. editor. (orcid)0000-0002-0244-0945 Konomi, Shin’ichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91125-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01081-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Odumuyiwa, Victor. editor. Adegboyega, Ojo. editor. Uwadia, Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98827-6
Format: Electronic Resources
Availability Online Library~1

Probabilistic Cellular Automata Theory, Applications and Future Perspectives

2025-03-22T07:01:51Z

Author Louis, Pierre-Yves. editor. Nardi, Francesca R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65558-1
Format: Electronic Resources
Availability Online Library~1

Online Harassment

2025-03-22T07:01:51Z

Author Golbeck, Jennifer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78583-7
Format: Electronic Resources
Availability Online Library~1

Concept Invention Foundations, Implementation, Social Aspects and Applications

2025-03-22T07:01:51Z

Author Confalonieri, Roberto. editor. Pease, Alison. editor. Schorlemmer, Marco. editor. Besold, Tarek R. editor. Kutz, Oliver. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65602-1
Format: Electronic Resources
Availability Online Library~1

Nonsymmetric Operads in Combinatorics

2025-03-22T07:01:51Z

Author Giraudo, Samuele. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02074-3
Format: Electronic Resources
Availability Online Library~1

Innovations in Wave Processes Modelling and Decision Making Grid-Characteristic Method and Applications

2025-03-22T07:01:51Z

Author Favorskaya, Alena V. editor. Petrov, Igor B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76201-2
Format: Electronic Resources
Availability Online Library~1

Information Security Education – Towards a Cybersecure Society 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings

2025-03-22T07:01:51Z

Author Drevin, Lynette. editor. (orcid)0000-0001-9370-8216 Theocharidou, Marianthi. editor. (orcid)0000-0002-8870-1746 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99734-6
Format: Electronic Resources
Availability Online Library~1

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

2025-03-22T07:01:51Z

Author Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05764-0
Format: Electronic Resources
Availability Online Library~1

Multidisciplinary Approaches to Neural Computing

2025-03-22T07:01:51Z

Author Esposito, Anna. editor. Faudez-Zanuy, Marcos. editor. Morabito, Francesco Carlo. editor. Pasero, Eros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56904-8
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Lin, Yi-Bing. editor. Deng, Der-Jiunn. editor. You, Ilsun. editor. Lin, Chun-Cheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00410-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Shi, Zhongzhi. editor. Pennartz, Cyriel. editor. Huang, Tiejun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01313-4
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02762-9
Format: Electronic Resources
Availability Online Library~1

Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors

2025-03-22T07:01:51Z

Author Melikyan, Vazgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71637-4
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Yamamoto, Sakae. editor. Mori, Hirohiko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92046-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04648-4
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00389-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Torra, Vicenç. editor. (orcid)0000-0002-0368-8037 Narukawa, Yasuo. editor. Aguiló, Isabel. editor. González-Hidalgo, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00202-2
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Culture

2025-03-22T07:01:51Z

Author Qin, Zheng. author. Zhang, Huidi. author. Qin, Xin. author. Xu, Kaiping. author. Dimitrov, Kouemo Ngayo Anatoli. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0701-0
Format: Electronic Resources
Availability Online Library~1

Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings

2025-03-22T07:01:51Z

Author Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01446-9
Format: Electronic Resources
Availability Online Library~1

Advances in Intelligent Data Analysis XVII 17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedings

2025-03-22T07:01:51Z

Author Duivesteijn, Wouter. editor. Siebes, Arno. editor. Ukkonen, Antti. editor. (orcid)0000-0001-6060-1746 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01768-2
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems and Agreement Technologies 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers

2025-03-22T07:01:51Z

Author Belardinelli, Francesco. editor. (orcid)0000-0002-7768-1794 Argente, Estefanía. editor. (orcid)0000-0002-5431-3868 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01713-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03341-5
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence, Cyber Security and Computational Models. Models and Techniques for Intelligent Systems and Automation Third International Conference, ICC3 2017, Coimbatore, India, December 14-16, 2017, Proceedings

2025-03-22T07:01:51Z

Author Ganapathi, Geetha. editor. Subramaniam, Arumugam. editor. Graña, Manuel. editor. Balusamy, Suresh. editor. Natarajan, Rajamanickam. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0716-4
Format: Electronic Resources
Availability Online Library~1

Usability, Accessibility and Ambient Assisted Living

2025-03-22T07:01:51Z

Author Queirós, Alexandra. editor. Rocha, Nelson Pacheco da. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91226-4
Format: Electronic Resources
Availability Online Library~1

Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II

2025-03-22T07:01:51Z

Author Smith, Ian F. C. editor. Domer, Bernd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91638-5
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2025-03-22T07:01:51Z

Author van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93581-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02465-9
Format: Electronic Resources
Availability Online Library~1

System and Architecture Proceedings of CSI 2015

2025-03-22T07:01:51Z

Author Muttoo, Sunil Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8533-8
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author de Supinski, Bronis R. editor. Valero-Lara, Pedro. editor. (orcid)0000-0002-1479-4310 Martorell, Xavier. editor. Mateo Bellido, Sergi. editor. Labarta, Jesus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98521-3
Format: Electronic Resources
Availability Online Library~1

Graph Data Management Fundamental Issues and Recent Developments

2025-03-22T07:01:51Z

Author Fletcher, George. editor. Hidders, Jan. editor. Larriba-Pey, Josep Lluís. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96193-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2025-03-22T07:01:51Z

Author Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources
Availability Online Library~1

User Science and Engineering 5th International Conference, i-USEr 2018, Puchong, Malaysia, August 28–30, 2018, Proceedings

2025-03-22T07:01:51Z

Author Abdullah, Natrah. editor. Wan Adnan, Wan Adilah. editor. Foth, Marcus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1628-9
Format: Electronic Resources
Availability Online Library~1

Neural Networks and Deep Learning A Textbook

2025-03-22T07:01:51Z

Author Aggarwal, Charu C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94463-0
Format: Electronic Resources
Availability Online Library~1

Cybersecurity in Germany

2025-03-22T07:01:51Z

Author Schallbruch, Martin. author. Skierka, Isabel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90014-8
Format: Electronic Resources
Availability Online Library~1

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings

2025-03-22T07:01:51Z

Author Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Blum, Christian. editor. (orcid)0000-0002-1736-3559 Christensen, Anders L. editor. (orcid)0000-0002-9994-2908 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00533-7
Format: Electronic Resources
Availability Online Library~1

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2025-03-22T07:01:51Z

Author Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91581-4
Format: Electronic Resources
Availability Online Library~1

Funology 2 From Usability to Enjoyment

2025-03-22T07:01:51Z

Author Blythe, Mark. editor. Monk, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68213-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97586-3
Format: Electronic Resources
Availability Online Library~1

Honeypot Frameworks and Their Applications: A New Framework

2025-03-22T07:01:51Z

Author NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7739-5
Format: Electronic Resources
Availability Online Library~1

Museum Experience Design Crowds, Ecosystems and Novel Technologies

2025-03-22T07:01:51Z

Author Vermeeren, Arnold. editor. Calvi, Licia. editor. Sabiescu, Amalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58550-5
Format: Electronic Resources
Availability Online Library~1

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

2025-03-22T07:01:51Z

Author Usman, Muhammad. author. Muthukkumarasamy, Vallipuram. author. Wu, Xin-Wen. author. Khanum, Surraya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7467-7
Format: Electronic Resources
Availability Online Library~1

Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches

2025-03-22T07:01:51Z

Author Steffen, Bernhard. author. Rüthing, Oliver. author. Huth, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68397-3
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04257-8
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings

2025-03-22T07:01:51Z

Author Kameas, Achilles. editor. (orcid)0000-0002-1004-7860 Stathis, Kostas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03062-9
Format: Electronic Resources
Availability Online Library~1

Learning Java with Games

2025-03-22T07:01:51Z

Author Xu, Chong-wei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72886-5
Format: Electronic Resources
Availability Online Library~1

Image and Graphics Technologies and Applications 13th Conference on Image and Graphics Technologies and Applications, IGTA 2018, Beijing, China, April 8–10, 2018, Revised Selected Papers

2025-03-22T07:01:51Z

Author Wang, Yongtian. editor. Jiang, Zhiguo. editor. Peng, Yuxin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1702-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03424-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings

2025-03-22T07:01:51Z

Author Massoni, Tiago. editor. (orcid)0000-0002-9423-7556 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03044-5
Format: Electronic Resources
Availability Online Library~1

Semantic Technology 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings

2025-03-22T07:01:51Z

Author Ichise, Ryutaro. editor. Lecue, Freddy. editor. Kawamura, Takahiro. editor. Zhao, Dongyan. editor. Muggleton, Stephen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04284-4
Format: Electronic Resources
Availability Online Library~1

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

2025-03-22T07:01:51Z

Author Manea, Florin. editor. Miller, Russell G. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94418-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03421-4
Format: Electronic Resources
Availability Online Library~1

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

2025-03-22T07:01:51Z

Author Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04272-1
Format: Electronic Resources
Availability Online Library~1

Computer Simulations of Space Societies

2025-03-22T07:01:51Z

Author Bainbridge, William Sims. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90560-0
Format: Electronic Resources
Availability Online Library~1

Well-Being in the Information Society. Fighting Inequalities 7th International Conference, WIS 2018, Turku, Finland, August 27-29, 2018, Proceedings

2025-03-22T07:01:51Z

Author Li, Hongxiu. editor. Pálsdóttir, Ágústa. editor. Trill, Roland. editor. Suomi, Reima. editor. Amelina, Yevgeniya. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97931-1
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2025-03-22T07:01:51Z

Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources
Availability Online Library~1

Science of Cyber Security First International Conference, SciSec 2018, Beijing, China, August 12-14, 2018, Revised Selected Papers

2025-03-22T07:01:51Z

Author Liu, Feng. editor. Xu, Shouhuai. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03026-1
Format: Electronic Resources
Availability Online Library~1

Secure IT Systems 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings

2025-03-22T07:01:51Z

Author Gruschka, Nils. editor. (orcid)0000-0001-7360-8314 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03638-6
Format: Electronic Resources
Availability Online Library~1

Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948

2025-03-22T07:01:51Z

Author Priestley, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91671-2
Format: Electronic Resources
Availability Online Library~1

Security Standardisation Research 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

2025-03-22T07:01:51Z

Author Cremers, Cas. editor. (orcid)0000-0003-0322-2293 Lehmann, Anja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04762-7
Format: Electronic Resources
Availability Online Library~1

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

2025-03-22T07:01:51Z

Author Dinur, Itai. editor. Dolev, Shlomi. editor. Lodha, Sachin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94147-9
Format: Electronic Resources
Availability Online Library~1

Narrating Complexity

2025-03-22T07:01:51Z

Author Walsh, Richard. editor. Stepney, Susan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64714-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72652-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Chisik, Yoram. editor. Holopainen, Jussi. editor. Khaled, Rilla. editor. Luis Silva, José. editor. Alexandra Silva, Paula. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73062-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Cavallucci, Denis. editor. De Guio, Roland. editor. Koziołek, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02456-7
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III

2025-03-22T07:01:51Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03332-3
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2025-03-22T07:01:51Z

Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources
Availability Online Library~1

Numerical Simulation of the Aerodynamics of High-Lift Configurations

2025-03-22T07:01:51Z

Author López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396 Escobar Gomez, Jaime A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62136-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties

2025-03-22T07:01:51Z

Author Schlechta, Karl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89650-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Ras, Eric. editor. Guerrero Roldán, Ana Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97807-9
Format: Electronic Resources
Availability Online Library~1

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

2025-03-22T07:01:51Z

Author Saleh, Hani. author. Bayasi, Nourhan. author. Mohammad, Baker. author. Ismail, Mohammed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63973-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Education 19th International Conference, AIED 2018, London, UK, June 27–30, 2018, Proceedings, Part I

2025-03-22T07:01:51Z

Author Penstein Rosé, Carolyn. editor. Martínez-Maldonado, Roberto. editor. Hoppe, H. Ulrich. editor. Luckin, Rose. editor. Mavrikis, Manolis. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93843-1
Format: Electronic Resources
Availability Online Library~1

Studies in Conversational UX Design

2025-03-22T07:01:51Z

Author Moore, Robert J. editor. Szymanski, Margaret H. editor. Arar, Raphael. editor. Ren, Guang-Jie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95579-7
Format: Electronic Resources
Availability Online Library~1

Entertainment Computing – ICEC 2018 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings

2025-03-22T07:01:51Z

Author Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Roque, Licinio. editor. (orcid)0000-0002-1911-2788 Lugmayr, Artur. editor. (orcid)0000-0001-6994-4470 Tuomi, Pauliina. editor. (orcid)0000-0001-9986-6426 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99426-0
Format: Electronic Resources
Availability Online Library~1

Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings

2025-03-22T07:01:51Z

Author Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 Herrera-Joancomartí, Jordi. editor. (orcid)0000-0002-4935-4681 Livraga, Giovanni. editor. (orcid)0000-0003-2661-8573 Rios, Ruben. editor. (orcid)0000-0002-6251-4897 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00305-0
Format: Electronic Resources
Availability Online Library~1

Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings

2025-03-22T07:01:51Z

Author Bailey, Michael. editor. Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00470-5
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Saracino, Andrea. editor. Mori, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04372-8
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00668-6
Format: Electronic Resources
Availability Online Library~1

Handbook of Mobile Data Privacy

2025-03-22T07:01:51Z

Author Gkoulalas-Divanis, Aris. editor. Bettini, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98161-1
Format: Electronic Resources
Availability Online Library~1

AI 2018: Advances in Artificial Intelligence 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings

2025-03-22T07:01:51Z

Author Mitrovic, Tanja. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Li, Xiaodong. editor. (orcid)0000-0003-0346-1526 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03991-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04179-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04167-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04212-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04239-4
Format: Electronic Resources
Availability Online Library~1

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

2025-03-22T07:01:51Z

Author Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04651-4
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers

2025-03-22T07:01:51Z

Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04771-9
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Database Systems

2025-03-22T07:01:51Z

Author Liu, Ling. editor. Özsu, M. Tamer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-8265-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92270-6
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II

2025-03-22T07:01:51Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91244-8
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings

2025-03-22T07:01:51Z

Author Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Osipov, Gennady S. editor. (orcid)0000-0002-5329-6234 Stefanuk, Vadim L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00617-4
Format: Electronic Resources
Availability Online Library~1

Advances in Cryptology – ASIACRYPT 2018 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I

2025-03-22T07:01:51Z

Author Peyrin, Thomas. editor. (orcid)0000-0002-2690-9197 Galbraith, Steven. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03326-2
Format: Electronic Resources
Availability Online Library~1

Immersive Analytics

2025-03-22T07:01:51Z

Author Marriott, Kim. editor. Schreiber, Falk. editor. Dwyer, Tim. editor. Klein, Karsten. editor. Riche, Nathalie Henry. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01388-2
Format: Electronic Resources
Availability Online Library~1

RoboCup 2017: Robot World Cup XXI

2025-03-22T07:01:51Z

Author Akiyama, Hidehisa. editor. (orcid)0000-0002-9793-9123 Obst, Oliver. editor. (orcid)0000-0002-8284-2062 Sammut, Claude. editor. (orcid)0000-0001-8873-5228 Tonidandel, Flavio. editor. (orcid)0000-0003-0345-668X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00308-1
Format: Electronic Resources
Availability Online Library~1

Cryptology and Network Security 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings

2025-03-22T07:01:51Z

Author Camenisch, Jan. editor. (orcid)0000-0001-6654-9459 Papadimitratos, Panos. editor. (orcid)0000-0002-3267-5374 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00434-7
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

2025-03-22T07:01:51Z

Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72056-2
Format: Electronic Resources
Availability Online Library~1

Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers

2025-03-22T07:01:51Z

Author Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74433-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Freund, Louis E. editor. Cellary, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60486-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Nunes, Isabel L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60366-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2025-03-22T07:01:51Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91250-9
Format: Electronic Resources
Availability Online Library~1

Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2025-03-22T07:01:51Z

Author Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91584-5
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

2025-03-22T07:01:51Z

Author Chiabert, Paolo. editor. Bouras, Abdelaziz. editor. Noël, Frédéric. editor. Ríos, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01614-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Butler, Michael. editor. Raschke, Alexander. editor. Hoang, Thai Son. editor. Reichl, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91271-4
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Meiselwitz, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91485-5
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

2025-03-22T07:01:51Z

Author Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02146-7
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

2025-03-22T07:01:51Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05057-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Rabe, Florian. editor. Farmer, William M. editor. Passmore, Grant O. editor. Youssef, Abdou. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96812-4
Format: Electronic Resources
Availability Online Library~1

The Semantic Web: ESWC 2018 Satellite Events ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers

2025-03-22T07:01:51Z

Author Gangemi, Aldo. editor. (orcid)0000-0001-5568-2684 Gentile, Anna Lisa. editor. Nuzzolese, Andrea Giovanni. editor. (orcid)0000-0003-2928-9496 Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Maleshkova, Maria. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98192-5
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97589-4
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Auger, Anne. editor. Fonseca, Carlos M. editor. Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Machado, Penousal. editor. Paquete, Luís. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99259-4
Format: Electronic Resources
Availability Online Library~1

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

2025-03-22T07:01:51Z

Author Mikulski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97955-7
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Janczewski, Lech Jan. editor. (orcid)0000-0003-3319-924X Kutyłowski, Mirosław. editor. (orcid)0000-0003-3192-2430 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99828-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00479-8
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01950-1
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02628-8
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04224-0
Format: Electronic Resources
Availability Online Library~1

Advanced Technologies for the Rehabilitation of Gait and Balance Disorders

2025-03-22T07:01:51Z

Author Sandrini, Giorgio. editor. Homberg, Volker. editor. Saltuari, Leopold. editor. Smania, Nicola. editor. Pedrocchi, Alessandra. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72736-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2712-4
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings

2025-03-22T07:01:51Z

Author Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Homenda, Władysław. editor. (orcid)0000-0001-7787-4927 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99954-8
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV

2025-03-22T07:01:51Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05063-4
Format: Electronic Resources
Availability Online Library~1

Computational Analysis of Sound Scenes and Events

2025-03-22T07:01:51Z

Author Virtanen, Tuomas. editor. Plumbley, Mark D. editor. (orcid)0000-0002-9708-1075 Ellis, Dan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63450-0
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Communication Networks 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part I

2025-03-22T07:01:51Z

Author Beyah, Raheem. editor. Chang, Bing. editor. Li, Yingjiu. editor. Zhu, Sencun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01701-9
Format: Electronic Resources
Availability Online Library~1

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

2025-03-22T07:01:51Z

Author Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Manulis, Mark. editor. (orcid)0000-0002-1512-9670 Schneider, Steve. editor. (orcid)0000-0001-8365-6993 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99136-8
Format: Electronic Resources
Availability Online Library~1

Mechatronics for Cultural Heritage and Civil Engineering

2025-03-22T07:01:51Z

Author Ottaviano, Erika. editor. Pelliccio, Assunta. editor. Gattulli, Vincenzo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68646-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93399-3
Format: Electronic Resources
Availability Online Library~1

Applied Scientific Computing With Python

2025-03-22T07:01:51Z

Author Turner, Peter R. author. Arildsen, Thomas. author. (orcid)0000-0003-3254-3790 Kavanagh, Kathleen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89575-8
Format: Electronic Resources
Availability Online Library~1

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2025-03-22T07:01:51Z

Author Bajo, Javier. editor. Corchado, Juan M. editor. Navarro Martínez, Elena María. editor. Osaba Icedo, Eneko. editor. Mathieu, Philippe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94779-2
Format: Electronic Resources
Availability Online Library~1

Interrupt Handling Schemes in Operating Systems

2025-03-22T07:01:51Z

Author Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources
Availability Online Library~1

Immersive Learning Research Network 4th International Conference, iLRN 2018, Missoula, MT, USA, June 24-29, 2018, Proceedings

2025-03-22T07:01:51Z

Author Beck, Dennis. editor. Allison, Colin. editor. Morgado, Leonel. editor. Pirker, Johanna. editor. Peña-Rios, Anasol. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93596-6
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings

2025-03-22T07:01:51Z

Author Abdelwahed, El Hassan. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Golfarelli, Mattéo. editor. (orcid)0000-0002-0437-0725 Méry, Dominique. editor. (orcid)0000-0001-5231-6611 Ordonez, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00856-7
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Communication Networks 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part II

2025-03-22T07:01:51Z

Author Beyah, Raheem. editor. Chang, Bing. editor. Li, Yingjiu. editor. Zhu, Sencun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01704-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXXI

2025-03-22T07:01:51Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Richard. editor. Mercik, Jacek. editor. Motylska-Kuźma, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58464-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

2025-03-22T07:01:51Z

Author Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00244-2
Format: Electronic Resources
Availability Online Library~1

Algorithms for Functional Programming

2025-03-22T07:01:51Z

Author Stone, John David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57970-1
Format: Electronic Resources
Availability Online Library~1

Towards Extensible and Adaptable Methods in Computing

2025-03-22T07:01:51Z

Author Chakraverty, Shampa. editor. Goel, Anil. editor. Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2348-5
Format: Electronic Resources
Availability Online Library~1

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

2025-03-22T07:01:51Z

Author Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05171-6
Format: Electronic Resources
Availability Online Library~1

Guide to Programming for the Digital Humanities Lessons for Introductory Python

2025-03-22T07:01:51Z

Author Kokensparger, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99115-3
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

2025-03-22T07:01:51Z

Author Fischer, Bernd. editor. (orcid)0000-0002-1815-218X Uustalu, Tarmo. editor. (orcid)0000-0002-1297-0579 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02508-3
Format: Electronic Resources
Availability Online Library~1

Internet Science 5th International Conference, INSCI 2018, St. Petersburg, Russia, October 24–26, 2018, Proceedings

2025-03-22T07:01:51Z

Author Bodrunova, Svetlana S. editor. (orcid)0000-0003-0740-561X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01437-7
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2025-03-22T07:01:51Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources
Availability Online Library~1

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2025-03-22T07:01:51Z

Author Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02547-2
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

2025-03-22T07:01:51Z

Author Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02840-4
Format: Electronic Resources
Availability Online Library~1

Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

2025-03-22T07:01:51Z

Author Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02837-4
Format: Electronic Resources
Availability Online Library~1

Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability

2025-03-22T07:01:51Z

Author Jahanshahi, Mohsen. author. Bistouni, Fathollah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78473-1
Format: Electronic Resources
Availability Online Library~1

Web Content Credibility

2025-03-22T07:01:51Z

Author Wierzbicki, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77794-8
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2025-03-22T07:01:51Z

Author Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92141-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04182-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2025-03-22T07:01:51Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II

2025-03-22T07:01:51Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05054-2
Format: Electronic Resources
Availability Online Library~1

Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

2025-03-22T07:01:51Z

Author Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90059-9
Format: Electronic Resources
Availability Online Library~1

Time Domain Representation of Speech Sounds A Case Study in Bangla

2025-03-22T07:01:51Z

Author Datta, Asoke Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2303-4
Format: Electronic Resources
Availability Online Library~1

Wireless Indoor Localization A Crowdsourcing Approach

2025-03-22T07:01:51Z

Author Wu, Chenshu. author. Yang, Zheng. author. Liu, Yunhao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0356-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00419-4
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Shacham, Hovav. editor. Boldyreva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96884-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00671-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Beimel, Amos. editor. Dziembowski, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03810-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Christodoulou, George. editor. Harks, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04612-5
Format: Electronic Resources
Availability Online Library~1

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

2025-03-22T07:01:51Z

Author Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92402-1
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Zhou, Jia. editor. Salvendy, Gavriel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92034-4
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Younas, Muhammad. editor. Awan, Irfan. editor. Ghinea, George. editor. Catalan Cid, Marisa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97163-6
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

2025-03-22T07:01:51Z

Author McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Horvath, Andras. editor. (orcid)0000-0002-8210-545X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99154-2
Format: Electronic Resources
Availability Online Library~1

Advances in Affective and Pleasurable Design Proceedings of the AHFE 2017 International Conference on Affective and Pleasurable Design, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2025-03-22T07:01:51Z

Author Chung, WonJoon. editor. Shin, Cliff Sungsoo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60495-4
Format: Electronic Resources
Availability Online Library~1

Biomechanical Biofeedback Systems and Applications

2025-03-22T07:01:51Z

Author Kos, Anton. author. Umek, Anton. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91349-0
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Melbourne, Andrew. editor. Licandro, Roxane. editor. DiFranco, Matthew. editor. Rota, Paolo. editor. Gau, Melanie. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00807-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Trujillo, Juan C. editor. (orcid)0000-0003-0139-6724 Davis, Karen C. editor. Du, Xiaoyong. editor. Li, Zhanhuai. editor. Ling, Tok Wang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00847-5
Format: Electronic Resources
Availability Online Library~1

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

2025-03-22T07:01:51Z

Author Mondal, Anirban. editor. Gupta, Himanshu. editor. Srivastava, Jaideep. editor. Reddy, P. Krishna. editor. Somayajulu, D.V.L.N. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04780-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98572-5
Format: Electronic Resources
Availability Online Library~1

Haptic Interaction Science, Engineering and Design

2025-03-22T07:01:51Z

Author Hasegawa, Shoichi. editor. Konyo, Masashi. editor. Kyung, Ki-Uk. editor. Nojima, Takuya. editor. Kajimoto, Hiroyuki. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4157-0
Format: Electronic Resources
Availability Online Library~1

Random Numbers and Computers

2025-03-22T07:01:51Z

Author Kneusel, Ronald T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77697-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2025-03-22T07:01:51Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Ghosh, Debdas. editor. Giri, Debasis. editor. Mohapatra, Ram N. editor. Savas, Ekrem. editor. Sakurai, Kouichi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0023-3
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78372-7
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78375-8
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Nielsen, Jesper Buus. editor. Rijmen, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78381-9
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2025-03-22T07:01:51Z

Author Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89722-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2025-03-22T07:01:51Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89884-1
Format: Electronic Resources
Availability Online Library~1

Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speech

2025-03-22T07:01:51Z

Author Datta, Asoke Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7016-7
Format: Electronic Resources
Availability Online Library~1

Formal Grammar 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

2025-03-22T07:01:51Z

Author Foret, Annie. editor. Muskens, Reinhard. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-56343-4
Format: Electronic Resources
Availability Online Library~1

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

2025-03-22T07:01:51Z

Author Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73117-9
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2025-03-22T07:01:51Z

Author Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources
Availability Online Library~1

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection

2025-03-22T07:01:51Z

Author Salmani, Hassan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-79081-7
Format: Electronic Resources
Availability Online Library~1

Understanding Human Activities Through 3D Sensors Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers

2025-03-22T07:01:51Z

Author Wannous, Hazem. editor. Pala, Pietro. editor. Daoudi, Mohamed. editor. Flórez-Revuelta, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91863-1
Format: Electronic Resources
Availability Online Library~1

Timing Performance of Nanometer Digital Circuits Under Process Variations

2025-03-22T07:01:51Z

Author Champac, Victor. author. Garcia Gervacio, Jose. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75465-9
Format: Electronic Resources
Availability Online Library~1

Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applications

2025-03-22T07:01:51Z

Author Halak, Basel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76804-5
Format: Electronic Resources
Availability Online Library~1

World of Computing A Primer Companion for the Digital Age

2025-03-22T07:01:51Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75844-2
Format: Electronic Resources
Availability Online Library~1

Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers

2025-03-22T07:01:51Z

Author Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Abreu, Jorge. editor. Almeida, Pedro. editor. Silva, Telmo. editor. (orcid)0000-0001-9383-7659 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90170-1
Format: Electronic Resources
Availability Online Library~1

Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Florianópolis, Brazil, October 24-28, 2017

2025-03-22T07:01:51Z

Author Carvalho, João Carlos Mendes. editor. Martins, Daniel. editor. Simoni, Roberto. editor. Simas, Henrique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67567-1
Format: Electronic Resources
Availability Online Library~1

Higher Education Computer Science A Manual of Practical Approaches

2025-03-22T07:01:51Z

Author Carter, Jenny. editor. O'Grady, Michael. editor. (orcid)0000-0002-6250-4736 Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98590-9
Format: Electronic Resources
Availability Online Library~1

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings

2025-03-22T07:01:51Z

Author Ciucci, Davide. editor. (orcid)0000-0002-8083-7809 Pasi, Gabriella. editor. (orcid)0000-0002-6080-8170 Vantaggi, Barbara. editor. (orcid)0000-0002-3651-3743 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00461-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Qing, Sihan. editor. Mitchell, Chris. editor. Chen, Liqun. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89500-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources
Availability Online Library~1

A New Kind of Computational Biology Cellular Automata Based Models for Genomics and Proteomics

2025-03-22T07:01:51Z

Author Pal Chaudhuri, Parimal. author. Ghosh, Soumyabrata. author. Dutta, Adip. author. Pal Choudhury, Somshubhro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1639-5
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers

2025-03-22T07:01:51Z

Author El Fallah-Seghrouchni, Amal. editor. Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91899-0
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2025-03-22T07:01:51Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources
Availability Online Library~1

Cognitive Biases in Visualizations

2025-03-22T07:01:51Z

Author Ellis, Geoffrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95831-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4980-4
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Raphael, Benjamin J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89929-9
Format: Electronic Resources
Availability Online Library~1

Reconfigurable Cryptographic Processor

2025-03-22T07:01:51Z

Author Liu, Leibo. author. Wang, Bo. author. Wei, Shaojun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8899-5
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Ahram, Tareq. editor. Falcão, Christianne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60639-2
Format: Electronic Resources
Availability Online Library~1

Theory of Elastic Oscillations Equations and Methods

2025-03-22T07:01:51Z

Author Fridman, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4786-2
Format: Electronic Resources
Availability Online Library~1

Tangible Modeling with Open Source GIS

2025-03-22T07:01:51Z

Author Petrasova, Anna. author. Harmon, Brendan. author. Petras, Vaclav. author. Tabrizian, Payam. author. Mitasova, Helena. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89303-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author R. Luaces, Miguel. editor. Karimipour, Farid. editor. (orcid)0000-0001-6746-4174 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2025-03-22T07:01:51Z

Author Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888 Antunes, Luis. editor. (orcid)0000-0002-8237-6524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources
Availability Online Library~1

Advances in Robot Kinematics 2016

2025-03-22T07:01:51Z

Author Lenarčič, Jadran. editor. Merlet, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56802-7
Format: Electronic Resources
Availability Online Library~1

Digitisation of Culture: Namibian and International Perspectives

2025-03-22T07:01:51Z

Author Jat, Dharm Singh. editor. Sieck, Jürgen. editor. Muyingi, Hippolyte N'Sung-Nza. editor. Winschiers-Theophilus, Heike. editor. Peters, Anicia. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7697-8
Format: Electronic Resources
Availability Online Library~1

Smart Maintenance for Human–Robot Interaction An Intelligent Search Algorithmic Perspective

2025-03-22T07:01:51Z

Author Xing, Bo. author. Marwala, Tshilidzi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67480-3
Format: Electronic Resources
Availability Online Library~1

Contactless VLSI Measurement and Testing Techniques

2025-03-22T07:01:51Z

Author Sayil, Selahattin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69673-7
Format: Electronic Resources
Availability Online Library~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)

2025-03-22T07:01:51Z

Author Samsonovich, Alexei V. editor. Klimov, Valentin V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63940-6
Format: Electronic Resources
Availability Online Library~1

Digital Storage in Consumer Electronics The Essential Guide

2025-03-22T07:01:51Z

Author Coughlin, Thomas M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69907-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Hidaka, Hideto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55306-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Rebelo, Francisco. editor. Soares, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60582-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Ham, Jaap. editor. (orcid)0000-0003-1703-5165 Spagnolli, Anna. editor. Blankertz, Benjamin. editor. Gamberini, Luciano. editor. Jacucci, Giulio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91593-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91662-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author de Boer, Frank. editor. Bonsangue, Marcello. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91632-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Stapleton, Gem. editor. Moktefi, Amirouche. editor. Perez-Kriz, Sarah. editor. Bellucci, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91376-6
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Prattichizzo, Domenico. editor. Shinoda, Hiroyuki. editor. Tan, Hong Z. editor. Ruffaldi, Emanuele. editor. Frisoli, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93445-7
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Elahi, Ata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66775-1
Format: Electronic Resources
Availability Online Library~1

Brain-Machine Interface Closed-loop Bidirectional System Design

2025-03-22T07:01:51Z

Author Liu, Xilin. author. Van der Spiegel, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67940-2
Format: Electronic Resources
Availability Online Library~1

Deep Learning in Natural Language Processing

2025-03-22T07:01:51Z

Author Deng, Li. editor. Liu, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5209-5
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Zeghloul, Saïd. editor. Romdhane, Lotfi. editor. Laribi, Med Amine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60867-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72814-8
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2025-03-22T07:01:51Z

Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Halbrügge, Marc. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60369-8
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author 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
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92081-8
Format: Electronic Resources
Availability Online Library~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

2025-03-22T07:01:51Z

Author Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Nkambou, Roger. editor. Azevedo, Roger. editor. Vassileva, Julita. editor. (orcid)0000-0001-5050-3106 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91464-0
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Zhang, Xiaoyan. author. Constable, Martin. author. Chan, Kap Luk. author. Yu, Jinze. author. Junyan, Wang. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3561-6
Format: Electronic Resources
Availability Online Library~1

The Electric Century How the Taming of Lightning Shaped the Modern World

2025-03-22T07:01:51Z

Author Williams, J.B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51155-9
Format: Electronic Resources
Availability Online Library~1

Fog Computing in the Internet of Things Intelligence at the Edge

2025-03-22T07:01:51Z

Author Rahmani, Amir M. editor. Liljeberg, Pasi. editor. Preden, Jürgo-Sören. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57639-8
Format: Electronic Resources
Availability Online Library~1

Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systems

2025-03-22T07:01:51Z

Author Mahmoud, Magdi S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54954-5
Format: Electronic Resources
Availability Online Library~1

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

2025-03-22T07:01:51Z

Author Mehta, Ashok B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59418-7
Format: Electronic Resources
Availability Online Library~1

Context-Aware Communication and Computing: Applications for Smart Environment

2025-03-22T07:01:51Z

Author Temdee, Punnarumol. author. Prasad, Ramjee. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59035-6
Format: Electronic Resources
Availability Online Library~1

Speech and Language Processing for Human-Machine Communications Proceedings of CSI 2015

2025-03-22T07:01:51Z

Author Agrawal, S. S. editor. Devi, Amita. editor. Wason, Ritika. editor. Bansal, Poonam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6626-9
Format: Electronic Resources
Availability Online Library~1

A Brief History of Everything Wireless How Invisible Waves Have Changed the World

2025-03-22T07:01:51Z

Author Launiainen, Petri. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78910-1
Format: Electronic Resources
Availability Online Library~1

Innovations for Community Services 18th International Conference, I4CS 2018, Žilina, Slovakia, June 18-20, 2018, Proceedings

2025-03-22T07:01:51Z

Author Hodoň, Michal. editor. Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93408-2
Format: Electronic Resources
Availability Online Library~1

Public-Key Cryptography – PKC 2018 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I

2025-03-22T07:01:51Z

Author Abdalla, Michel. editor. (orcid)0000-0002-2447-4329 Dahab, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76578-5
Format: Electronic Resources
Availability Online Library~1

Reliable and Energy Efficient Streaming Multiprocessor Systems

2025-03-22T07:01:51Z

Author Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69374-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Evgrafov, Alexander N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72929-9
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Black, Elizabeth. editor. (orcid)0000-0002-4295-449X Modgil, Sanjay. editor. Oren, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75553-3
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75771-1
Format: Electronic Resources
Availability Online Library~1

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

2025-03-22T07:01:51Z

Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76072-8
Format: Electronic Resources
Availability Online Library~1