Search ResultsDiğer Kütüphaneler
7 sonuç bulundu Arama sonuçlarına abone ol
Select All
Liste görünümüne geç
Küçük resim görünümüne geç
0000000DEFAULT
Yazdır
1. 
Reversible Computation 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings için kapak resmi
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
Yazar 
Yamashita, Shigeru. editor. (orcid)0000-0002-2279-4644 Yokoyama, Tetsuo. editor. (orcid)0000-0002-7677-143X SpringerLink (Online service)
Yer Numarası 
QA76.9 .L63
ISBN 
9783030798376
Elektronik Erişim 
Full Text Available From Springer Nature Computer Science 2021 Packages
Format: 
Electronic Resources
Mevcut:
2. 
Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings için kapak resmi
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
Yazar 
Henglein, Fritz. editor. Shoham, Sharon. editor. (orcid)0000-0002-7226-3526 Vizel, Yakir. editor. (orcid)0000-0002-5655-1667 SpringerLink (Online service)
Yer Numarası 
QA75.5 -76.95
ISBN 
9783030670672
Elektronik Erişim 
Full Text Available From Springer Nature Computer Science 2021 Packages
Format: 
Electronic Resources
Mevcut:
3. 
Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings için kapak resmi
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
Yazar 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Troubitsyna, Elena. editor. SpringerLink (Online service)
Yer Numarası 
QA76.758
ISBN 
9783030634612
Elektronik Erişim 
Full Text Available From Springer Nature Computer Science 2020 Packages
Format: 
Electronic Resources
Mevcut:
5. 
Theoretical Aspects of Computing - ICTAC 2020 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings için kapak resmi
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
Yazar 
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)
Yer Numarası 
QA75.5 -76.95
ISBN 
9783030642761
Elektronik Erişim 
Full Text Available From Springer Nature Computer Science 2020 Packages
Format: 
Electronic Resources
Mevcut:
Select All
7 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayım Yılı
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.
-
Konu
Materyal Türü
Lokasyon
Kütüphane