Limit Search Results
Author
SpringerLink (Online service)
(60)
Laaksonen, Antti. author.
(2)
Luković, Ivan. editor. (orcid)0000-0003-1319-488X
(2)
Perner, Petra. editor.
(2)
Staroń, Mirosław. editor. (orcid)0000-0002-9052-0864
(2)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(45)
Software engineering.
(37)
Programming Techniques.
(24)
Artificial intelligence.
(14)
Compilers (Computer programs).
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
75 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61482-3
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
Author 
Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67531-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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:
41. 
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:
42. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62701-4
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
Cover image for Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Author 
Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28934-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Author 
Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42061-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings
Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings
Author 
Perner, Petra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41561-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
Author 
Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46982-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
Author 
Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46508-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action