Limit Search Results
Author
SpringerLink (Online service)
(790)
Lopez, Cesar. author.
(10)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(10)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Joshi, Amit. editor.
(8)
Language
English
(790)
Publication Date
-
2016
(217)
2017
(214)
2024
(140)
2025
(130)
2014
(89)
Subject
Software engineering.
(365)
Computer science.
(293)
Computer Science Logic and Foundations of Programming.
(230)
Artificial intelligence.
(207)
Compilers (Computer programs).
(188)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
790 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Programming Language Concepts
Programming Language Concepts
Author 
Sestoft, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60789-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Programming with Python
Programming with Python
Author 
Padmanabhan, T R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3277-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Understanding Modelling and Programming
Understanding Modelling and Programming
Author 
Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71280-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Foundations of Programming Languages
Foundations of Programming Languages
Author 
Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70790-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Exercise Programming for Cardiac Patients
Exercise Programming for Cardiac Patients
Author 
Rybicki, Jerzy. editor. Staron, Adam. editor. (orcid)0000-0001-5489-9160 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88475-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Object-based Programming with Go
Object-based Programming with Go
Author 
Maurer, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-44704-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Programming with Python for Engineers
Programming with Python for Engineers
Author 
Kalkan, Sinan. author. (orcid)0000-0003-0915-5917 Şehitoğlu, Onur T. author. (orcid)0000-0001-5146-5017 Üçoluk, Göktürk. author. (orcid)0000-0002-1479-6113 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57148-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Genetic Programming Theory and Practice XX
Genetic Programming Theory and Practice XX
Author 
Winkler, Stephan. editor. (orcid)0000-0002-5196-4294 Trujillo, Leonardo. editor. (orcid)0000-0003-1812-5736 Ofria, Charles. editor. Hu, Ting. editor. (orcid)0000-0001-6382-0602 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8413-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The French School of Programming
The French School of Programming
Author 
Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Exception Handling Fundamentals and Programming
Exception Handling Fundamentals and Programming
Author 
Mejia Alvarez, Pedro. author. Gonzalez Torres, Raul E. author. Ortega Cisneros, Susana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50681-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Modeling Programming Competency A Qualitative Analysis
Modeling Programming Competency A Qualitative Analysis
Author 
Kiesler, Natalie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47148-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action