Search Results for Computers. - Narrowed by: Programming Techniques.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputers.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list
2026-03-19T17:59:11Z
Numbers and Computers
ent://SD_ILS/0/SD_ILS:606366
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67482-2">https://doi.org/10.1007/978-3-031-67482-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:601538
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84913-8">https://doi.org/10.1007/978-3-031-84913-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:606890
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74558-4">https://doi.org/10.1007/978-3-031-74558-4</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:609375
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Stephenson, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84560-4">https://doi.org/10.1007/978-3-031-84560-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:605610
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72578-4">https://doi.org/10.1007/978-3-031-72578-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-based Programming with Go
ent://SD_ILS/0/SD_ILS:609332
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Maurer, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Quantum Computing From a Layperson to a Programmer in 30 Steps
ent://SD_ILS/0/SD_ILS:601732
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Wong, Hiu Yung. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36985-8">https://doi.org/10.1007/978-3-031-36985-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602456
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52265-9">https://doi.org/10.1007/978-3-031-52265-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603643
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling Programming Competency A Qualitative Analysis
ent://SD_ILS/0/SD_ILS:602200
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Kiesler, Natalie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47148-3">https://doi.org/10.1007/978-3-031-47148-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
ent://SD_ILS/0/SD_ILS:604641
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Laaksonen, Antti. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61794-2">https://doi.org/10.1007/978-3-031-61794-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Java A Test-Driven Approach
ent://SD_ILS/0/SD_ILS:604840
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66638-4">https://doi.org/10.1007/978-3-031-66638-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602129
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49379-9">https://doi.org/10.1007/978-3-031-49379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:602925
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
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<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51075-5">https://doi.org/10.1007/978-3-031-51075-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603567
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2300-3">https://doi.org/10.1007/978-981-97-2300-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:610998
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65578-9">https://doi.org/10.1007/978-3-319-65578-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613250
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71255-0">https://doi.org/10.1007/978-3-319-71255-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Technologies 11th International Conference, PCT 2017, Kazan, Russia, April 3-7, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612856
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67035-5">https://doi.org/10.1007/978-3-319-67035-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611151
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
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-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:612242
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67630-2">https://doi.org/10.1007/978-3-319-67630-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
ent://SD_ILS/0/SD_ILS:613452
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Laaksonen, Antti. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72547-5">https://doi.org/10.1007/978-3-319-72547-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616013
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61470-0">https://doi.org/10.1007/978-3-319-61470-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616111
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56856-0">https://doi.org/10.1007/978-3-319-56856-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616117
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61482-3">https://doi.org/10.1007/978-3-319-61482-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616126
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67531-2">https://doi.org/10.1007/978-3-319-67531-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613501
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
ent://SD_ILS/0/SD_ILS:615974
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52709-3">https://doi.org/10.1007/978-3-319-52709-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616222
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62701-4">https://doi.org/10.1007/978-3-319-62701-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616270
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Provably Correct Systems
ent://SD_ILS/0/SD_ILS:616382
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Hinchey, Mike. editor. Bowen, Jonathan P. editor. Olderog, Ernst-Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48628-4">https://doi.org/10.1007/978-3-319-48628-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:617841
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
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-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611088
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29778-1">https://doi.org/10.1007/978-3-319-29778-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
ent://SD_ILS/0/SD_ILS:613086
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
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)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613096
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55669-7">https://doi.org/10.1007/978-3-319-55669-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Retrogame Archeology Exploring Old Computer Games
ent://SD_ILS/0/SD_ILS:612929
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Aycock, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30004-7">https://doi.org/10.1007/978-3-319-30004-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611423
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40648-0">https://doi.org/10.1007/978-3-319-40648-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:611427
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Perner, Petra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41561-1">https://doi.org/10.1007/978-3-319-41561-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Control Flow Concurrent Programming Using μC++
ent://SD_ILS/0/SD_ILS:612212
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Buhr, Peter A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617139
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616886
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimenting with AVR Microcontrollers
ent://SD_ILS/0/SD_ILS:618660
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Trevennor, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0901-1">https://doi.org/10.1007/978-1-4842-0901-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
ent://SD_ILS/0/SD_ILS:334327
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334327.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334469
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334469.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37658-0">http://dx.doi.org/10.1007/978-3-642-37658-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334870
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334870.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39955-8">http://dx.doi.org/10.1007/978-3-642-39955-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2012 Rationale The Language, The Standard Libraries
ent://SD_ILS/0/SD_ILS:335195
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Barnes, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335195.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45210-9">http://dx.doi.org/10.1007/978-3-642-45210-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering and Management for Software Development Projects
ent://SD_ILS/0/SD_ILS:331756
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Chemuturi, Murali. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331756.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5377-2">http://dx.doi.org/10.1007/978-1-4614-5377-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for High Performance Computing 2012
ent://SD_ILS/0/SD_ILS:334411
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.<br/>Preferred Shelf Number ONLINE(334411.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37349-7">http://dx.doi.org/10.1007/978-3-642-37349-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334533
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)
ent://SD_ILS/0/SD_ILS:335216
2026-03-19T17:59:11Z
2026-03-19T17:59:11Z
Author Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.<br/>Preferred Shelf Number ONLINE(335216.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45419-6">http://dx.doi.org/10.1007/978-3-642-45419-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>