Search Results for Programming Techniques. - Narrowed by: 1:SPRINGER

Integration of AI and OR Techniques in Constraint Programming 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings

2026-04-05T16:07:25Z

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

Integration of AI and OR Techniques in Constraint Programming 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings

2026-04-05T16:07:25Z

Author Quimper, Claude-Guy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33954-2
Format: Electronic Resources
Availability Online Library~1

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

2026-04-05T16:07:25Z

Author Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73370-3
Format: Electronic Resources
Availability Online Library~1

Category Theory Using Haskell An Introduction with Moggi and Yoneda

2026-04-05T16:07:25Z

Author Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68538-5
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

2026-04-05T16:07:25Z

Author Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74558-4
Format: Electronic Resources
Availability Online Library~1

Managing Software Supply Chains Theory and Practice

2026-04-05T16:07:25Z

Author Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1797-5
Format: Electronic Resources
Availability Online Library~1

Silicon Valley Python Engineer Interview Guide Data Structure, Algorithm, and System Design

2026-04-05T16:07:25Z

Author Ren, Jianfeng. author. Li, Andric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3201-5
Format: Electronic Resources
Availability Online Library~1

Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers

2026-04-05T16:07:25Z

Author Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88045-2
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

2026-04-05T16:07:25Z

Author Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4207-6
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Time-Series Classification-Methodology and Applications

2026-04-05T16:07:25Z

Author Gellér, Zoltán. author. (orcid)0000-0003-1853-4740 Kurbalija, Vladimir. author. (orcid)0000-0002-9599-4495 Radovanović, Miloš. author. (orcid)0000-0003-2225-7803 Ivanović, Mirjana. author. (orcid)0000-0003-1946-0384 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77527-7
Format: Electronic Resources
Availability Online Library~1

Recent Trends and Applications of Soft Computing in Engineering (RTASCE)- Sarajevo

2026-04-05T16:07:25Z

Author Duraković, Benjamin. editor. (orcid)0000-0002-3099-0354 Almisreb, Ali Abd. editor. Šutković, Jasmin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82881-2
Format: Electronic Resources
Availability Online Library~1

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2

2026-04-05T16:07:25Z

Author Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00267-9
Format: Electronic Resources
Availability Online Library~1

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

2026-04-05T16:07:25Z

Author Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84913-8
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

2026-04-05T16:07:25Z

Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-8943-6
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings

2026-04-05T16:07:25Z

Author Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Rospocher, Marco. editor. (orcid)0000-0001-9391-3201 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Hollink, Laura. editor. (orcid)0000-0002-6865-0021 Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77792-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-04-05T16:07:25Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77382-2
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2026-04-05T16:07:25Z

Author Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71240-1
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings

2026-04-05T16:07:25Z

Author Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-84924-4
Format: Electronic Resources
Availability Online Library~1

Multivariate Analysis and Machine Learning Techniques Feature Analysis in Data Science Using Python

2026-04-05T16:07:25Z

Author Sundararajan, Srikrishnan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-0353-5
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-04-05T16:07:25Z

Author Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94706-3
Format: Electronic Resources
Availability Online Library~1

Object-based Programming with Go

2026-04-05T16:07:25Z

Author Maurer, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-44704-5
Format: Electronic Resources
Availability Online Library~1

Urban Railway Alignment Optimization: Theory and Practice

2026-04-05T16:07:25Z

Author Gao, Yan. author. (orcid)0000-0003-0192-8786 He, Qing. author. (orcid)0000-0003-2596-4984 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-95-0776-4
Format: Electronic Resources
Availability Online Library~1

Python for Agriculturists

2026-04-05T16:07:25Z

Author Iqbal, Muhammad Azhar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-01442-9
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings

2026-04-05T16:07:25Z

Author Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74209-5
Format: Electronic Resources
Availability Online Library~1

Numbers and Computers

2026-04-05T16:07:25Z

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

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

2026-04-05T16:07:25Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4656-2
Format: Electronic Resources
Availability Online Library~1

The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers

2026-04-05T16:07:25Z

Author Yan, Jialiang. editor. (orcid)0009-0005-2163-2300 Liu, Mingming. editor. Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811 Yang, Xiaolu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86054-6
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

2026-04-05T16:07:25Z

Author Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88930-1
Format: Electronic Resources
Availability Online Library~1

Optimization: An Introduction

2026-04-05T16:07:25Z

Author Pekař, Libor. author. (orcid)0000-0002-2401-5886 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86326-4
Format: Electronic Resources
Availability Online Library~1

Optimizing Solutions for Real-Life Problems

2026-04-05T16:07:25Z

Author Dey, Nilanjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-3216-9
Format: Electronic Resources
Availability Online Library~1

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 1

2026-04-05T16:07:25Z

Author Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90606-0
Format: Electronic Resources
Availability Online Library~1

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

2026-04-05T16:07:25Z

Author Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-7956-0
Format: Electronic Resources
Availability Online Library~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-04-05T16:07:25Z

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

Ni‐Co 2025, 6th International Symposium on Nickel and Cobalt Proceedings of the Extraction 2025 Meeting & Exhibition, Volume II.

2026-04-05T16:07:25Z

Author SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00167-2
Format: Electronic Resources
Availability Online Library~1

12th International Copper Conference Proceedings of the Extraction 2025 Meeting & Exhibition, Volume I.

2026-04-05T16:07:25Z

Author SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00102-3
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

2026-04-05T16:07:25Z

Author Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72578-4
Format: Electronic Resources
Availability Online Library~1

Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps

2026-04-05T16:07:25Z

Author Wong, Hiu Yung. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36985-8
Format: Electronic Resources
Availability Online Library~1

Indexing on Non-Volatile Memory Techniques, Lessons Learned and Outlook

2026-04-05T16:07:25Z

Author Huang, Kaisong. author. (orcid)0000-0001-7919-5426 Wang, Tianzheng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47627-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

2026-04-05T16:07:25Z

Author Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49379-9
Format: Electronic Resources
Availability Online Library~1

Optimization and Games for Controllable Markov Chains Numerical Methods with Application to Finance and Engineering

2026-04-05T16:07:25Z

Author Clempner, Julio B. author. (orcid)0000-0002-5918-4671 Poznyak, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43575-1
Format: Electronic Resources
Availability Online Library~1

Machine Learning Crash Course for Engineers

2026-04-05T16:07:25Z

Author Hossain, Eklas. author. (orcid)0000-0003-2332-8095 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46990-9
Format: Electronic Resources
Availability Online Library~1

Modeling Programming Competency A Qualitative Analysis

2026-04-05T16:07:25Z

Author Kiesler, Natalie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47148-3
Format: Electronic Resources
Availability Online Library~1

Cloud-Native Application Architecture Microservice Development Best Practice

2026-04-05T16:07:25Z

Author Team, FreeWheel Biz-UI. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9782-2
Format: Electronic Resources
Availability Online Library~1

Active Object Languages: Current Research Trends

2026-04-05T16:07:25Z

Author de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51060-1
Format: Electronic Resources
Availability Online Library~1

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

2026-04-05T16:07:25Z

Author Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52265-9
Format: Electronic Resources
Availability Online Library~1

Exception Handling Fundamentals and Programming

2026-04-05T16:07:25Z

Author Mejia Alvarez, Pedro. author. Gonzalez Torres, Raul E. author. Ortega Cisneros, Susana. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50681-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice XX

2026-04-05T16:07:25Z

Author Winkler, Stephan. editor. (orcid)0000-0002-5196-4294 Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736 Ofria, Charles. editor. Hu, Ting. editor. (orcid)0000-0001-6382-0602 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8413-8
Format: Electronic Resources
Availability Online Library~1

Mindfulness in Medicine A Comprehensive Guide for Healthcare Professionals

2026-04-05T16:07:25Z

Author Chand, Rajat. author. Sazima, Greg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66166-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Compiler Design

2026-04-05T16:07:25Z

Author Mogensen, Torben Ægidius. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46460-7
Format: Electronic Resources
Availability Online Library~1

Data Structures and Algorithms with Python With an Introduction to Multiprocessing

2026-04-05T16:07:25Z

Author Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42209-6
Format: Electronic Resources
Availability Online Library~1

Chatbot Research and Design 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers

2026-04-05T16:07:25Z

Author Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Araujo, Theo. editor. Papadopoulos, Symeon. editor. Law, Effie L.-C. editor. Luger, Ewa. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54975-5
Format: Electronic Resources
Availability Online Library~1

MATLAB and Simulink in Action Programming, Scientific Computing and Simulation

2026-04-05T16:07:25Z

Author Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-1176-9
Format: Electronic Resources
Availability Online Library~1

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

2026-04-05T16:07:25Z

Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61753-9
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II

2026-04-05T16:07:25Z

Author Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60599-4
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I

2026-04-05T16:07:25Z

Author Dilkina, Bistra. editor. (orcid)0000-0002-6784-473X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60597-0
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

2026-04-05T16:07:25Z

Author Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64285-2
Format: Electronic Resources
Availability Online Library~1

Learn coding with Python and JavaScript A practical introduction for beginners

2026-04-05T16:07:25Z

Author Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-42912-6
Format: Electronic Resources
Availability Online Library~1

Software, System, and Service Engineering S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023, Revised Selected Papers

2026-04-05T16:07:25Z

Author Jarzębowicz, Aleksander. editor. Luković, Ivan. editor. (orcid)0000-0003-1319-488X Przybyłek, Adam. editor. Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864 Ahmad, Muhammad Ovais. editor. (orcid)0000-0002-7885-0369
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51075-5
Format: Electronic Resources
Availability Online Library~1

Programming Heterogeneous Hardware via Managed Runtime Systems

2026-04-05T16:07:25Z

Author Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49559-5
Format: Electronic Resources
Availability Online Library~1

Optimization of Chemical Processes A Sustainable Perspective

2026-04-05T16:07:25Z

Author Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57270-8
Format: Electronic Resources
Availability Online Library~1

The French School of Programming

2026-04-05T16:07:25Z

Author Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34518-0
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2026-04-05T16:07:25Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2300-3
Format: Electronic Resources
Availability Online Library~1

Agile-SOFL Agile Formal Engineering Method

2026-04-05T16:07:25Z

Author Liu, Shaoying. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2285-3
Format: Electronic Resources
Availability Online Library~1

Learning Analytics Methods and Tutorials A Practical Guide Using R

2026-04-05T16:07:25Z

Author Saqr, Mohammed. editor. (orcid)0000-0001-5881-3109 López-Pernas, Sonsoles. editor. (orcid)0000-0002-9621-1392 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54464-4
Format: Electronic Resources
Availability Online Library~1

The Modern Business Data Analyst A Case Study Introduction into Business Data Analytics with CRISP-DM and R

2026-04-05T16:07:25Z

Author Jung, Dominik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59907-1
Format: Electronic Resources
Availability Online Library~1

Python for Natural Language Processing Programming with NumPy, scikit-learn, Keras, and PyTorch

2026-04-05T16:07:25Z

Author Nugues, Pierre M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57549-5
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

2026-04-05T16:07:25Z

Author Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64182-4
Format: Electronic Resources
Availability Online Library~1

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

2026-04-05T16:07:25Z

Author Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66459-5
Format: Electronic Resources
Availability Online Library~1

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-04-05T16:07:25Z

Author Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61794-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

2026-04-05T16:07:25Z

Author Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66021-4
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 2

2026-04-05T16:07:25Z

Author Farhaoui, Yousef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65018-5
Format: Electronic Resources
Availability Online Library~1

Programming with Python for Engineers

2026-04-05T16:07:25Z

Author Kalkan, Sinan. author. (orcid)0000-0003-0915-5917 Şehitoğlu, Onur T. author. (orcid)0000-0001-5146-5017 Üçoluk, Göktürk. author. (orcid)0000-0002-1479-6113 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57148-0
Format: Electronic Resources
Availability Online Library~1

Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 - October 1, 2024, Proceedings

2026-04-05T16:07:25Z

Author Lemanski, Jens. editor. (orcid)0000-0003-3661-4752 Johansen, Mikkel Willum. editor. (orcid)0000-0003-0454-2678 Manalo, Emmanuel. editor. (orcid)0000-0001-6470-4021 Viana, Petrucio. editor. (orcid)0000-0002-3517-6706 Bhattacharjee, Reetu. editor. (orcid)0000-0003-0720-4973
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71291-3
Format: Electronic Resources
Availability Online Library~1

Deep Generative Modeling

2026-04-05T16:07:25Z

Author Tomczak, Jakub M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64087-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

2026-04-05T16:07:25Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0617-7
Format: Electronic Resources
Availability Online Library~1

R for Basic Biostatistics in Medical Research

2026-04-05T16:07:25Z

Author Srinivasan, Anand. editor. Mishra, Archana. editor. (orcid)0000-0001-8837-299X Kumar-M, Praveen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-6980-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence, Big Data, IOT and Block Chain in Healthcare: From Concepts to Applications Volume 1

2026-04-05T16:07:25Z

Author Farhaoui, Yousef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65014-7
Format: Electronic Resources
Availability Online Library~1

Learning Java A Test-Driven Approach

2026-04-05T16:07:25Z

Author Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66638-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

Author Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51046-0
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63390-9
Format: Electronic Resources
Availability Online Library~1

Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings

2026-04-05T16:07:25Z

Author de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65578-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Compiler Design

2026-04-05T16:07:25Z

Author Mogensen, Torben Ægidius. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66966-3
Format: Electronic Resources
Availability Online Library~1

DataFlow Supercomputing Essentials Research, Development and Education

2026-04-05T16:07:25Z

Author Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66128-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

2026-04-05T16:07:25Z

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

Soft Methods for Data Science

2026-04-05T16:07:25Z

Author Ferraro, Maria Brigida. editor. Giordani, Paolo. editor. Vantaggi, Barbara. editor. Gagolewski, Marek. editor. Ángeles Gil, María. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42972-4
Format: Electronic Resources
Availability Online Library~1

Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers

2026-04-05T16:07:25Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71255-0
Format: Electronic Resources
Availability Online Library~1

Machine Learning with R

2026-04-05T16:07:25Z

Author Ghatak, Abhijit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6808-9
Format: Electronic Resources
Availability Online Library~1

Computer Graphics for Java Programmers

2026-04-05T16:07:25Z

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

Guide to Competitive Programming Learning and Improving Algorithms Through Contests

2026-04-05T16:07:25Z

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

Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings

2026-04-05T16:07:25Z

Author Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64203-1
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

2026-04-05T16:07:25Z

Author Barrett, Clark. editor. Davies, Misty. editor. Kahsai, Temesghen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57288-8
Format: Electronic Resources
Availability Online Library~1

Embedded and Real-Time Operating Systems

2026-04-05T16:07:25Z

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

Eye Tracking Methodology Theory and Practice

2026-04-05T16:07:25Z

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

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

2026-04-05T16:07:25Z

Author Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-52709-3
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-04-05T16:07:25Z

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

Artificial Intelligence in Medicine 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings

2026-04-05T16:07:25Z

Author ten Teije, Annette. editor. Popow, Christian. editor. (orcid)0000-0002-0496-1453 Holmes, John H. editor. Sacchi, Lucia. editor. (orcid)0000-0002-1390-9825 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59758-4
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

2026-04-05T16:07:25Z

Author de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61470-0
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-04-05T16:07:25Z

Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources
Availability Online Library~1

Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures

2026-04-05T16:07:25Z

Author Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60074-1
Format: Electronic Resources
Availability Online Library~1

Provably Correct Systems

2026-04-05T16:07:25Z

Author Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48628-4
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings

2026-04-05T16:07:25Z

Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-04-05T16:07:25Z

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

Snake Charming - The Musical Python

2026-04-05T16:07:25Z

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

Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

2026-04-05T16:07:25Z

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

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

2026-04-05T16:07:25Z

Author Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67630-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

Author Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54434-1
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

2026-04-05T16:07:25Z

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

Fluid Dynamics Theory, Computation, and Numerical Simulation

2026-04-05T16:07:25Z

Author Pozrikidis, C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4899-7991-9
Format: Electronic Resources
Availability Online Library~1

Computer Music Instruments Foundations, Design and Development

2026-04-05T16:07:25Z

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

LaTeX in 24 Hours A Practical Guide for Scientific Writing

2026-04-05T16:07:25Z

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

Conversations Around Semiotic Engineering

2026-04-05T16:07:25Z

Author Diniz Junqueira Barbosa, Simone. editor. Breitman, Karin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56291-9
Format: Electronic Resources
Availability Online Library~1

Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers

2026-04-05T16:07:25Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67035-5
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

2026-04-05T16:07:25Z

Author Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68972-2
Format: Electronic Resources
Availability Online Library~1

Cardiac Regeneration

2026-04-05T16:07:25Z

Author Ieda, Masaki. editor. Zimmermann, Wolfram-Hubertus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56106-6
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings

2026-04-05T16:07:25Z

Author Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61252-2
Format: Electronic Resources
Availability Online Library~1

Low Level X Window Programming An Introduction by Examples

2026-04-05T16:07:25Z

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

Python for Graph and Network Analysis

2026-04-05T16:07:25Z

Author Al-Taie, Mohammed Zuhair. author. Kadry, Seifedine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53004-8
Format: Electronic Resources
Availability Online Library~1

Model and Data Engineering 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings

2026-04-05T16:07:25Z

Author Ouhammou, Yassine. editor. Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384 Abelló, Alberto. editor. Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66854-3
Format: Electronic Resources
Availability Online Library~1

High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers

2026-04-05T16:07:25Z

Author Di Napoli, Edoardo. editor. Hermanns, Marc-André. editor. Iliev, Hristo. editor. Lintermann, Andreas. editor. Peyser, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53862-4
Format: Electronic Resources
Availability Online Library~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-04-05T16:07:25Z

Author Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68953-1
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

2026-04-05T16:07:25Z

Author Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69904-2
Format: Electronic Resources
Availability Online Library~1

In Search of the Next Memory Inside the Circuitry from the Oldest to the Emerging Non-Volatile Memories

2026-04-05T16:07:25Z

Author Gastaldi, Roberto. editor. Campardo, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47724-4
Format: Electronic Resources
Availability Online Library~1

Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings

2026-04-05T16:07:25Z

Author Martínez de Pisón, Francisco Javier. editor. Urraca, Rubén. editor. Quintián, Héctor. editor. Corchado, Emilio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59650-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

2026-04-05T16:07:25Z

Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

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

Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

2026-04-05T16:07:25Z

Author Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53733-7
Format: Electronic Resources
Availability Online Library~1

Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity

2026-04-05T16:07:25Z

Author Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54314-6
Format: Electronic Resources
Availability Online Library~1

Analysis and Synthesis of Positive Systems Under ℓ1 and L1 Performance

2026-04-05T16:07:25Z

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

Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers

2026-04-05T16:07:25Z

Author Namazi-Rad, Mohammad-Reza. editor. Padgham, Lin. editor. Perez, Pascal. editor. Nagel, Kai. editor. Bazzan, Ana. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51957-9
Format: Electronic Resources
Availability Online Library~1

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

2026-04-05T16:07:25Z

Author Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56856-0
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-04-05T16:07:25Z

Author Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61482-3
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

2026-04-05T16:07:25Z

Author Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59746-1
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

2026-04-05T16:07:25Z

Author Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67531-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Data Science A Python Approach to Concepts, Techniques and Applications

2026-04-05T16:07:25Z

Author Igual, Laura. author. Seguí, Santi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50017-1
Format: Electronic Resources
Availability Online Library~1

Guide to Data Structures A Concise Introduction Using Java

2026-04-05T16:07:25Z

Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70085-4
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-04-05T16:07:25Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources
Availability Online Library~1

Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings

2026-04-05T16:07:25Z

Author Chen, Guoliang. editor. Shen, Hong. editor. Chen, Mingrui. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-6442-5
Format: Electronic Resources
Availability Online Library~1

Handbook of Big Data Technologies

2026-04-05T16:07:25Z

Author Zomaya, Albert Y. editor. Sakr, Sherif. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49340-4
Format: Electronic Resources
Availability Online Library~1

E-Learning Systems Intelligent Techniques for Personalization

2026-04-05T16:07:25Z

Author Klašnja-Milićević, Aleksandra. author. (orcid)0000-0002-8023-4776 Vesin, Boban. author. Ivanović, Mirjana. author. Budimac, Zoran. author. Jain, Lakhmi C. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41163-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

Author Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51676-9
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers

2026-04-05T16:07:25Z

Author van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-53354-4
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

2026-04-05T16:07:25Z

Author Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66902-1
Format: Electronic Resources
Availability Online Library~1

Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings

2026-04-05T16:07:25Z

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

Models of Computation

2026-04-05T16:07:25Z

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

A Practical Approach to Compiler Construction

2026-04-05T16:07:25Z

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

Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications

2026-04-05T16:07:25Z

Author Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55417-4
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

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

Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures

2026-04-05T16:07:25Z

Author Ianni, Giovambattista. editor. Lembo, Domenico. editor. Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179 Faber, Wolfgang. editor. Glimm, Birte. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61033-7
Format: Electronic Resources
Availability Online Library~1

Random-Like Bi-level Decision Making

2026-04-05T16:07:25Z

Author Xu, Jiuping. author. (orcid)0000-0003-3756-3969 Li, Zongmin. author. Tao, Zhimiao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1768-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

2026-04-05T16:07:25Z

Author De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41591-8
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

2026-04-05T16:07:25Z

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

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

2026-04-05T16:07:25Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32149-3
Format: Electronic Resources
Availability Online Library~1

A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

2026-04-05T16:07:25Z

Author Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30936-1
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2026-04-05T16:07:25Z

Author Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources
Availability Online Library~1

Scala: From a Functional Programming Perspective An Introduction to the Programming Language

2026-04-05T16:07:25Z

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

Real Time Control Engineering Systems And Automation

2026-04-05T16:07:25Z

Author Ng, Tian Seng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1509-0
Format: Electronic Resources
Availability Online Library~1

System Dynamics Modeling with R

2026-04-05T16:07:25Z

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

Android Application Security A Semantics and Context-Aware Approach

2026-04-05T16:07:25Z

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

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2026-04-05T16:07:25Z

Author Blesa, Maria J. editor. Blum, Christian. editor. Cangelosi, Angelo. editor. Cutello, Vincenzo. editor. Di Nuovo, Alessandro. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39636-1
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2026-04-05T16:07:25Z

Author Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-04-05T16:07:25Z

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

Algorithms and Architectures for Parallel Processing 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings

2026-04-05T16:07:25Z

Author Carretero, Jesus. editor. Garcia-Blas, Javier. editor. Ko, Ryan K.L. editor. Mueller, Peter. editor. Nakano, Koji. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49583-5
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29613-5
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings

2026-04-05T16:07:25Z

Author Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 King, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29604-3
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings

2026-04-05T16:07:25Z

Author Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42061-5
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics Powerful Tools for Optimization

2026-04-05T16:07:25Z

Author Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30883-8
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

2026-04-05T16:07:25Z

Author Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources
Availability Online Library~1

Decision Diagrams for Optimization

2026-04-05T16:07:25Z

Author Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42849-9
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2026-04-05T16:07:25Z

Author Artho, Cyrille. editor. Legay, Axel. editor. Peled, Doron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46520-3
Format: Electronic Resources
Availability Online Library~1

Principles of Data Mining

2026-04-05T16:07:25Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7307-6
Format: Electronic Resources
Availability Online Library~1

Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings

2026-04-05T16:07:25Z

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

Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2026-04-05T16:07:25Z

Author Lluch Lafuente, Alberto. editor. Proença, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39519-7
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers

2026-04-05T16:07:25Z

Author Gorentla Venkata, Manjunath. editor. Imam, Neena. editor. Pophale, Swaroop. editor. Mintz, Tiffany M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50995-2
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

Author Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2026-04-05T16:07:25Z

Author Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

2026-04-05T16:07:25Z

Author Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Lawford, Mark. editor. Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47846-3
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

2026-04-05T16:07:25Z

Author Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48869-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

2026-04-05T16:07:25Z

Author Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45279-1
Format: Electronic Resources
Availability Online Library~1

Software Developers as Users Semiotic Investigations in Human-Centered Software Development

2026-04-05T16:07:25Z

Author Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-42831-4
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2026-04-05T16:07:25Z

Author Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources
Availability Online Library~1

Understanding Control Flow Concurrent Programming Using μC++

2026-04-05T16:07:25Z

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

An Introduction to Data Analysis using Aggregation Functions in R

2026-04-05T16:07:25Z

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

Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA

2026-04-05T16:07:25Z

Author Ponce-Cruz, Pedro. author. Molina, Arturo. author. MacCleery, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26656-5
Format: Electronic Resources
Availability Online Library~1

Retrogame Archeology Exploring Old Computer Games

2026-04-05T16:07:25Z

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

Inductive Logic Programming 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

2026-04-05T16:07:25Z

Author Inoue, Katsumi. editor. Ohwada, Hayato. editor. Yamamoto, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40566-7
Format: Electronic Resources
Availability Online Library~1

Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

2026-04-05T16:07:25Z

Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50983-9
Format: Electronic Resources
Availability Online Library~1

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers

2026-04-05T16:07:25Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55669-7
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

Author Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46140-3
Format: Electronic Resources
Availability Online Library~1

Large-Scale Graph Processing Using Apache Giraph

2026-04-05T16:07:25Z

Author Sakr, Sherif. author. Orakzai, Faisal Moeen. author. Abdelaziz, Ibrahim. author. Khayyat, Zuhair. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47431-1
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

Author Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28228-2
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2026-04-05T16:07:25Z

Author Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources
Availability Online Library~1

Experimental Algorithms 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

2026-04-05T16:07:25Z

Author Goldberg, Andrew V. editor. Kulikov, Alexander S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-38851-9
Format: Electronic Resources
Availability Online Library~1

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

2026-04-05T16:07:25Z

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

Mixed-Integer Representations in Control Design Mathematical Foundations and Applications

2026-04-05T16:07:25Z

Author Prodan, Ionela. author. Stoican, Florin. author. Olaru, Sorin. author. (orcid)0000-0003-3256-9595 Niculescu, Silviu-Iulian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26995-5
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

2026-04-05T16:07:25Z

Author Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43659-3
Format: Electronic Resources
Availability Online Library~1

Introduction to HPC with MPI for Data Science

2026-04-05T16:07:25Z

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

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

2026-04-05T16:07:25Z

Author Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32152-3
Format: Electronic Resources
Availability Online Library~1

Introduction to Cyberdeception

2026-04-05T16:07:25Z

Author Rowe, Neil C. author. Rrushi, Julian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41187-3
Format: Electronic Resources
Availability Online Library~1

Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems

2026-04-05T16:07:25Z

Author Tlelo-Cuautle, Esteban. author. (orcid)0000-0001-7187-4686 Rangel-Magdaleno, José de Jesús. author. de la Fraga, Luis Gerardo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34115-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Foundations for Mastering Change I

2026-04-05T16:07:25Z

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

Guide to 3D Vision Computation Geometric Analysis and Implementation

2026-04-05T16:07:25Z

Author Kanatani, Kenichi. author. Sugaya, Yasuyuki. author. (orcid)0000-0001-8339-5631 Kanazawa, Yasushi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-48493-8
Format: Electronic Resources
Availability Online Library~1

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2026-04-05T16:07:25Z

Author Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources
Availability Online Library~1

Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach

2026-04-05T16:07:25Z

Author Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50137-6
Format: Electronic Resources
Availability Online Library~1

Pro Python

2026-04-05T16:07:25Z

Author Alchin, Marty. author. Browning, J. Burton. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0334-7
Format: Electronic Resources
Availability Online Library~1

Oracle Database Transactions and Locking Revealed

2026-04-05T16:07:25Z

Author Kyte, Thomas. author. Kuhn, Darl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0760-4
Format: Electronic Resources
Availability Online Library~1

Transitioning to Swift

2026-04-05T16:07:25Z

Author Gardner, Scott. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0406-1
Format: Electronic Resources
Availability Online Library~1

Experimenting with AVR Microcontrollers

2026-04-05T16:07:25Z

Author Trevennor, Alan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0901-1
Format: Electronic Resources
Availability Online Library~1

Numerical Methods using MATLAB

2026-04-05T16:07:25Z

Author Gupta, Abhishek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0154-1
Format: Electronic Resources
Availability Online Library~1

Beginning Xcode: Swift Edition

2026-04-05T16:07:25Z

Author Knott, Matthew. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0538-9
Format: Electronic Resources
Availability Online Library~1

Android Application Development for the Intel Platform

2026-04-05T16:07:25Z

Author Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0100-8
Format: Electronic Resources
Availability Online Library~1

Pro Unity Game Development with C#

2026-04-05T16:07:25Z

Author Thorn, Alan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6745-4
Format: Electronic Resources
Availability Online Library~1

Game Development Tool Essentials

2026-04-05T16:07:25Z

Author Berinstein, Paula. author. Arnaud, Remi. author. Ardolino, Alessandro. author. Franco, Simon. author. Herubel, Adrien. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6701-0
Format: Electronic Resources
Availability Online Library~1

MATLAB Differential and Integral Calculus

2026-04-05T16:07:25Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0304-0
Format: Electronic Resources
Availability Online Library~1

Migrating to Swift from Android

2026-04-05T16:07:25Z

Author Liao, Sean. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0436-8
Format: Electronic Resources
Availability Online Library~1

Beginning Haskell A Project-Based Approach

2026-04-05T16:07:25Z

Author Serrano Mena, Alejandro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6251-0
Format: Electronic Resources
Availability Online Library~1

Python Algorithms Mastering Basic Algorithms in the Python Language

2026-04-05T16:07:25Z

Author Hetland, Magnus Lie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0055-1
Format: Electronic Resources
Availability Online Library~1

The Coder's Path to Wealth and Independence

2026-04-05T16:07:25Z

Author Beckner, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0421-4
Format: Electronic Resources
Availability Online Library~1

Intel Galileo and Intel Galileo Gen 2 API Features and Arduino Projects for Linux Programmers

2026-04-05T16:07:25Z

Author Ramon, Manoel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6838-3
Format: Electronic Resources
Availability Online Library~1

MATLAB Differential Equations

2026-04-05T16:07:25Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0310-1
Format: Electronic Resources
Availability Online Library~1

Beginning iPhone Development with Swift Exploring the iOS SDK

2026-04-05T16:07:25Z

Author Topley, Kim. author. Olsson, Fredrik. author. Nutting, Jack. author. Mark, David. author. LaMarche, Jeff. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0409-2
Format: Electronic Resources
Availability Online Library~1

Visual Studio Condensed For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions

2026-04-05T16:07:25Z

Author Desjardins, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6823-9
Format: Electronic Resources
Availability Online Library~1

Android Apps for Absolute Beginners

2026-04-05T16:07:25Z

Author Jackson, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0019-3
Format: Electronic Resources
Availability Online Library~1

Beginning COBOL for Programmers

2026-04-05T16:07:25Z

Author Coughlan, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6254-1
Format: Electronic Resources
Availability Online Library~1

HL7 for BizTalk

2026-04-05T16:07:25Z

Author Edidin, Howard. author. Bhardwaj, Vikas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6763-8
Format: Electronic Resources
Availability Online Library~1

Java 8 Recipes

2026-04-05T16:07:25Z

Author Dea, Carl. author. Beaty, Mark. author. Guime, Freddy. author. OConner, John. author. Juneau, Josh. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6826-0
Format: Electronic Resources
Availability Online Library~1

MATLAB Optimization Techniques

2026-04-05T16:07:25Z

Author Lopez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0292-0
Format: Electronic Resources
Availability Online Library~1

Pro Office 365 Development

2026-04-05T16:07:25Z

Author Mayberry, Michael. author. Collins, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0244-9
Format: Electronic Resources
Availability Online Library~1

Beginning Java 8 Games Development

2026-04-05T16:07:25Z

Author Jackson, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0415-3
Format: Electronic Resources
Availability Online Library~1

Foundation ActionScript 3

2026-04-05T16:07:25Z

Author Milbourne, Paul. author. Richardson, Darren. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0583-9
Format: Electronic Resources
Availability Online Library~1