Limit Search Results
Author
SpringerLink (Online service)
(125)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Hunt, John. author.
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(130)
Software engineering.
(81)
Computer logic.
(58)
Programming languages (Electronic computers)
(41)
Computer programming.
(38)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
184 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for A Beginners Guide to Python 3 Programming
A Beginners Guide to Python 3 Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20290-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32304-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for 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
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
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.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33246-4
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Answer Set Programming
Answer Set Programming
Author 
Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24658-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Java in Two Semesters Featuring JavaFX
Java in Two Semesters Featuring JavaFX
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99420-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Transactions on High-Performance Embedded Architectures and Compilers V
Transactions on High-Performance Embedded Architectures and Compilers V
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)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-58834-5
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Author 
Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
Author 
Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05998-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
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)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15465-3
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Author 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action