Limit Search Results
Author
Language
Subject
Software engineering.
(3)
Compilers (Computer programs).
(2)
Compilers and Interpreters.
(2)
Computer Science Logic and Foundations of Programming.
(2)
Computer science.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
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:
2. 
Cover image for Windows registry forensics : advanced digital forensic analysis of the Windows registry
Windows registry forensics : advanced digital forensic analysis of the Windows registry
Author 
Carvey, Harlan A., author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128032916
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for OSS Reliability Measurement and Assessment
OSS Reliability Measurement and Assessment
Author 
Yamada, Shigeru. author. Tamura, Yoshinobu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31818-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Author 
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-29628-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Fundamentals of Structural Engineering
Fundamentals of Structural Engineering
Author 
Connor, Jerome J. author. Faraji, Susan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24331-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Smart Systems Integration and Simulation
Smart Systems Integration and Simulation
Author 
Bombieri, Nicola. editor. Poncino, Massimo. editor. Pravadelli, Graziano. editor. (orcid)0000-0002-7833-1673 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27392-1
Format: 
Availability 
Online Library~1
Available:
Copies: