Limit Search Results
Author
SpringerLink (Online service)
(790)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(13)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(12)
Voronkov, Andrei. editor.
(10)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(8)
Language
Publication Date
-
Subject
Computer science.
(488)
Artificial intelligence.
(190)
Computer Science Logic and Foundations of Programming.
(170)
Logic design.
(139)
Compilers (Computer programs).
(133)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
816 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Principles of Programming Languages
Principles of Programming Languages
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-032-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Theoretical Introduction to Programming
Theoretical Introduction to Programming
Author 
Mills, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-263-2
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 Patterns, Programming and Everything
Patterns, Programming and Everything
Author 
Breitman, Karin K. editor. Horspool, R. Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2350-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
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:
9. 
Cover image for Introduction to Programming with Fortran
Introduction to Programming with Fortran
Author 
Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75502-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Behavioral Program Synthesis with Genetic Programming
Behavioral Program Synthesis with Genetic Programming
Author 
Krawiec, Krzysztof. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27565-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Foundations of Python Network Programming
Foundations of Python Network Programming
Author 
Rhodes, Brandon. author. Goerzen, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-5855-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Distributed Programming Theory and Practice
Distributed Programming Theory and Practice
Author 
Shankar, A. Udaya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331611.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4881-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action