Search Results for SpringerLink (Online service) - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?2026-07-24T23:48:29ZCategory Theory Using Haskell An Introduction with Moggi and Yonedaent://SD_ILS/0/SD_ILS:6064052026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Humanizing AI with Personalityent://SD_ILS/0/SD_ILS:6072022026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Karimova, Gulnara Z. author. (orcid)0000-0003-1808-8373 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82327-5">https://doi.org/10.1007/978-3-031-82327-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A First Introduction to Quantum Computing and Informationent://SD_ILS/0/SD_ILS:6058952026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Zygelman, Bernard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66425-0">https://doi.org/10.1007/978-3-031-66425-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principle of Petri Netsent://SD_ILS/0/SD_ILS:6068702026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Yuan, Chongyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Maximal Planar Graph Theory and the Four-Color Conjectureent://SD_ILS/0/SD_ILS:6085862026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Xu, Jin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4745-3">https://doi.org/10.1007/978-981-96-4745-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6091162026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95973-8">https://doi.org/10.1007/978-3-031-95973-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6091172026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95976-9">https://doi.org/10.1007/978-3-031-95976-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Machine Learning in Sports Scienceent://SD_ILS/0/SD_ILS:6094212026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70155-3">https://doi.org/10.1007/978-3-662-70155-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and Rent://SD_ILS/0/SD_ILS:6105832026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-08677-8">https://doi.org/10.1007/978-3-032-08677-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6057752026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8943-6">https://doi.org/10.1007/978-981-97-8943-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Restarting Automata The Standard Type of Restarting Automaton and Its Variantsent://SD_ILS/0/SD_ILS:6057922026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70094-1">https://doi.org/10.1007/978-3-031-70094-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papersent://SD_ILS/0/SD_ILS:6057992026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73741-1">https://doi.org/10.1007/978-3-031-73741-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Biological Computingent://SD_ILS/0/SD_ILS:6080032026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Xu, Jin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3870-3">https://doi.org/10.1007/978-981-96-3870-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical Tools for Telemedicineent://SD_ILS/0/SD_ILS:6083812026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81709-0">https://doi.org/10.1007/978-3-031-81709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6084702026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88930-1">https://doi.org/10.1007/978-3-031-88930-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6086272026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Huang, Letian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-6403-0">https://doi.org/10.1007/978-981-96-6403-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Concise Introduction to Software Engineering With Open Source and GenAIent://SD_ILS/0/SD_ILS:6071112026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Restarting Automata Extensions and Generalizationsent://SD_ILS/0/SD_ILS:6076602026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78701-0">https://doi.org/10.1007/978-3-031-78701-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Computation Automata, Formal Languages, Computation and Complexityent://SD_ILS/0/SD_ILS:6077042026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Chowdhary, K.R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-6234-7">https://doi.org/10.1007/978-981-97-6234-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Theory of Computation An Algorithmic Approachent://SD_ILS/0/SD_ILS:6079542026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84740-0">https://doi.org/10.1007/978-3-031-84740-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedingsent://SD_ILS/0/SD_ILS:6021362026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46002-9">https://doi.org/10.1007/978-3-031-46002-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Hypothesis Generation and Interpretation Design Principles and Patterns for Big Data Applicationsent://SD_ILS/0/SD_ILS:6022252026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ishikawa, Hiroshi. author. (orcid)0000-0003-3639-442X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43540-9">https://doi.org/10.1007/978-3-031-43540-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deep Learning Models A Practical Approach for Hands-On Professionalsent://SD_ILS/0/SD_ILS:6032002026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Gamba, Jonah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9672-8">https://doi.org/10.1007/978-981-99-9672-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Solving Ordinary Differential Equations in Pythonent://SD_ILS/0/SD_ILS:6019462026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Sundnes, Joakim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46768-4">https://doi.org/10.1007/978-3-031-46768-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6035582026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ma, Jian. editor. (orcid)0000-0002-4202-5834 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-0716-3989-4">https://doi.org/10.1007/978-1-0716-3989-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solvingent://SD_ILS/0/SD_ILS:6035902026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Weng, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-1477-3">https://doi.org/10.1007/978-981-97-1477-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6036702026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60599-4">https://doi.org/10.1007/978-3-031-60599-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6036892026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60597-0">https://doi.org/10.1007/978-3-031-60597-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6050082026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71112-1">https://doi.org/10.1007/978-3-031-71112-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations for Functional Modeling of Technical Artefactsent://SD_ILS/0/SD_ILS:6021042026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lind, Morten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45918-4">https://doi.org/10.1007/978-3-031-45918-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electromagnetic Sources and Electromagnetic Fieldsent://SD_ILS/0/SD_ILS:6023682026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9449-6">https://doi.org/10.1007/978-981-99-9449-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimizationent://SD_ILS/0/SD_ILS:6039762026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Blum, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60103-3">https://doi.org/10.1007/978-3-031-60103-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics in Programmingent://SD_ILS/0/SD_ILS:6042672026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Liu, Xinyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2432-1">https://doi.org/10.1007/978-981-97-2432-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Brain Research Neural Networks, Deep Learning and the Future of Cognitionent://SD_ILS/0/SD_ILS:6042782026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Krauss, Patrick. author. (orcid)0000-0002-6611-7733 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68980-6">https://doi.org/10.1007/978-3-662-68980-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Downey, Rod. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53744-8">https://doi.org/10.1007/978-3-031-53744-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Anomaly Detection in Video Surveillanceent://SD_ILS/0/SD_ILS:6046372026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Wang, Xiaochun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-3023-0">https://doi.org/10.1007/978-981-97-3023-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6046082026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information is Energy Definition of a physically based concept of informationent://SD_ILS/0/SD_ILS:5279192026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Pagel, Lienhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-40862-6">https://doi.org/10.1007/978-3-658-40862-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"ent://SD_ILS/0/SD_ILS:5285462026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Polkowski, Lech T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42034-4">https://doi.org/10.1007/978-3-031-42034-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Becoming a data-driven Organisation Unlock the value of dataent://SD_ILS/0/SD_ILS:4829592026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Treder, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-60304-8">https://doi.org/10.1007/978-3-662-60304-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Role Competency Matrix A Step-By-Step Guide to an Objective Competency Management Systement://SD_ILS/0/SD_ILS:4840352026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kuruba, Mahesh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-7972-7">https://doi.org/10.1007/978-981-13-7972-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence versus Human Intelligence Are Humans Going to Be Hacked?ent://SD_ILS/0/SD_ILS:4852992026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lexcellent, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21445-6">https://doi.org/10.1007/978-3-030-21445-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bits on Chipsent://SD_ILS/0/SD_ILS:4874892026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Veendrick, Harry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76096-4">https://doi.org/10.1007/978-3-319-76096-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Improved FMEA Methods for Proactive Healthcare Risk Analysisent://SD_ILS/0/SD_ILS:4841682026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Liu, Hu-Chen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6366-5">https://doi.org/10.1007/978-981-13-6366-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Historical Studies in Computing, Information, and Society Insights from the Flatiron Lecturesent://SD_ILS/0/SD_ILS:4841992026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Aspray, William. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18955-6">https://doi.org/10.1007/978-3-030-18955-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4861292026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30126-2">https://doi.org/10.1007/978-3-030-30126-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Online Harassmentent://SD_ILS/0/SD_ILS:3989912026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Golbeck, Jennifer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78583-7">https://doi.org/10.1007/978-3-319-78583-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nonsymmetric Operads in Combinatoricsent://SD_ILS/0/SD_ILS:3990052026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Giraudo, Samuele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02074-3">https://doi.org/10.1007/978-3-030-02074-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990242026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors in Cybersecurity Proceedings of the AHFE 2017 International Conference on Human Factors in Cybersecurity, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:3990392026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Nicholson, Denise. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60585-2">https://doi.org/10.1007/978-3-319-60585-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Simulations of Space Societiesent://SD_ILS/0/SD_ILS:3994202026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Bainbridge, William Sims. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90560-0">https://doi.org/10.1007/978-3-319-90560-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Secure IT Systems 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3994262026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Gruschka, Nils. editor. (orcid)0000-0001-7360-8314 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03638-6">https://doi.org/10.1007/978-3-030-03638-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948ent://SD_ILS/0/SD_ILS:3994342026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Priestley, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91671-2">https://doi.org/10.1007/978-3-319-91671-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Consciousness’ Drive Information Need and the Search for Meaningent://SD_ILS/0/SD_ILS:3997532026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Cole, Charles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92457-1">https://doi.org/10.1007/978-3-319-92457-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997002026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cognitive Biases in Visualizationsent://SD_ILS/0/SD_ILS:3998542026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ellis, Geoffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95831-6">https://doi.org/10.1007/978-3-319-95831-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, USAent://SD_ILS/0/SD_ILS:4000202026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Nunes, Isabel L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60366-7">https://doi.org/10.1007/978-3-319-60366-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4000302026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91250-9">https://doi.org/10.1007/978-3-319-91250-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papersent://SD_ILS/0/SD_ILS:4000442026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97955-7">https://doi.org/10.1007/978-3-319-97955-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Programming for the Digital Humanities Lessons for Introductory Pythonent://SD_ILS/0/SD_ILS:4002512026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kokensparger, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99115-3">https://doi.org/10.1007/978-3-319-99115-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Web Content Credibilityent://SD_ILS/0/SD_ILS:4002912026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Wierzbicki, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77794-8">https://doi.org/10.1007/978-3-319-77794-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Ient://SD_ILS/0/SD_ILS:4002932026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92141-9">https://doi.org/10.1007/978-3-319-92141-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Time Domain Representation of Speech Sounds A Case Study in Banglaent://SD_ILS/0/SD_ILS:4003162026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Datta, Asoke Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2303-4">https://doi.org/10.1007/978-981-13-2303-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multiscale Forecasting Modelsent://SD_ILS/0/SD_ILS:4004142026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Barba Maggi, Lida Mercedes. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94992-5">https://doi.org/10.1007/978-3-319-94992-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Entity-Oriented Searchent://SD_ILS/0/SD_ILS:4004862026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Balog, Krisztian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93935-3">https://doi.org/10.1007/978-3-319-93935-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Human Computer Interaction 10th International Conference, IHCI 2018, Allahabad, India, December 7–9, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4005452026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Tiwary, Uma Shanker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04021-5">https://doi.org/10.1007/978-3-030-04021-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Epoch Synchronous Overlap Add (ESOLA) A Concatenative Synthesis Procedure for Speechent://SD_ILS/0/SD_ILS:4006722026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Datta, Asoke Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7016-7">https://doi.org/10.1007/978-981-10-7016-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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, Proceedingsent://SD_ILS/0/SD_ILS:4006442026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89884-1">https://doi.org/10.1007/978-3-319-89884-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Camera Design Algorithms, Architectures, and Artent://SD_ILS/0/SD_ILS:4008042026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Wolf, Marilyn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69523-5">https://doi.org/10.1007/978-3-319-69523-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>World of Computing A Primer Companion for the Digital Ageent://SD_ILS/0/SD_ILS:4007322026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75844-2">https://doi.org/10.1007/978-3-319-75844-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Nonlinear Eigenproblems in Image Processing and Computer Visionent://SD_ILS/0/SD_ILS:4008942026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Gilboa, Guy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75847-3">https://doi.org/10.1007/978-3-319-75847-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors in Robots and Unmanned Systems Proceedings of the AHFE 2017 International Conference on Human Factors in Robots and Unmanned Systems, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4010282026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Chen, Jessie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60384-1">https://doi.org/10.1007/978-3-319-60384-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Storage in Consumer Electronics The Essential Guideent://SD_ILS/0/SD_ILS:4011532026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Coughlin, Thomas M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69907-3">https://doi.org/10.1007/978-3-319-69907-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovationsent://SD_ILS/0/SD_ILS:4011582026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Hidaka, Hideto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55306-1">https://doi.org/10.1007/978-3-319-55306-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Languageent://SD_ILS/0/SD_ILS:4012382026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Elahi, Ata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66775-1">https://doi.org/10.1007/978-3-319-66775-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Contactless VLSI Measurement and Testing Techniquesent://SD_ILS/0/SD_ILS:4011422026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Sayil, Selahattin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69673-7">https://doi.org/10.1007/978-3-319-69673-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Predicting User Performance and Errors Automated Usability Evaluation Through Computational Introspection of Model-Based User Interfacesent://SD_ILS/0/SD_ILS:4013082026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Halbrügge, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60369-8">https://doi.org/10.1007/978-3-319-60369-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Electric Century How the Taming of Lightning Shaped the Modern Worldent://SD_ILS/0/SD_ILS:4013502026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Williams, J.B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51155-9">https://doi.org/10.1007/978-3-319-51155-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Beginner's Guide to Scala, Object Orientation and Functional Programmingent://SD_ILS/0/SD_ILS:4014512026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75771-1">https://doi.org/10.1007/978-3-319-75771-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4014532026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76072-8">https://doi.org/10.1007/978-3-319-76072-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Image and Video Technology PSIVT 2017 International Workshops, Wuhan, China, November 20-24, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:4014552026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Satoh, Shin'ichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92753-4">https://doi.org/10.1007/978-3-319-92753-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Brief History of Everything Wireless How Invisible Waves Have Changed the Worldent://SD_ILS/0/SD_ILS:4014062026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Launiainen, Petri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78910-1">https://doi.org/10.1007/978-3-319-78910-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Mechanical Engineering Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2017ent://SD_ILS/0/SD_ILS:4014422026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Evgrafov, Alexander N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72929-9">https://doi.org/10.1007/978-3-319-72929-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Verification of Secure Examsent://SD_ILS/0/SD_ILS:4015712026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Giustolisi, Rosario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67107-9">https://doi.org/10.1007/978-3-319-67107-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors, Sustainable Urban Planning and Infrastructure Proceedings of the AHFE 2017 International Conference on Human Factors, Sustainable Urban Planning and Infrastructure, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4017382026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Charytonowicz, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60450-3">https://doi.org/10.1007/978-3-319-60450-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors in Simulation and Modeling Proceedings of the AHFE 2017 International Conference on Human Factors in Simulation and Modeling, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4018912026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Cassenti, Daniel N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60591-3">https://doi.org/10.1007/978-3-319-60591-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning for Model Order Reductionent://SD_ILS/0/SD_ILS:4019622026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mohamed, Khaled Salah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75714-8">https://doi.org/10.1007/978-3-319-75714-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Aspects of Transportation Proceedings of the AHFE 2017 International Conference on Human Factors in Transportation, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4021782026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Stanton, Neville A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60441-1">https://doi.org/10.1007/978-3-319-60441-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Thingsent://SD_ILS/0/SD_ILS:4021792026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Marwedel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56045-8">https://doi.org/10.1007/978-3-319-56045-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Probability and Statistics for Computer Scienceent://SD_ILS/0/SD_ILS:4021852026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Forsyth, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64410-3">https://doi.org/10.1007/978-3-319-64410-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research and Development in Digital Mediaent://SD_ILS/0/SD_ILS:4024682026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Earnshaw, Rae. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73080-6">https://doi.org/10.1007/978-3-319-73080-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finite Element Concepts A Closed-Form Algebraic Developmentent://SD_ILS/0/SD_ILS:4024882026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Dasgupta, Gautam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-7423-8">https://doi.org/10.1007/978-1-4939-7423-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Augmented Reality Art From an Emerging Technology to a Novel Creative Mediument://SD_ILS/0/SD_ILS:4024912026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Geroimenko, Vladimir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69932-5">https://doi.org/10.1007/978-3-319-69932-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4025562026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92279-9">https://doi.org/10.1007/978-3-319-92279-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4025572026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92285-0">https://doi.org/10.1007/978-3-319-92285-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformersent://SD_ILS/0/SD_ILS:4026292026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Campelo, Hugo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72703-5">https://doi.org/10.1007/978-3-319-72703-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Communication of Design Proceedings of the AHFE 2017 International Conference on Human Factors in Communication of Design, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4026502026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ho, Amic G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60477-0">https://doi.org/10.1007/978-3-319-60477-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3998122026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Rusu, Vlad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Innovation in Computing Companion A Compendium of Select, Pivotal Inventionsent://SD_ILS/0/SD_ILS:3989452026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02619-6">https://doi.org/10.1007/978-3-030-02619-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System and Architecture Proceedings of CSI 2015ent://SD_ILS/0/SD_ILS:3991532026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Muttoo, Sunil Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8533-8">https://doi.org/10.1007/978-981-10-8533-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:3991022026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Cîrstea, Corina. editor. (orcid)0000-0003-3165-5678 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00389-0">https://doi.org/10.1007/978-3-030-00389-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Scienceent://SD_ILS/0/SD_ILS:3993602026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ausiello, Giorgio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62680-2">https://doi.org/10.1007/978-3-319-62680-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Family History Digital Librariesent://SD_ILS/0/SD_ILS:3993072026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Bainbridge, William Sims. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01063-8">https://doi.org/10.1007/978-3-030-01063-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Cyber-Physical Systemsent://SD_ILS/0/SD_ILS:3994992026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Platzer, André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63588-0">https://doi.org/10.1007/978-3-319-63588-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:3995192026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ahram, Tareq. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60822-8">https://doi.org/10.1007/978-3-319-60822-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Science and Predictive Analytics Biomedical and Health Applications using Rent://SD_ILS/0/SD_ILS:3995322026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Dinov, Ivo D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72347-1">https://doi.org/10.1007/978-3-319-72347-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995372026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3997722026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00560-3">https://doi.org/10.1007/978-3-030-00560-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Neuroergonomics and Cognitive Engineering Proceedings of the AHFE 2017 International Conference on Neuroergonomics and Cognitive Engineering, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:3997782026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Baldwin, Carryl. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60642-2">https://doi.org/10.1007/978-3-319-60642-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Propertiesent://SD_ILS/0/SD_ILS:3995662026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Systems Programming in Unix/Linuxent://SD_ILS/0/SD_ILS:3996132026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Wang, K.C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92429-8">https://doi.org/10.1007/978-3-319-92429-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 IIent://SD_ILS/0/SD_ILS:3999592026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Meiselwitz, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91485-5">https://doi.org/10.1007/978-3-319-91485-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HCI International 2018 – Posters' Extended Abstracts 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3999092026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92270-6">https://doi.org/10.1007/978-3-319-92270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3999102026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91244-8">https://doi.org/10.1007/978-3-319-91244-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4001102026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91238-7">https://doi.org/10.1007/978-3-319-91238-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001312026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models of Computation for Big Dataent://SD_ILS/0/SD_ILS:4001342026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Akerkar, Rajendra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91851-8">https://doi.org/10.1007/978-3-319-91851-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internet Science 5th International Conference, INSCI 2018, St. Petersburg, Russia, October 24–26, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4002542026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Bodrunova, Svetlana S. editor. (orcid)0000-0003-0740-561X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01437-7">https://doi.org/10.1007/978-3-030-01437-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms for Functional Programmingent://SD_ILS/0/SD_ILS:4002332026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Stone, John David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-57970-1">https://doi.org/10.1007/978-3-662-57970-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Imaginary Mathematics for Computer Scienceent://SD_ILS/0/SD_ILS:4004022026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Vince, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94637-5">https://doi.org/10.1007/978-3-319-94637-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History of Cryptography and Cryptanalysis Codes, Ciphers, and Their Algorithmsent://SD_ILS/0/SD_ILS:4004242026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Dooley, John F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90443-6">https://doi.org/10.1007/978-3-319-90443-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconstructing Our Orders Artificial Intelligence and Human Societyent://SD_ILS/0/SD_ILS:4004372026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Jin, Donghan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2209-9">https://doi.org/10.1007/978-981-13-2209-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rhythm, Play and Interaction Designent://SD_ILS/0/SD_ILS:4004392026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Costello, Brigid M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67850-4">https://doi.org/10.1007/978-3-319-67850-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Random Numbers and Computersent://SD_ILS/0/SD_ILS:4005932026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77697-2">https://doi.org/10.1007/978-3-319-77697-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4007632026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Raphael, Benjamin J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89929-9">https://doi.org/10.1007/978-3-319-89929-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Elastic Oscillations Equations and Methodsent://SD_ILS/0/SD_ILS:4007692026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Fridman, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4786-2">https://doi.org/10.1007/978-981-10-4786-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detectionent://SD_ILS/0/SD_ILS:4007152026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Salmani, Hassan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-79081-7">https://doi.org/10.1007/978-3-319-79081-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Physically Unclonable Functions From Basic Design Principles to Advanced Hardware Security Applicationsent://SD_ILS/0/SD_ILS:4007242026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Halak, Basel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76804-5">https://doi.org/10.1007/978-3-319-76804-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generationent://SD_ILS/0/SD_ILS:4008442026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor ASC Community. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3731-3">https://doi.org/10.1007/978-981-10-3731-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4009882026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Arezes, Pedro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60525-8">https://doi.org/10.1007/978-3-319-60525-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Plasticity and Fractureent://SD_ILS/0/SD_ILS:4009282026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Brocks, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62752-6">https://doi.org/10.1007/978-3-319-62752-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy Control, Estimation and Diagnosis Single and Interconnected Systemsent://SD_ILS/0/SD_ILS:4013522026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mahmoud, Magdi S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54954-5">https://doi.org/10.1007/978-3-319-54954-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologiesent://SD_ILS/0/SD_ILS:4013722026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mehta, Ashok B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59418-7">https://doi.org/10.1007/978-3-319-59418-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CABology: Value of Cloud, Analytics and Big Data Trio Waveent://SD_ILS/0/SD_ILS:4016842026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Upadhyay, Nitin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-8675-5">https://doi.org/10.1007/978-981-10-8675-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Essentials of Dynamics and Vibrationsent://SD_ILS/0/SD_ILS:4017602026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Billingsley, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56517-0">https://doi.org/10.1007/978-3-319-56517-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Probability and Stochastic Processes with Applications to Communicationsent://SD_ILS/0/SD_ILS:4017742026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Park, Kun Il. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68075-0">https://doi.org/10.1007/978-3-319-68075-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Factors in Training, Education, and Learning Sciences Proceedings of the AHFE 2017 International Conference on Human Factors in Training, Education, and Learning Sciences, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4017992026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Andre, Terence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60018-5">https://doi.org/10.1007/978-3-319-60018-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing Usable and Secure Software with IRIS and CAIRISent://SD_ILS/0/SD_ILS:4018262026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Faily, Shamal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75493-2">https://doi.org/10.1007/978-3-319-75493-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USAent://SD_ILS/0/SD_ILS:4018302026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Boring, Ronald Laurids. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60645-3">https://doi.org/10.1007/978-3-319-60645-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Low-Power Design and Power-Aware Verificationent://SD_ILS/0/SD_ILS:4020532026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Khondkar, Progyna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66619-8">https://doi.org/10.1007/978-3-319-66619-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal System Verification State-of the-Art and Future Trendsent://SD_ILS/0/SD_ILS:4022582026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57685-5">https://doi.org/10.1007/978-3-319-57685-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulation-Based Usability Evaluation of Spoken and Multimodal Dialogue Systemsent://SD_ILS/0/SD_ILS:4022712026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Hillmann, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62518-8">https://doi.org/10.1007/978-3-319-62518-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Finite Element Primer for Beginners The Basicsent://SD_ILS/0/SD_ILS:4023182026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Zohdi, Tarek I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70428-9">https://doi.org/10.1007/978-3-319-70428-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4026542026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91397-1">https://doi.org/10.1007/978-3-319-91397-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics 15th International Conference, EPCE 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4026632026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91122-9">https://doi.org/10.1007/978-3-319-91122-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4026672026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Meiselwitz, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91521-0">https://doi.org/10.1007/978-3-319-91521-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4026742026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92252-2">https://doi.org/10.1007/978-3-319-92252-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fog Computing Concepts, Frameworks and Technologiesent://SD_ILS/0/SD_ILS:4027072026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94890-4">https://doi.org/10.1007/978-3-319-94890-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Java Programmingent://SD_ILS/0/SD_ILS:4027352026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89491-1">https://doi.org/10.1007/978-3-319-89491-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3990512026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Câmpeanu, Cezar. editor. (orcid)0000-0002-9777-3012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94812-6">https://doi.org/10.1007/978-3-319-94812-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factorsent://SD_ILS/0/SD_ILS:3990902026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Melikyan, Vazgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71637-4">https://doi.org/10.1007/978-3-319-71637-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Emotional Engineering, Vol. 6 Understanding Motivationent://SD_ILS/0/SD_ILS:3991792026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Fukuda, Shuichi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70802-7">https://doi.org/10.1007/978-3-319-70802-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neural Networks and Deep Learning A Textbookent://SD_ILS/0/SD_ILS:3992252026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Aggarwal, Charu C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94463-0">https://doi.org/10.1007/978-3-319-94463-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritageent://SD_ILS/0/SD_ILS:3994642026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Gonzalez-Perez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72652-6">https://doi.org/10.1007/978-3-319-72652-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learning Java with Gamesent://SD_ILS/0/SD_ILS:3993852026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Xu, Chong-wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72886-5">https://doi.org/10.1007/978-3-319-72886-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Web Was Done by Amateurs A Reflection on One of the Largest Collective Systems Ever Engineeredent://SD_ILS/0/SD_ILS:3993312026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Aiello, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90008-7">https://doi.org/10.1007/978-3-319-90008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Sizeent://SD_ILS/0/SD_ILS:3995762026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Toolsent://SD_ILS/0/SD_ILS:6129462026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6111512026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>LaTeX in 24 Hours A Practical Guide for Scientific Writingent://SD_ILS/0/SD_ILS:6143522026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Datta, Dilip. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47831-9">https://doi.org/10.1007/978-3-319-47831-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159192026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58472-0">https://doi.org/10.1007/978-3-319-58472-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics: Cognition and Design 14th International Conference, EPCE 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6159342026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58475-1">https://doi.org/10.1007/978-3-319-58475-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159802026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Smart Computing and Communication First International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6162242026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Qiu, Meikang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52015-5">https://doi.org/10.1007/978-3-319-52015-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163152026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor de Moura, Leonardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63046-5">https://doi.org/10.1007/978-3-319-63046-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163182026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ranzato, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66706-5">https://doi.org/10.1007/978-3-319-66706-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexityent://SD_ILS/0/SD_ILS:6163212026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Zeume, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreichent://SD_ILS/0/SD_ILS:6178082026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lindell, Yehuda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57048-8">https://doi.org/10.1007/978-3-319-57048-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process Algebras for Petri Nets The Alphabetization of Distributed Systemsent://SD_ILS/0/SD_ILS:6156592026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutionsent://SD_ILS/0/SD_ILS:6156942026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56593-4">https://doi.org/10.1007/978-3-319-56593-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering: Specification, Implementation, Verificationent://SD_ILS/0/SD_ILS:6168172026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Alagić, Suad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61518-9">https://doi.org/10.1007/978-3-319-61518-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pervasive Computing Engineering Smart Systemsent://SD_ILS/0/SD_ILS:6173712026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Adventures in Computer Science From Classical Bits to Quantum Bitsent://SD_ILS/0/SD_ILS:6178582026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Moret-Bonillo, Vicente. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64807-1">https://doi.org/10.1007/978-3-319-64807-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semanticsent://SD_ILS/0/SD_ILS:6112402026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Reversible Computingent://SD_ILS/0/SD_ILS:6133092026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Morita, Kenichi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-4-431-56606-9">https://doi.org/10.1007/978-4-431-56606-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Space in Weak Propositional Proof Systemsent://SD_ILS/0/SD_ILS:6133592026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Bonacina, Ilario. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73453-8">https://doi.org/10.1007/978-3-319-73453-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalizationent://SD_ILS/0/SD_ILS:6134372026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69868-7">https://doi.org/10.1007/978-3-319-69868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6134832026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Tryfonas, Theo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58460-7">https://doi.org/10.1007/978-3-319-58460-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XXVIIent://SD_ILS/0/SD_ILS:6137572026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mercik, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Augmented Reality Where We Will All Liveent://SD_ILS/0/SD_ILS:6139782026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Peddie, Jon. author. (orcid)0000-0002-3941-1822 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54502-8">https://doi.org/10.1007/978-3-319-54502-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise Architecture at Work Modelling, Communication and Analysisent://SD_ILS/0/SD_ILS:6146292026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6130632026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scala: From a Functional Programming Perspective An Introduction to the Programming Languageent://SD_ILS/0/SD_ILS:6111202026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Torra, Vicenç. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46481-7">https://doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Towards Paraconsistent Engineeringent://SD_ILS/0/SD_ILS:6113702026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Akama, Seiki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40418-9">https://doi.org/10.1007/978-3-319-40418-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:6149062026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Göbel, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-11765-8">https://doi.org/10.1007/978-3-658-11765-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6159842026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Hodicky, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47605-6">https://doi.org/10.1007/978-3-319-47605-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6162372026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Hasuo, Ichiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40370-0">https://doi.org/10.1007/978-3-319-40370-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6163292026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lucanu, Dorel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:6163572026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Aspects of Information Security, Privacy, and Trust 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6164212026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Tryfonas, Theo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39381-0">https://doi.org/10.1007/978-3-319-39381-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Autisment://SD_ILS/0/SD_ILS:6173122026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Galitsky, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39972-0">https://doi.org/10.1007/978-3-319-39972-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Process Mining Data Science in Actionent://SD_ILS/0/SD_ILS:6177792026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexityent://SD_ILS/0/SD_ILS:6106882026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6122882026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6161352026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Rival, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53413-7">https://doi.org/10.1007/978-3-662-53413-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:6175032026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Encyclopedia of Algorithmsent://SD_ILS/0/SD_ILS:6175692026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kao, Ming-Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-2864-4">https://doi.org/10.1007/978-1-4939-2864-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics 13th International Conference, EPCE 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6176162026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Harris, Don. editor. (orcid)0000-0002-2113-8848 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40030-3">https://doi.org/10.1007/978-3-319-40030-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Foundations for Mastering Change Ient://SD_ILS/0/SD_ILS:6178152026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Metadata Shaping Knowledge from Antiquity to the Semantic Webent://SD_ILS/0/SD_ILS:6178332026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Gartner, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40893-4">https://doi.org/10.1007/978-3-319-40893-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Online Computation Determinism, Randomization, Adviceent://SD_ILS/0/SD_ILS:6178542026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Komm, Dennis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42749-2">https://doi.org/10.1007/978-3-319-42749-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Computer Scienceent://SD_ILS/0/SD_ILS:6184982026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Torbert, Shane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30866-1">https://doi.org/10.1007/978-3-319-30866-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Computer Vision The First Footprintsent://SD_ILS/0/SD_ILS:6144722026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Olague, Gustavo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43693-6">https://doi.org/10.1007/978-3-662-43693-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Turing Computability Theory and Applicationsent://SD_ILS/0/SD_ILS:6144772026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Soare, Robert I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-31933-4">https://doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Web Technologies and Legal Scholarly Publishingent://SD_ILS/0/SD_ILS:4840302026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Peroni, Silvio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04777-5">https://doi.org/10.1007/978-3-319-04777-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Applications and Services 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4863212026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07227-2">https://doi.org/10.1007/978-3-319-07227-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Continuous Software Engineeringent://SD_ILS/0/SD_ILS:4872962026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Bosch, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11283-1">https://doi.org/10.1007/978-3-319-11283-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Writing for Computer Scienceent://SD_ILS/0/SD_ILS:4876012026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Zobel, Justin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6639-9">https://doi.org/10.1007/978-1-4471-6639-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Facebook Nation Total Information Awarenessent://SD_ILS/0/SD_ILS:4886222026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lee, Newton. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-1740-2">https://doi.org/10.1007/978-1-4939-1740-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4891042026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07230-2">https://doi.org/10.1007/978-3-319-07230-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:4892732026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Majkić, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04156-8">https://doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Theoretic Security 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedingsent://SD_ILS/0/SD_ILS:4894202026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Padró, Carles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04268-8">https://doi.org/10.1007/978-3-319-04268-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cultural Synergy in Information Institutionsent://SD_ILS/0/SD_ILS:4851522026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Smiraglia, Richard P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-1249-0">https://doi.org/10.1007/978-1-4939-1249-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Theories, Methods, and Tools 16th International Conference, HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4855042026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07233-3">https://doi.org/10.1007/978-3-319-07233-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>S-BPM ONE - Application Studies and Work in Progress 6th International Conference, S-BPM ONE 2014, Eichstätt, Germany, April 22-23, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4866732026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Zehbold, Cornelia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06191-7">https://doi.org/10.1007/978-3-319-06191-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IT Quality Managementent://SD_ILS/0/SD_ILS:4873122026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Osterhage, Wolfgang W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43767-4">https://doi.org/10.1007/978-3-662-43767-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Software Qualityent://SD_ILS/0/SD_ILS:4874252026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Post-Quantum Cryptography 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4874532026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mosca, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11659-4">https://doi.org/10.1007/978-3-319-11659-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Three-Dimensional Digital Tomosynthesis Iterative Reconstruction, Artifact Reduction and Alternative Acquisition Geometryent://SD_ILS/0/SD_ILS:4879252026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Levakhina, Yulia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-05697-1">https://doi.org/10.1007/978-3-658-05697-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile! The Good, the Hype and the Uglyent://SD_ILS/0/SD_ILS:4886752026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Meyer, Bertrand. author. (orcid)0000-0002-5985-7434 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05155-0">https://doi.org/10.1007/978-3-319-05155-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Investing in Information The Information Management Body of Knowledgeent://SD_ILS/0/SD_ILS:4888152026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Bytheway, Andy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11909-0">https://doi.org/10.1007/978-3-319-11909-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Registration Methods for Pulmonary Image Analysis Integration of Morphological and Physiological Knowledgeent://SD_ILS/0/SD_ILS:4888522026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Schmidt-Richberg, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-01662-3">https://doi.org/10.1007/978-3-658-01662-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Collective Intelligence XIVent://SD_ILS/0/SD_ILS:4890762026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44509-9">https://doi.org/10.1007/978-3-662-44509-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Communication Networking 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:4878072026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kermarrec, Yvon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13488-8">https://doi.org/10.1007/978-3-319-13488-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectivesent://SD_ILS/0/SD_ILS:4878572026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Medinilla, Ángel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54991-5">https://doi.org/10.1007/978-3-642-54991-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Real-Time Manipulation of Video Streamsent://SD_ILS/0/SD_ILS:4881372026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Herling, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-05810-4">https://doi.org/10.1007/978-3-658-05810-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Holoscopyent://SD_ILS/0/SD_ILS:4882512026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Hillmann, Dierck. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-06479-2">https://doi.org/10.1007/978-3-658-06479-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimationent://SD_ILS/0/SD_ILS:4883612026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mendes, Emilia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agile Risk Managementent://SD_ILS/0/SD_ILS:4884302026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Moran, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Raspberry Pient://SD_ILS/0/SD_ILS:3306682026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Horan, Brendan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330668.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4972-6">http://dx.doi.org/10.1007/978-1-4302-4972-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ASP.NET MVC 4 and the Web API Building a REST Service from Start to Finishent://SD_ILS/0/SD_ILS:3306692026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kurtz, Jamie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330669.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4978-8">http://dx.doi.org/10.1007/978-1-4302-4978-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>LEGO Technic Roboticsent://SD_ILS/0/SD_ILS:3306702026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Rollins, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330670.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4981-8">http://dx.doi.org/10.1007/978-1-4302-4981-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>CSS for Windows 8 App Developmentent://SD_ILS/0/SD_ILS:3306712026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Foster, Jeremy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330671.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4984-9">http://dx.doi.org/10.1007/978-1-4302-4984-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Creativity and Rationale Enhancing Human Experience by Designent://SD_ILS/0/SD_ILS:3309082026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Carroll, John M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330908.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4111-2">http://dx.doi.org/10.1007/978-1-4471-4111-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordinative Practices in the Building Process An Ethnographic Perspectiveent://SD_ILS/0/SD_ILS:3309102026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Christensen, Lars Rune. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330910.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4117-4">http://dx.doi.org/10.1007/978-1-4471-4117-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>3D Computer Vision Efficient Methods and Applicationsent://SD_ILS/0/SD_ILS:3309182026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Wöhler, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330918.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4150-1">http://dx.doi.org/10.1007/978-1-4471-4150-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Belief Revision in Non-Classical Logicsent://SD_ILS/0/SD_ILS:3309252026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ribeiro, Márcio Moretto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330925.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4186-0">http://dx.doi.org/10.1007/978-1-4471-4186-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Orchestrating Human-Centered Designent://SD_ILS/0/SD_ILS:3309572026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Boy, Guy André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330957.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4339-0">http://dx.doi.org/10.1007/978-1-4471-4339-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communications and Networking An Introductionent://SD_ILS/0/SD_ILS:3309602026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Cowley, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330960.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4357-4">http://dx.doi.org/10.1007/978-1-4471-4357-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mapping Scientific Frontiers The Quest for Knowledge Visualizationent://SD_ILS/0/SD_ILS:3311532026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Chen, Chaomei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331153.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5128-9">http://dx.doi.org/10.1007/978-1-4471-5128-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mastering the Discrete Fourier Transform in One, Two or Several Dimensions Pitfalls and Artifactsent://SD_ILS/0/SD_ILS:3311632026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Amidror, Isaac. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331163.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5167-8">http://dx.doi.org/10.1007/978-1-4471-5167-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Graph Algorithms for Computer Networksent://SD_ILS/0/SD_ILS:3311652026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Erciyes, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331165.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5173-9">http://dx.doi.org/10.1007/978-1-4471-5173-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile Authentication Problems and Solutionsent://SD_ILS/0/SD_ILS:3316102026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Jakobsson, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331610.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4878-5">http://dx.doi.org/10.1007/978-1-4614-4878-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Counterterrorism and Cybersecurity Total Information Awarenessent://SD_ILS/0/SD_ILS:3322332026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lee, Newton. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332233.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7205-6">http://dx.doi.org/10.1007/978-1-4614-7205-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robotized Transcranial Magnetic Stimulationent://SD_ILS/0/SD_ILS:3322692026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Richter, Lars. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332269.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7360-2">http://dx.doi.org/10.1007/978-1-4614-7360-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of Human Computationent://SD_ILS/0/SD_ILS:3324492026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Michelucci, Pietro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332449.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8806-4">http://dx.doi.org/10.1007/978-1-4614-8806-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Compressed Sensing with Side Information on the Feasible Regionent://SD_ILS/0/SD_ILS:3327322026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Rostami, Mohammad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332732.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00366-5">http://dx.doi.org/10.1007/978-3-319-00366-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static and Dynamic Buckling of Thin-Walled Plate Structuresent://SD_ILS/0/SD_ILS:3327872026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kubiak, Tomasz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332787.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00654-3">http://dx.doi.org/10.1007/978-3-319-00654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Geometric Data Structures for Collision Detection and Hapticsent://SD_ILS/0/SD_ILS:3328322026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Weller, René. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332832.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01020-5">http://dx.doi.org/10.1007/978-3-319-01020-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Informationent://SD_ILS/0/SD_ILS:3330742026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Cicalese, Ferdinando. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333074.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17327-1">http://dx.doi.org/10.1007/978-3-642-17327-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analyzing Evolutionary Algorithms The Computer Science Perspectiveent://SD_ILS/0/SD_ILS:3330752026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Jansen, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333075.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17339-4">http://dx.doi.org/10.1007/978-3-642-17339-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329812026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Shan, Chung-chieh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332981.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03542-0">http://dx.doi.org/10.1007/978-3-319-03542-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3347722026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Liu, Shaoying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334772.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39277-1">http://dx.doi.org/10.1007/978-3-642-39277-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Interaction Modalities and Techniques 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IVent://SD_ILS/0/SD_ILS:3347822026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334782.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39330-3">http://dx.doi.org/10.1007/978-3-642-39330-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. Towards Intelligent and Implicit Interaction 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part Vent://SD_ILS/0/SD_ILS:3347852026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334785.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39342-6">http://dx.doi.org/10.1007/978-3-642-39342-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics. Applications and Services 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IIent://SD_ILS/0/SD_ILS:3347882026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334788.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39354-9">http://dx.doi.org/10.1007/978-3-642-39354-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part Ient://SD_ILS/0/SD_ILS:3347902026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334790.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39360-0">http://dx.doi.org/10.1007/978-3-642-39360-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design, User Experience, and Usability. Web, Mobile, and Product Design Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IVent://SD_ILS/0/SD_ILS:3347662026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334766.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39253-5">http://dx.doi.org/10.1007/978-3-642-39253-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Image-Based Geometric Modeling and Mesh Generationent://SD_ILS/0/SD_ILS:3357402026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Zhang, Yongjie (Jessica). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335740.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4255-0">http://dx.doi.org/10.1007/978-94-007-4255-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agreement Technologiesent://SD_ILS/0/SD_ILS:3360092026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ossowski, Sascha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336009.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5583-3">http://dx.doi.org/10.1007/978-94-007-5583-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Methodent://SD_ILS/0/SD_ILS:3361572026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Cellucci, Carlo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336157.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6091-2">http://dx.doi.org/10.1007/978-94-007-6091-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finite Elements in Fracture Mechanics Theory - Numerics - Applicationsent://SD_ILS/0/SD_ILS:3363022026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kuna, Meinhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336302.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6680-8">http://dx.doi.org/10.1007/978-94-007-6680-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Finite Element Method for Netting Application to fish cages and fishing gearent://SD_ILS/0/SD_ILS:3363302026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Priour, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336330.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6844-4">http://dx.doi.org/10.1007/978-94-007-6844-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>3D Immersive and Interactive Learningent://SD_ILS/0/SD_ILS:3365012026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Cai, Yiyu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336501.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-981-4021-90-6">http://dx.doi.org/10.1007/978-981-4021-90-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Die Macht der Daten Wie Information unser Leben bestimmtent://SD_ILS/0/SD_ILS:3371672026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Saint-Mont, Uwe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337167.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35117-4">http://dx.doi.org/10.1007/978-3-642-35117-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrie 4.0 Beherrschung der industriellen Komplexität mit SysLMent://SD_ILS/0/SD_ILS:3372302026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Sendler, Ulrich. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337230.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36917-9">http://dx.doi.org/10.1007/978-3-642-36917-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Basiswissen Statistik Kompaktkurs für Anwender aus Wirtschaft, Informatik und Technikent://SD_ILS/0/SD_ILS:3372502026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Steland, Ansgar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337250.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37201-8">http://dx.doi.org/10.1007/978-3-642-37201-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>IT Service Management Aus der Praxis für die Praxisent://SD_ILS/0/SD_ILS:3374432026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kleiner, Fritz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337443.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00181-0">http://dx.doi.org/10.1007/978-3-658-00181-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Diskrete Mathematik: Geordnete Mengenent://SD_ILS/0/SD_ILS:3372692026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Ganter, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337269.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37500-2">http://dx.doi.org/10.1007/978-3-642-37500-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Windows 8 Data Development Using C# and JavaScriptent://SD_ILS/0/SD_ILS:3306722026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kumar, Vinodh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330672.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4993-1">http://dx.doi.org/10.1007/978-1-4302-4993-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Arduinoent://SD_ILS/0/SD_ILS:3306762026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor McRoberts, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330676.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5017-3">http://dx.doi.org/10.1007/978-1-4302-5017-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>BizTalk 2010 EDI for Health Care HIPAA Compliant 837 Solutionsent://SD_ILS/0/SD_ILS:3306772026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Beckner, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330677.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5020-3">http://dx.doi.org/10.1007/978-1-4302-5020-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real World Windows 8 Developmentent://SD_ILS/0/SD_ILS:3306792026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Basu, Samidip. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330679.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5026-5">http://dx.doi.org/10.1007/978-1-4302-5026-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro Objective-Cent://SD_ILS/0/SD_ILS:3306832026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lee, Keith. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330683.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5051-7">http://dx.doi.org/10.1007/978-1-4302-5051-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn OpenGL ES For Mobile Game and Graphics Developmentent://SD_ILS/0/SD_ILS:3306842026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Mehta, Prateek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330684.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5054-8">http://dx.doi.org/10.1007/978-1-4302-5054-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mobile ASP.NET MVC 5ent://SD_ILS/0/SD_ILS:3306852026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Sowell, Eric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330685.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5057-9">http://dx.doi.org/10.1007/978-1-4302-5057-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn iOS App Developmentent://SD_ILS/0/SD_ILS:3306872026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Bucanek, James. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330687.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5063-0">http://dx.doi.org/10.1007/978-1-4302-5063-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Windows 8 App Projects XAML and C# Editionent://SD_ILS/0/SD_ILS:3306882026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Vermeir, Nico. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5066-1">http://dx.doi.org/10.1007/978-1-4302-5066-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn Corona SDK Game Developmentent://SD_ILS/0/SD_ILS:3306892026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Zammetti, Frank W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330689.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5069-2">http://dx.doi.org/10.1007/978-1-4302-5069-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Visual Studio LightSwitch 2012ent://SD_ILS/0/SD_ILS:3306902026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Leung, Tim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330690.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5072-2">http://dx.doi.org/10.1007/978-1-4302-5072-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Managing Risk and Information Security Protect to Enableent://SD_ILS/0/SD_ILS:3306942026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Harkins, Malcolm. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330694.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5114-9">http://dx.doi.org/10.1007/978-1-4302-5114-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn Java for Android Developmentent://SD_ILS/0/SD_ILS:3306962026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Friesen, Jeff. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330696.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5723-3">http://dx.doi.org/10.1007/978-1-4302-5723-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>TypeScript Revealedent://SD_ILS/0/SD_ILS:3306972026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Maharry, Dan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330697.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5726-4">http://dx.doi.org/10.1007/978-1-4302-5726-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro Oracle Database 12c Administrationent://SD_ILS/0/SD_ILS:3306982026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Kuhn, Darl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5729-5">http://dx.doi.org/10.1007/978-1-4302-5729-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rethinking the Internet of Things A Scalable Approach to Connecting Everythingent://SD_ILS/0/SD_ILS:3307002026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor daCosta, Francis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330700.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5741-7">http://dx.doi.org/10.1007/978-1-4302-5741-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Learn Android App Developmentent://SD_ILS/0/SD_ILS:3307012026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Jackson, Wallace. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330701.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5747-9">http://dx.doi.org/10.1007/978-1-4302-5747-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning ASP.NET MVC 4ent://SD_ILS/0/SD_ILS:3307022026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Paz, José Rolando Guay. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330702.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5753-0">http://dx.doi.org/10.1007/978-1-4302-5753-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Android Game Recipesent://SD_ILS/0/SD_ILS:3307042026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor DiMarzio, J. F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330704.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5765-3">http://dx.doi.org/10.1007/978-1-4302-5765-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro ASP.NET Web API Security Securing ASP.NET Web APIent://SD_ILS/0/SD_ILS:3307062026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Lakshmiraghavan, Badrinarayanan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330706.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5783-7">http://dx.doi.org/10.1007/978-1-4302-5783-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro Android Graphicsent://SD_ILS/0/SD_ILS:3307072026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Jackson, Wallace. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330707.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5786-8">http://dx.doi.org/10.1007/978-1-4302-5786-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro Hibernate and MongoDBent://SD_ILS/0/SD_ILS:3307102026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Leonard, Anghel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330710.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5795-0">http://dx.doi.org/10.1007/978-1-4302-5795-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro Data Visualization using R and JavaScriptent://SD_ILS/0/SD_ILS:3307112026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Barker, Tom. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330711.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5807-0">http://dx.doi.org/10.1007/978-1-4302-5807-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Pro Djangoent://SD_ILS/0/SD_ILS:3307122026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Alchin, Marty. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330712.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5810-0">http://dx.doi.org/10.1007/978-1-4302-5810-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Sensor Networks with Arduino and Raspberry Pient://SD_ILS/0/SD_ILS:3307142026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Bell, Charles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330714.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5825-4">http://dx.doi.org/10.1007/978-1-4302-5825-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning Android C++ Game Developmentent://SD_ILS/0/SD_ILS:3307152026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Sutherland, Bruce. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330715.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5831-5">http://dx.doi.org/10.1007/978-1-4302-5831-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Windows 8 and Windows Phone 8 Game Developmentent://SD_ILS/0/SD_ILS:3307162026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Dawes, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330716.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5837-7">http://dx.doi.org/10.1007/978-1-4302-5837-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Being Agile Your Roadmap to Successful Adoption of Agileent://SD_ILS/0/SD_ILS:3307172026-07-24T23:48:29Z2026-07-24T23:48:29ZAuthor Moreira, Mario E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330717.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5840-7">http://dx.doi.org/10.1007/978-1-4302-5840-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>