Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
12 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I için kapak resmi
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Yazar 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II için kapak resmi
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Yazar 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Transactions on Petri Nets and Other Models of Concurrency XVII için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XVII
Yazar 
Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-68191-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings için kapak resmi
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
Yazar 
Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-68150-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part I için kapak resmi
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part I
Yazar 
Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70533-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30 - September 4, 2024, Proceedings, Part III için kapak resmi
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30 - September 4, 2024, Proceedings, Part III
Yazar 
Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70543-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part V için kapak resmi
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part V
Yazar 
Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70549-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part IV için kapak resmi
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part IV
Yazar 
Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70546-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part II için kapak resmi
Document Analysis and Recognition - ICDAR 2024 18th International Conference, Athens, Greece, August 30-September 4, 2024, Proceedings, Part II
Yazar 
Barney Smith, Elisa H. editor. Liwicki, Marcus. editor. Peng, Liangrui. editor. (orcid)0000-0001-7793-1039 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70536-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday için kapak resmi
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Yazar 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Database Systems for Advanced Applications 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II için kapak resmi
Database Systems for Advanced Applications 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II
Yazar 
Navathe, Shamkant B. editor. Wu, Weili. editor. Shekhar, Shashi. editor. Du, Xiaoyong. editor. Wang, Sean X. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32049-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Database Systems for Advanced Applications 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part I için kapak resmi
Database Systems for Advanced Applications 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part I
Yazar 
Navathe, Shamkant B. editor. Wu, Weili. editor. Shekhar, Shashi. editor. Du, Xiaoyong. editor. Wang, X. Sean. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-32025-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: