Skip to content
Rider Library Catalog
You are not logged in
|
Login
Your session will expire automatically in
0
seconds.
Continue session
End session now
Return To Browse
Limit/Sort
SearchType
Keyword
Author
Title
Journal Title
Series Title
Subject
Genre
Call no.
ISBN / ISSN
Table of Contents
Publisher
Prof/TA
Course
Search
Search Scope
View Entire Collection
Moore Library
Talbott Library
Limit search to available items
Save Marked Records
Save to List
Authors (1-3 of 3)
Esparza, Javier,
1
Bestseller
Dependable software systems engineering
NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems (2015 : Marktoberdorf, Germany)
Amsterdam, Netherlands : IOS Press, 2016.
Rating:
Electronic Resources
More...
Item Status
2
Bestseller
Finite and algorithmic model theory
Cambridge ; New York : Cambridge University Press, 2011.
Rating:
Electronic Resources
More...
Item Status
3
Bestseller
Logics and languages for reliability and security
NATO Advanced Study Institute on Logics and Languages for Reliability and Security (2009 : Marktoberdorf, Germany)
Amsterdam : IOS Press, 2010.
Rating:
Electronic Resources
More...
Item Status
Save Marked Records
Locate in Results
Resources
More Information
Return To Browse
Limit/Sort
