Limit Search Results
Author
Language
Subject
Electronic books.
(4)
Software engineering.
(4)
Compilers (Computer programs).
(2)
Compilers and Interpreters.
(2)
Computer Science Logic and Foundations of Programming.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
22 Results Found Subscribe to search results
0000000000DEFAULT
Print
13. 
Cover image for Practical Psychology in Medical Rehabilitation
Practical Psychology in Medical Rehabilitation
Author 
Budd, Maggi A. editor. Hough, Sigmund. editor. Wegener, Stephen T. editor. Stiers, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34034-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Engineering and Technology Talent for Innovation and Knowledge-Based Economies Competencies, Leadership, and a Roadmap for Implementation
Engineering and Technology Talent for Innovation and Knowledge-Based Economies Competencies, Leadership, and a Roadmap for Implementation
Author 
Abdulwahed, Mahmoud. author. Hasna, Mazen O. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46439-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Common Problems in Acute Care Surgery
Common Problems in Acute Care Surgery
Author 
Moore, Laura J. editor. Todd, S. Rob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42792-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Endocrinology of the Testis and Male Reproduction
Endocrinology of the Testis and Male Reproduction
Author 
Simoni, Manuela. editor. Huhtaniemi, Ilpo T. editor. (orcid)0000-0001-9092-7886 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44441-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
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:
18. 
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:
19. 
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:
20. 
Cover image for Nutrition and Health in a Developing World
Nutrition and Health in a Developing World
Author 
de Pee, Saskia. editor. Taren, Douglas. editor. Bloem, Martin W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43739-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Concise Guide to Software Engineering From Fundamentals to Application Methods
Concise Guide to Software Engineering From Fundamentals to Application Methods
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Cover Crops for Sustainable Farming
Cover Crops for Sustainable Farming
Author 
Justes, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-024-0986-4
Format: 
Availability 
Online Library~1
Available:
Copies: