Search Results for Programming. - Narrowed by: 2019
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092019$0025092019$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?
2025-12-12T18:31:36Z
Answer Set Programming
ent://SD_ILS/0/SD_ILS:483668
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Lifschitz, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24658-7">https://doi.org/10.1007/978-3-030-24658-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The art of computer programming
ent://SD_ILS/0/SD_ILS:44324
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Knuth, Donald E.<br/>Preferred Shelf Number QA 76.5 K57 1968- V.1<br/>Format: Books<br/>Availability Beytepe Library~7<br/>
Programming principles in computer graphics
ent://SD_ILS/0/SD_ILS:23535
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ammeraal, Leendert.<br/>Preferred Shelf Number QA 76.6 A466 1986<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Genetic Programming Theory and Practice XVI
ent://SD_ILS/0/SD_ILS:483945
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Banzhaf, Wolfgang. editor. Spector, Lee. editor. Sheneman, Leigh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04735-1">https://doi.org/10.1007/978-3-030-04735-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning C# by Programming Games
ent://SD_ILS/0/SD_ILS:486170
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author van Toll, Wouter. author. Egges, Arjan. author. Fokker, Jeroen D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-59252-6">https://doi.org/10.1007/978-3-662-59252-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Tutorial Introduction to VHDL Programming
ent://SD_ILS/0/SD_ILS:484002
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Gazi, Orhan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-2309-6">https://doi.org/10.1007/978-981-13-2309-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Guide to Python 3 Programming
ent://SD_ILS/0/SD_ILS:485399
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25943-3">https://doi.org/10.1007/978-3-030-25943-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Pattern Languages of Programming IV
ent://SD_ILS/0/SD_ILS:482831
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14291-9">https://doi.org/10.1007/978-3-030-14291-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-objective stochastic programming in fuzzy environments
ent://SD_ILS/0/SD_ILS:482186
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Biswas, Animesh, author. Kumar, Arnab de, author. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-8301-1">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-8301-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Beginners Guide to Python 3 Programming
ent://SD_ILS/0/SD_ILS:483138
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20290-3">https://doi.org/10.1007/978-3-030-20290-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486336
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Schiex, Thomas. editor. (orcid)0000-0001-6049-3415 de Givry, Simon. editor. (orcid)0000-0002-2242-0458 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486836
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:483484
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12274-4">https://doi.org/10.1007/978-3-030-12274-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483547
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concepts of Soft Computing Fuzzy and ANN with Programming
ent://SD_ILS/0/SD_ILS:483115
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Chakraverty, Snehashish. author. Sahoo, Deepti Moyi. author. Mahato, Nisha Rani. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-7430-2">https://doi.org/10.1007/978-981-13-7430-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483789
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28346-9">https://doi.org/10.1007/978-3-030-28346-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484905
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Rousseau, Louis-Martin. editor. Stergiou, Kostas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19212-9">https://doi.org/10.1007/978-3-030-19212-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485271
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14805-8">https://doi.org/10.1007/978-3-030-14805-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485284
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18506-0">https://doi.org/10.1007/978-3-030-18506-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485680
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486322
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Lodi, Andrea. editor. (orcid)0000-0001-9269-633X Nagarajan, Viswanath. editor. (orcid)0000-0002-9514-5581 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17953-3">https://doi.org/10.1007/978-3-030-17953-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimized genetic programming applications : emerging research and opportunities
ent://SD_ILS/0/SD_ILS:481825
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Hrnjica, Bahrudin, 1972- author. Danandeh Mehr, Ali, 1979- author. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-6005-0">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-6005-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483241
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483296
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26807-7">https://doi.org/10.1007/978-3-030-26807-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Programming 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483445
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Hu, Ting. editor. (orcid)0000-0001-6382-0602 Lourenço, Nuno. editor. (orcid)0000-0002-2154-0642 Richter, Hendrik. editor. (orcid)0000-0001-5417-8291 García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16670-0">https://doi.org/10.1007/978-3-030-16670-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:483506
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21485-2">https://doi.org/10.1007/978-3-030-21485-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483601
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19034-7">https://doi.org/10.1007/978-3-030-19034-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Multi-Agent Programming Contest 2018 Agents Teaming Up in an Urban Environment
ent://SD_ILS/0/SD_ILS:483759
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ahlbrecht, Tobias. editor. (orcid)0000-0002-4652-901X Dix, Jürgen. editor. (orcid)0000-0002-8528-1440 Fiekas, Niklas. editor. (orcid)0000-0002-8369-4890 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37959-9">https://doi.org/10.1007/978-3-030-37959-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming
ent://SD_ILS/0/SD_ILS:483978
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Upadhyaya, Bhim P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12561-5">https://doi.org/10.1007/978-3-030-12561-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Object-Oriented Programming An Accessible Approach Using Java
ent://SD_ILS/0/SD_ILS:485529
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Sage, Kingsley. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13304-7">https://doi.org/10.1007/978-3-030-13304-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485789
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Silva, Josep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</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, Proceedings
ent://SD_ILS/0/SD_ILS:486129
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author 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/>
MATLAB-based finite element programming in electromagnetic modeling
ent://SD_ILS/0/SD_ILS:392413
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Özgün, Özlem. Kuzuoğlu, Mustafa.<br/>Preferred Shelf Number QC760 O94 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
MATLAB : a practical introduction to programming and problem solving
ent://SD_ILS/0/SD_ILS:422716
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Attaway, Stormy.<br/>Preferred Shelf Number QA297 A87 2019<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Handbook of research on advocacy, promotion, and public programming for memory institutions
ent://SD_ILS/0/SD_ILS:481992
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ngulube, Patrick, editor. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7429-3">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7429-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482746
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486615
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482859
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:482869
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30942-8">https://doi.org/10.1007/978-3-030-30942-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484028
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services Computing – SCC 2019 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484488
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ferreira, Joao Eduardo. editor. (orcid)0000-0001-9607-2014 Musaev, Aibek. editor. (orcid)0000-0001-5836-8754 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23554-3">https://doi.org/10.1007/978-3-030-23554-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484537
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484706
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484810
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Yangui, Sami. editor. (orcid)0000-0001-9756-642X Bouassida Rodriguez, Ismael. editor. Drira, Khalil. editor. (orcid)0000-0002-4770-1563 Tari, Zahir. editor. (orcid)0000-0002-1235-9673 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33702-5">https://doi.org/10.1007/978-3-030-33702-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484867
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Gashi, Ilir. editor. Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26250-1">https://doi.org/10.1007/978-3-030-26250-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484889
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Tutoring Systems 15th International Conference, ITS 2019, Kingston, Jamaica, June 3–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485196
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Coy, Andre. editor. Hayashi, Yugo. editor. Chang, Maiga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22244-4">https://doi.org/10.1007/978-3-030-22244-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing – ICSOC 2018 Workshops ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485266
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Liu, Xiao. editor. Mrissa, Michael. editor. Zhang, Liang. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Ghose, Aditya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17642-6">https://doi.org/10.1007/978-3-030-17642-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485304
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485728
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Bures, Tomas. editor. Duchien, Laurence. editor. (orcid)0000-0002-4517-5862 Inverardi, Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29983-5">https://doi.org/10.1007/978-3-030-29983-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486130
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31280-0">https://doi.org/10.1007/978-3-030-31280-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486311
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-11404-6">https://doi.org/10.1007/978-3-030-11404-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486324
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services – ICWS 2019 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486325
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Miller, John. editor. Stroulia, Eleni. editor. Lee, Kisung. editor. (orcid)0000-0003-4367-4374 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23499-7">https://doi.org/10.1007/978-3-030-23499-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486559
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486578
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model and Data Engineering 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486579
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Schewe, Klaus-Dieter. editor. (orcid)0000-0002-8309-1803 Singh, Neeraj Kumar. editor. (orcid)0000-0002-1124-0179 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32065-2">https://doi.org/10.1007/978-3-030-32065-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486718
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483418
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author 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-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483421
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (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-030-06019-0">https://doi.org/10.1007/978-3-030-06019-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483434
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483548
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35540-1">https://doi.org/10.1007/978-3-030-35540-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483626
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29852-4">https://doi.org/10.1007/978-3-030-29852-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483736
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-26601-1">https://doi.org/10.1007/978-3-030-26601-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483739
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35333-9">https://doi.org/10.1007/978-3-030-35333-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483767
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27455-9">https://doi.org/10.1007/978-3-030-27455-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483905
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483908
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30856-8">https://doi.org/10.1007/978-3-030-30856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484184
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15538-4">https://doi.org/10.1007/978-3-030-15538-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485968
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22397-7">https://doi.org/10.1007/978-3-030-22397-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Services – SERVICES 2019 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486228
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Xia, Yunni. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23381-5">https://doi.org/10.1007/978-3-030-23381-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486230
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153 Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177 Katsaros, Panagiotis. editor. Bozzano, Marco. editor. (orcid)0000-0002-4135-103X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32872-6">https://doi.org/10.1007/978-3-030-32872-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486274
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18744-6">https://doi.org/10.1007/978-3-030-18744-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486438
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31095-0">https://doi.org/10.1007/978-3-030-31095-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Conceptual Modeling ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484219
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Guizzardi, Giancarlo. editor. Gailly, Frederik. editor. Suzana Pitangueira Maciel, Rita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34146-6">https://doi.org/10.1007/978-3-030-34146-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484225
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32079-9">https://doi.org/10.1007/978-3-030-32079-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486502
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04918-8">https://doi.org/10.1007/978-3-030-04918-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:484616
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17601-3">https://doi.org/10.1007/978-3-030-17601-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484770
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32409-4">https://doi.org/10.1007/978-3-030-32409-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered Software Engineering 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485054
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Kuusinen, Kati. editor. (orcid)0000-0003-3076-1356 Lárusdóttir, Marta Kristín. editor. Palanque, Philippe. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05909-5">https://doi.org/10.1007/978-3-030-05909-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485980
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Game engine gems
ent://SD_ILS/0/SD_ILS:540761
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Lengyel, Eric.<br/>Preferred Shelf Number QA76.76 .C672 G3588 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439869772">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Arduino atölyesi
ent://SD_ILS/0/SD_ILS:423149
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Delebe, Erdal<br/>Preferred Shelf Number TJ226 D45 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Arduino ile kodlama : ve mikrodenetleyici uygulamaları
ent://SD_ILS/0/SD_ILS:423153
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ocak, Mehmet Akif. Efe, Abdullah Alper.<br/>Preferred Shelf Number QA76.76.A73 O23 2018<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Projeler eşliğinde arm işlemci programlama : Arm Mbed OS, RTOS,Thread, RTC, Multi Tasking
ent://SD_ILS/0/SD_ILS:423204
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Arvas, Mehmet Akif.<br/>Preferred Shelf Number QA76.7 A783 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Her yönüyle C# 8.0
ent://SD_ILS/0/SD_ILS:424030
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Aktaş, Volkan.<br/>Preferred Shelf Number QA76.73.C154 A39 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Her yönüyle Go programlamaya giriş
ent://SD_ILS/0/SD_ILS:424032
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Küçüksille, Ecir Uğur. Kemaloğlu, Nazan.<br/>Preferred Shelf Number QA76.73 K57 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482984
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483047
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34627-0">https://doi.org/10.1007/978-3-030-34627-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483052
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483131
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Reality Games I Understanding the Pokémon GO Phenomenon
ent://SD_ILS/0/SD_ILS:483152
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Geroimenko, Vladimir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15616-9">https://doi.org/10.1007/978-3-030-15616-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Webservices Theory and Practice
ent://SD_ILS/0/SD_ILS:483812
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Mohanty, Hrushikesha. editor. Pattnaik, Prasant Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3224-1">https://doi.org/10.1007/978-981-13-3224-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484045
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project
ent://SD_ILS/0/SD_ILS:484503
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Sato, Mitsuhisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-1924-2">https://doi.org/10.1007/978-981-13-1924-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484898
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29238-6">https://doi.org/10.1007/978-3-030-29238-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485164
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485258
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15996-2">https://doi.org/10.1007/978-3-030-15996-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485265
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13838-7">https://doi.org/10.1007/978-3-030-13838-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485700
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486031
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16722-6">https://doi.org/10.1007/978-3-030-16722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485870
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23584-0">https://doi.org/10.1007/978-3-030-23584-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of High Performance Computing for Computational Science, Vol. 1 Techniques of Speedup and Parallelization for General Purposes
ent://SD_ILS/0/SD_ILS:486074
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Geshi, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6194-4">https://doi.org/10.1007/978-981-13-6194-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Gamification Mindset
ent://SD_ILS/0/SD_ILS:486215
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Goethe, Ole. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-11078-9">https://doi.org/10.1007/978-3-030-11078-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486285
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Software Design with Java
ent://SD_ILS/0/SD_ILS:486330
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Robillard, Martin P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deep Reinforcement Learning Frontiers of Artificial Intelligence
ent://SD_ILS/0/SD_ILS:486568
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Sewak, Mohit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-8285-7">https://doi.org/10.1007/978-981-13-8285-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486645
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29948-4">https://doi.org/10.1007/978-3-030-29948-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486680
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Rauchwerger, Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486683
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12988-0">https://doi.org/10.1007/978-3-030-12988-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486699
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-36592-9">https://doi.org/10.1007/978-3-030-36592-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimizasyon ve MATLAB uygulamaları
ent://SD_ILS/0/SD_ILS:460726
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Tezel Özturan, Aysun.<br/>Preferred Shelf Number QA402.5 T49 2019<br/>Format: Books<br/>Availability Beytepe Library~2<br/>
Code generation, analysis tools, and testing for quality
ent://SD_ILS/0/SD_ILS:481998
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Queiros, Ricardo Alexandre Peixoto de, 1975- editor. Simoes, Alberto, 1978- editor. Pinto, Mario Teixeira, 1967- editor. IGI Global, publisher.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7455-2">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7455-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
ent://SD_ILS/0/SD_ILS:482889
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:482916
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings
ent://SD_ILS/0/SD_ILS:482917
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Fitzgerald, Brian. editor. Mockus, Audris. editor. Zhou, Minghui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-7099-1">https://doi.org/10.1007/978-981-13-7099-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483248
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-37487-7">https://doi.org/10.1007/978-3-030-37487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Reality Games II The Gamification of Education, Medicine and Art
ent://SD_ILS/0/SD_ILS:483311
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Geroimenko, Vladimir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15620-6">https://doi.org/10.1007/978-3-030-15620-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Music Instruments II Realtime and Object-Oriented Audio
ent://SD_ILS/0/SD_ILS:483572
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Lazzarini, Victor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13712-0">https://doi.org/10.1007/978-3-030-13712-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Languages and Compilation
ent://SD_ILS/0/SD_ILS:483708
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04879-2">https://doi.org/10.1007/978-3-030-04879-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:483982
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Lujak, Marin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17294-7">https://doi.org/10.1007/978-3-030-17294-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Java in Two Semesters Featuring JavaFX
ent://SD_ILS/0/SD_ILS:484095
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99420-8">https://doi.org/10.1007/978-3-319-99420-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Art of High Performance Computing for Computational Science, Vol. 2 Advanced Techniques and Examples for Materials Science
ent://SD_ILS/0/SD_ILS:484149
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Geshi, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-9802-5">https://doi.org/10.1007/978-981-13-9802-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485590
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23611-3">https://doi.org/10.1007/978-3-030-23611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
ent://SD_ILS/0/SD_ILS:486057
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19052-1">https://doi.org/10.1007/978-3-030-19052-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485944
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15465-3">https://doi.org/10.1007/978-3-030-15465-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deep Learning with R
ent://SD_ILS/0/SD_ILS:486235
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ghatak, Abhijit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-5850-0">https://doi.org/10.1007/978-981-13-5850-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Essentials of Cloud Computing A Holistic Perspective
ent://SD_ILS/0/SD_ILS:486548
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Surianarayanan, Chellammal. author. Chelliah, Pethuru Raj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-13134-0">https://doi.org/10.1007/978-3-030-13134-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Semiotic Landscape. Panorama sémiotique : Proceedings of the First Congress of the International Association for Semiotic Studies, Milan June 1974 / Actes du premier congrès de l'association Internationale de Sémiotique, Milan juin 1974
ent://SD_ILS/0/SD_ILS:532159
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Agosti, Stefano, contributor. Agrest, Diana, contributor. Alinei, Mario, contributor. Almansi, Guido, contributor. Andersen, Henning, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110803327">https://doi.org/10.1515/9783110803327</a>
<a href="https://www.degruyter.com/isbn/9783110803327">https://www.degruyter.com/isbn/9783110803327</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110803327/original">https://www.degruyter.com/document/cover/isbn/9783110803327/original</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python by example : learning to program in 150 challenges
ent://SD_ILS/0/SD_ILS:506287
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Lacey, Nichola, author.<br/>Preferred Shelf Number QA76.73 .P98 L33 2019<br/>Electronic Access <a href="https://doi.org/10.1017/9781108591942">https://doi.org/10.1017/9781108591942</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Her yönüyle C# 8.0
ent://SD_ILS/0/SD_ILS:517711
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Aktaş, Volkan.<br/>Preferred Shelf Number QA76.73.C154 A39 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Real-Time Rendering
ent://SD_ILS/0/SD_ILS:544514
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Akenine-Möller, Tomas, author. Haines, Eric, author. Hoffman, Naty, author. Taylor and Francis.<br/>Preferred Shelf Number T385 .M635 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315365459">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android programlama
ent://SD_ILS/0/SD_ILS:423059
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Narman, Aysan Ethem.<br/>Preferred Shelf Number QA76.7.A65 N37 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Scala ile yeni nesil programlama
ent://SD_ILS/0/SD_ILS:460961
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Satır, Murat.<br/>Preferred Shelf Number QA76.73.S28 S285 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Designing Thriving Systems Marrying Technical Rationality and Appreciative Systems
ent://SD_ILS/0/SD_ILS:482892
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Waguespack, Leslie J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-03925-7">https://doi.org/10.1007/978-3-030-03925-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on High-Performance Embedded Architectures and Compilers V
ent://SD_ILS/0/SD_ILS:484586
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Python Workbook A Brief Introduction with Exercises and Solutions
ent://SD_ILS/0/SD_ILS:484688
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18873-3">https://doi.org/10.1007/978-3-030-18873-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
İşletim sistemleri ve sistem programlama
ent://SD_ILS/0/SD_ILS:514321
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Avcı, Mutlu. Özyıldırım, Buse Melis. Ülgen, Onur.<br/>Preferred Shelf Number QA76.76.O63 A94 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Algoritma tasarlama ve C ile temel bilgisayar programlama
ent://SD_ILS/0/SD_ILS:514240
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Abuşoğlu, Atakan.<br/>Preferred Shelf Number QA76.75 A28 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
C ile ileri bilgisayar programlama ve fonksiyon grafikleri çizme
ent://SD_ILS/0/SD_ILS:514241
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Abuşoğlu, Atakan.<br/>Preferred Shelf Number QA76.73.C15 A28 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Paralel programlama
ent://SD_ILS/0/SD_ILS:514283
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Ahmad, Bashar Alhaj.<br/>Preferred Shelf Number QA76.642 A36 2019<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
The Electrical Engineering Handbook - Six Volume Set
ent://SD_ILS/0/SD_ILS:542484
2025-12-12T18:31:36Z
2025-12-12T18:31:36Z
Author Dorf, Richard C., editor. Taylor and Francis.<br/>Preferred Shelf Number R857 .B54<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420049756">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>