Limit Search Results
Author
SpringerLink (Online service)
(23)
O'Regan, Gerard. author.
(2)
Alagić, Suad. author.
(1)
Anderson, Samira. editor.
(1)
Anjorin, Anthony. editor.
(1)
Language
Subject
Software engineering.
(11)
Compilers (Computer programs).
(8)
Compilers and Interpreters.
(8)
Computer programming.
(4)
Electronic books.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Unraveling Software Maintenance and Evolution Thinking Outside the Box
Unraveling Software Maintenance and Evolution Thinking Outside the Box
Author 
Varga, Ervin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71303-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Author 
Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60074-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Software Engineering: Specification, Implementation, Verification
Software Engineering: Specification, Implementation, Verification
Author 
Alagić, Suad. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61518-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Nutritional Anemia in Preschool Children
Nutritional Anemia in Preschool Children
Author 
Gupta, Anil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5178-4
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Eye Tracking Methodology Theory and Practice
Eye Tracking Methodology Theory and Practice
Author 
Duchowski, Andrew T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57883-5
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Language Modeling for Automatic Speech Recognition of Inflective Languages An Applications-Oriented Approach Using Lexical Data
Language Modeling for Automatic Speech Recognition of Inflective Languages An Applications-Oriented Approach Using Lexical Data
Author 
Donaj, Gregor. author. Kačič, Zdravko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41607-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Author 
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63139-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Dialogues with Social Robots Enablements, Analyses, and Evaluation
Dialogues with Social Robots Enablements, Analyses, and Evaluation
Author 
Jokinen, Kristiina. editor. Wilcock, Graham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2585-3
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Agile Modeling with UML Code Generation, Testing, Refactoring
Agile Modeling with UML Code Generation, Testing, Refactoring
Author 
Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58862-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Programming with Scala Language Exploration
Programming with Scala Language Exploration
Author 
Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69368-2
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for The Frequency-Following Response A Window into Human Communication
The Frequency-Following Response A Window into Human Communication
Author 
Kraus, Nina. editor. Anderson, Samira. editor. White-Schwoch, Travis. editor. Fay, Richard R. editor. Popper, Arthur N. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47944-6
Format: 
Availability 
Online Library~1
Available:
Copies: