Limit Search Results
Author
SpringerLink (Online service)
(168)
Hunt, John. author.
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(168)
Software engineering.
(96)
Computer logic.
(58)
Computer programming.
(48)
Programming Language.
(41)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
212 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
Cover image for Beginning Solidity : learn to program smart contracts with solidity
Beginning Solidity : learn to program smart contracts with solidity
Author 
Dolgov, Alexandros, author.
Preferred Shelf Number 
QA76.73 .S57 D65 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
Author 
Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71177-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Author 
Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91118-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Author 
Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-91121-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Compiler Construction Fundamentals and Applications
Compiler Construction Fundamentals and Applications
Author 
Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84813-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Programming language explorations
Programming language explorations
Author 
Toal, Ray, author. Strieker, Sage Angelica, author. Berardini, Marco, author.
Preferred Shelf Number 
QA76.7
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003222354
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software
The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software
Author 
Scheer, August-Wilhelm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-43089-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Author 
Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50423-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Programming Heterogeneous Hardware via Managed Runtime Systems
Programming Heterogeneous Hardware via Managed Runtime Systems
Author 
Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-49559-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Challenging Programming in Python: A Problem Solving Perspective
Challenging Programming in Python: A Problem Solving Perspective
Author 
Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39999-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX
Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX
Author 
Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54369-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action