Limit Search Results
Author
SpringerLink (Online service)
(125)
Hunt, John. author.
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Badger, Julia M. editor.
(2)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(127)
Software engineering.
(81)
Computer logic.
(58)
Computer programming.
(38)
Artificial intelligence.
(26)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
151 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Author 
Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18506-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Author 
Silva, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16202-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
Author 
Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23584-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Author 
Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15465-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author 
Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22397-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Author 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31517-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Learning C# by Programming Games
Learning C# by Programming Games
Author 
van Toll, Wouter. author. Egges, Arjan. author. Fokker, Jeroen D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-59252-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
Author 
Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24781-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Author 
Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27455-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Author 
Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-13838-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Author 
Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14805-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
Author 
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05807-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action