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 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:
14. 
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:
15. 
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:
16. 
Cover image for The complete guide to fundraising management
The complete guide to fundraising management
Author 
Weinstein, Stanley, 1943- author. Barden, Pamela, author.
Preferred Shelf Number 
HV41.9 .U5 W46 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119289371
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Practical medicinal chemistry with macrocycles : design, synthesis, and case studies
Practical medicinal chemistry with macrocycles : design, synthesis, and case studies
Author 
Marsault, Eric, 1971- editor. Peterson, Mark L., 1958- editor.
Preferred Shelf Number 
RM301.25
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119092599
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for The Journey to Enterprise Agility Systems Thinking and Organizational Legacy
The Journey to Enterprise Agility Systems Thinking and Organizational Legacy
Author 
Kulak, Daryl. author. Li, Hong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54087-0
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
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:
20. 
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:
21. 
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:
22. 
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: