Skip to content
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 Search
SearchType
Keyword
Author
Title
Subject
Call no.
Program Keyword
Program Name
Program Subject
Description
Program Code
Other
Other
Instructor
Other
Search
Search Scope
All Adult Collections
All Childrens Collections
All Young Adult Collections
All Libraries, Virtual Content
Avon Free Public Library
Berlin-Peck Memorial Library
Bloomfield Public Libraries
Bloomfield, Prosser Public Library
Bloomfield at the Atrium
Bristol Public Libraries
Bristol, Main Library
Bristol, Manross Branch
Burlington Public Library
Canton Public Library
Cheshire Public Library
Colchester, Cragin Memorial Library
Cromwell-Belden Public Library
East Hartford Public Libraries
East Hartford, Raymond Library
East Hartford, Wickham Branch
East Windsor, Library Association of Warehouse Poi
Enfield Public Libraries
Enfield Pearl Street Branch
Enfield, Main Library
Farmington Libraries
Farmington, Main Library
Farmington, Barney Branch
Glastonbury, Welles-Turner Memorial Library
Granby Public Libraries
Granby, F.H. Cossitt Branch
Granby, Main Library
Library Connection
Manchester Public Library
Mansfield Public Library
Mansfield, Main Library
Mansfield, Library Express
Mansfield, Maple Road Branch
Marlborough, Richmond Memorial Library
Middletown, Russell Library
New Britain Public Libraries
New Britain, Jefferson Branch
New Britain, Main Library
Newington, Lucy Robbins Welles Library
Plainville Public Library
Portland Public Library
Rocky Hill, Cora J. Belden Library
Simsbury Public Library
South Windsor Public Library
Southington Library
University of Saint Joseph: Pope Pius XII Library
View Entire Collection
West Hartford Public Libraries
West Hartford, Bishop's Corner Branch
West Hartford, Faxon Branch
West Hartford, Noah Webster Library
Wethersfield Public Library
Windsor Public Libraries
Windsor Locks Public Library
Windsor, Main Library
Windsor, Wilson Branch
Limit search to available items
Add Marked to Bag
Add All On Page
Add Marked to My Lists
Authors (1-2 of 2)
Dillig Isil
1
Bestseller
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July
CAV (Conference) (31st : 2019 : New York, N.Y.)
Cham, Switzerland : SpringerOpen, [2019] 2019
Rating:
Copies
Location
Call No.
Status
University of Saint Joseph: Pope Pius XII Library - Internet
WORLD WIDE WEB E-BOOK Springer
Downloadable
Please click here to access this Springer resource
2
Bestseller
Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July
CAV (Conference) (31st : 2019 : New York, N.Y.)
Cham, Switzerland : SpringerOpen, [2019] 2019
Rating:
Copies
Location
Call No.
Status
University of Saint Joseph: Pope Pius XII Library - Internet
WORLD WIDE WEB E-BOOK Springer
Downloadable
Please click here to access this Springer resource
Add Marked to Bag
Add All On Page
Locate in results
Return to Browse
Limit/Sort Search
Search:
