Search ResultsOther Libraries
7 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
0000000DEFAULT
Print
1. 
Cover image for Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings
Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings
Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings
Author 
Yamashita, Shigeru. editor. (orcid)0000-0002-2279-4644 Yokoyama, Tetsuo. editor. (orcid)0000-0002-7677-143X SpringerLink (Online service)
Call Number 
QA76.9 .L63
Electronic Access 
Full Text Available From Springer Nature Computer Science 2021 Packages
Format: 
Electronic Resources
Available:
2. 
Cover image for Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
Author 
Henglein, Fritz. editor. Shoham, Sharon. editor. (orcid)0000-0002-7226-3526 Vizel, Yakir. editor. (orcid)0000-0002-5655-1667 SpringerLink (Online service)
Call Number 
QA75.5 -76.95
Electronic Access 
Full Text Available From Springer Nature Computer Science 2021 Packages
Format: 
Electronic Resources
Available:
3. 
Cover image for Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Author 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Troubitsyna, Elena. editor. SpringerLink (Online service)
Call Number 
QA76.758
Electronic Access 
Full Text Available From Springer Nature Computer Science 2020 Packages
Format: 
Electronic Resources
Available:
5. 
Cover image for Theoretical Aspects of Computing - ICTAC 2020 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
Theoretical Aspects of Computing - ICTAC 2020 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
Theoretical Aspects of Computing - ICTAC 2020 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
Author 
Pun, Violet Ka I. editor. (orcid)0000-0002-8763-5548 Stolz, Volker. editor. (orcid)0000-0002-1031-6936 Simao, Adenilso. editor. (orcid)0000-0002-1454-2607 SpringerLink (Online service)
Call Number 
QA75.5 -76.95
Electronic Access 
Full Text Available From Springer Nature Computer Science 2020 Packages
Format: 
Electronic Resources
Available:
Select All
7 Results Found Subscribe to search results
Limit Search Results
Author
Language
Publication Date
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Subject
Material Type
Shelf Location
Library