Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
15 Results Found Subscribe to search results
000DEFAULT
Print
13. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Author 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51641-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Oracle Database Transactions and Locking Revealed
Oracle Database Transactions and Locking Revealed
Author 
Kyte, Thomas. author. Kuhn, Darl. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0760-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Microsoft Access 2010 VBA macro programming
Microsoft Access 2010 VBA macro programming
Author 
Shepherd, Richard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies: