Limit Search Results
Author
SpringerLink (Online service)
(46)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Liu, Zhiming. editor. (orcid)0000-0001-9771-3071
(2)
Luković, Ivan. editor. (orcid)0000-0003-1319-488X
(2)
Maciaszek, Leszek A. editor.
(2)
Language
Publication Date
-
Subject
Programming Techniques.
(41)
Software engineering.
(27)
Compilers (Computer programs).
(22)
Compilers and Interpreters.
(22)
Computer System Implementation.
(17)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
49 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers
Author 
Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64182-4
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Author 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2300-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Programming with GitHub Copilot : Write Better Code--Faster!
Programming with GitHub Copilot : Write Better Code--Faster!
Author 
Dowswell, Kurt, author.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
MATLAB and Simulink in Action Programming, Scientific Computing and Simulation
Author 
Xue, Dingyü. author. Pan, Feng. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1176-9
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
Author 
Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66021-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
Quality of Information and Communications Technology 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings
Author 
Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248 García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29238-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17184-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
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:
22. 
Cover image for Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
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:
24. 
Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action