Limit Search Results
Author
SpringerLink (Online service)
(262)
Lopez, Cesar. author.
(11)
Legay, Axel. editor.
(4)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(4)
Artho, Cyrille. editor.
(3)
Language
English
(262)
Publication Date
-
2017
(97)
2016
(85)
2014
(29)
2024
(28)
2025
(23)
Subject
Compilers (Computer programs).
(215)
Compilers and Interpreters.
(215)
Software engineering.
(155)
Computer science.
(118)
Computer Science Logic and Foundations of Programming.
(98)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
262 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Introduction to Compiler Design
Introduction to Compiler Design
Author 
Mogensen, Torben Ægidius. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46460-7
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Cloud-Native Application Architecture Microservice Development Best Practice
Cloud-Native Application Architecture Microservice Development Best Practice
Author 
Team, FreeWheel Biz-UI. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9782-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Development and Testing of Vehicle Software and its Influence on Sustainable Transport
Development and Testing of Vehicle Software and its Influence on Sustainable Transport
Author 
Colmenar-Santos, Antonio. editor. Borge-Diez, David. editor. Ortega-Cabezas, Pedro-Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47630-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Data Structures and Algorithms with Python With an Introduction to Multiprocessing
Data Structures and Algorithms with Python With an Introduction to Multiprocessing
Author 
Lee, Kent D. author. Hubbard, Steve. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42209-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Author 
Weirich, Stephanie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57267-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Author 
Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55630-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Learn coding with Python and JavaScript A practical introduction for beginners
Learn coding with Python and JavaScript A practical introduction for beginners
Author 
Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-42912-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Author 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0
ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0
Author 
Stapp, Lucjan. author. Roman, Adam. author. (orcid)0000-0002-1020-5128 Pilaeten, Michaël. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42767-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for CyberSecurity in a DevOps Environment From Requirements to Monitoring
CyberSecurity in a DevOps Environment From Requirements to Monitoring
Author 
Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42212-6
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for FPGA EDA Design Principles and Implementation
FPGA EDA Design Principles and Implementation
Author 
Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7755-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Digital Transformation in Higher Education Institutions
Digital Transformation in Higher Education Institutions
Author 
de Bem Machado, Andreia. editor. (orcid)0000-0002-4404-0341 Sousa, Maria José. editor. (orcid)0000-0001-8633-4199 Dal Mas, Francesca. editor. Secinaro, Silvana. editor. (orcid)0000-0002-0811-6580 Calandra, Davide. editor. (orcid)0000-0001-5159-7167
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action