Skip to content
You are not logged in |Login  
     
Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-5 of 5)
Computer Programming Software Development
1
Bestseller
BestsellerE-Book
Book Cover

Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated


CAV (Conference) (30th : 2018 : Oxford, England)
Cham, Switzerland : Springer Open, 2018. 2018

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
BestsellerE-Book
Book Cover

Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated


CAV (Conference) (30th : 2018 : Oxford, England)
Cham, Switzerland : Springer, 2018. 2018

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
3
Bestseller
BestsellerE-Book
Book Cover

Foundations of software science and computation structures : 21st International Conference, FOSSACS


FOSSACS (Conference) (21st : 2018 : Thessalonikē, Greece)
Cham, Switzerland : Springer, 2018. 2018

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
4
Bestseller
BestsellerE-Book
Book Cover

Tools and algorithms for the construction and analysis of systems : 24th International Conference, T


TACAS (Conference) (24th : 2018 : Thessalonikē, Greece)
Cham, Switzerland : Springer Open, 2018. 2018

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
5
Bestseller
BestsellerE-Book
Book Cover

Tools and algorithms for the construction and analysis of systems : 24th International Conference, T


TACAS (Conference) (24th : 2018 : Thessalonikē, Greece)
Cham, Switzerland : Springer Open, 2018. 2018

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