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
262 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
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 Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
Author 
Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64285-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
Cover image for Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers
Explainable and Transparent AI and Multi-Agent Systems 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024, Revised Selected Papers
Author 
Calvaresi, Davide. editor. (orcid)0000-0001-9816-7439 Najjar, Amro. editor. (orcid)0000-0001-7784-6176 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869 Aydogan, Reyhan. editor. (orcid)0000-0002-5260-9999 Carli, Rachele. editor. (orcid)0000-0002-8689-285X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70074-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings
Author 
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-0617-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
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:
32. 
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:
33. 
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:
34. 
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:
35. 
Cover image for Learning Java A Test-Driven Approach
Learning Java A Test-Driven Approach
Author 
Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66638-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Proceedings of the 9th Brazilian Technology Symposium (BTSym'23) Emerging Trends and Challenges in Technology
Proceedings of the 9th Brazilian Technology Symposium (BTSym'23) Emerging Trends and Challenges in Technology
Author 
Iano, Yuzo. editor. Saotome, Osamu. editor. Kemper Vásquez, Guillermo Leopoldo. editor. (orcid)0000-0002-7800-7769 de Moraes Gomes Rosa, Maria Thereza. editor. Arthur, Rangel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66961-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets