Skip to content
Catalog
You are not logged in |Login  
Return to Browse Limit/Sort Search
     
Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Titles (1-17 of 17)
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
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

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

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

Computer aided verification : 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21


CAV (Conference) (32nd : 2020 : Los Angeles, Calif.)
Cham, Switzerland : Springer, [2020] 2020

Rating:

 

Copies

Location Call No. Status
 University of Saint Joseph: Pope Pius XII Library - Internet  WORLD WIDE WEB E-BOOK SPRINGER    Downloadable
University of Saint Joseph patrons, please click here to access this SpringerLink resource
6
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
7
Bestseller
BestsellerE-Book
Book Cover

Foundations of software science and computation structures : 22nd International Conference, FOSSACS


FOSSACS (Conference) (22nd : 2019 : Prague, Czech Republic)
Cham, Switzerland : Springer, 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
8
Bestseller
BestsellerE-Book
Book Cover

Fundamental approaches to software engineering : 21st International Conference, FASE 2018, held as p


FASE (Conference) (21st : 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
9
Bestseller
BestsellerE-Book
Book Cover

Fundamental approaches to software engineering : 22nd International Conference, FASE 2019, held as p


FASE (Conference) (22nd : 2019 : Prague, Czech Republic)
Cham, Switzerland : Springer Open, 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
10
Bestseller
BestsellerE-Book
Book Cover

High-performance modelling and simulation for big data applications : selected results of the COST A



Cham, Switzerland : Springer Open, 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
11
Bestseller
BestsellerE-Book
Book Cover

Programming languages and systems : 27th European Symposium on Programming, ESOP 2018, held as part


European Symposium on Programming (27th : 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
12
Bestseller
BestsellerE-Book
Book Cover

Programming languages and systems : 28th European Symposium on Programming, ESOP 2019, held as part


European Symposium on Programming (28th : 2019 : Prague, Czech Republic)
Cham, Switzerland : Springer Open, 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
13
Bestseller
BestsellerE-Book
Book Cover

Supercomputing frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceeding


Asian Supercomputing Conference (4th : 2018 : Singapore)
Cham, Switzerland : SpringerOpen, 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
14
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
15
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
16
Bestseller
BestsellerE-Book
Book Cover

Tools and algorithms for the construction and analysis of systems : 25 Years of TACAS: TOOLympics, h


TACAS (Conference) (25th : 2019 : Prague, Czech Republic)
Cham, Switzerland : Springer, 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
17
Bestseller
BestsellerE-Book
Book Cover

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


TACAS (Conference) (25th : 2019 : Prague, Czech Republic)
Cham, Switzerland : Springer, 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
 

Library Links

Encore

Search Tools

Language Settings

English
Español