Limit Search Results
Author
SpringerLink (Online service)
(52)
Laaksonen, Antti. author.
(2)
Luković, Ivan. editor. (orcid)0000-0003-1319-488X
(2)
Perner, Petra. editor.
(2)
Sobolev, Sergey. editor.
(2)
Language
Publication Date
-
Subject
Computer programming.
(44)
Software engineering.
(29)
Compilers (Computer programs).
(20)
Compilers and Interpreters.
(20)
Computer science.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
52 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
Cover image for Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
Author 
Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61753-9
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Author 
Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61794-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
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:
17. 
Cover image for Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Author 
Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71237-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Author 
Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72547-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
Author 
Ding, Chen. editor. Criswell, John. editor. Wu, Peng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52709-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Author 
de Lara, Juan. editor. Plump, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61470-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Author 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings
Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings
Author 
de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65578-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
Author 
Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67630-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action