Search Results for Application software -- Programming. - Narrowed by: 1:SPRINGER
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dApplication$002bsoftware$002b--$002bProgramming.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ASPRINGER$0025091$00253ASPRINGER$0026ps$003d300?dt=list
2026-03-22T05:28:55Z
Transactions on Pattern Languages of Programming V
ent://SD_ILS/0/SD_ILS:607718
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70810-1">https://doi.org/10.1007/978-3-662-70810-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Computer Architecture
ent://SD_ILS/0/SD_ILS:606621
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-9314-3">https://doi.org/10.1007/978-981-97-9314-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Heterogeneous Hardware via Managed Runtime Systems
ent://SD_ILS/0/SD_ILS:603202
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49559-5">https://doi.org/10.1007/978-3-031-49559-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:604956
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67114-2">https://doi.org/10.1007/978-3-031-67114-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603073
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56940-1">https://doi.org/10.1007/978-3-031-56940-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization of Chemical Processes A Sustainable Perspective
ent://SD_ILS/0/SD_ILS:603450
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Ponce-Ortega, José María. author. Ochoa-Barragán, Rogelio. author. (orcid)0000-0002-2187-5813 Ramírez-Márquez, César. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57270-8">https://doi.org/10.1007/978-3-031-57270-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Distributed Simulation with HLA
ent://SD_ILS/0/SD_ILS:611689
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Topçu, Okan. author. Oğuztüzün, Halit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61267-6">https://doi.org/10.1007/978-3-319-61267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Visualisation with R 100 Examples
ent://SD_ILS/0/SD_ILS:613191
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Rahlf, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49751-8">https://doi.org/10.1007/978-3-319-49751-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Scala Language Exploration
ent://SD_ILS/0/SD_ILS:613298
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
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-319-69368-2">https://doi.org/10.1007/978-3-319-69368-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616124
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Jacquet, Jean-Marie. editor. Massink, Mieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59746-1">https://doi.org/10.1007/978-3-319-59746-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures
ent://SD_ILS/0/SD_ILS:618041
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Neidhardt, Alexander N.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40139-3">https://doi.org/10.1007/978-3-319-40139-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612292
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613621
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Approach to Compiler Construction
ent://SD_ILS/0/SD_ILS:617486
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Watson, Des. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52789-5">https://doi.org/10.1007/978-3-319-52789-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android Application Security A Semantics and Context-Aware Approach
ent://SD_ILS/0/SD_ILS:615865
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Zhang, Mu. author. Yin, Heng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47812-8">https://doi.org/10.1007/978-3-319-47812-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FPGAs for Software Programmers
ent://SD_ILS/0/SD_ILS:617195
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Koch, Dirk. editor. Hannig, Frank. editor. (orcid)0000-0003-3663-6484 Ziener, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26408-0">https://doi.org/10.1007/978-3-319-26408-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:617729
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SAP ABAP Hands-On Test Projects with Business Scenarios
ent://SD_ILS/0/SD_ILS:618511
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Markandeya, Sushil. author. Roy, Kaushik. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-4804-0">https://doi.org/10.1007/978-1-4302-4804-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 Games Development
ent://SD_ILS/0/SD_ILS:618583
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Jackson, Wallace. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0415-3">https://doi.org/10.1007/978-1-4842-0415-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX
ent://SD_ILS/0/SD_ILS:618669
2026-03-22T05:28:55Z
2026-03-22T05:28:55Z
Author Kusswurm, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0064-3">https://doi.org/10.1007/978-1-4842-0064-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>