Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(64)
Gelbukh, Alexander. editor.
(4)
Blumenstein, Michael. editor.
(3)
Cho, Sung-Bae. editor.
(3)
Kamiya, Tohru. editor.
(3)
Dil
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ç
67 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520843.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday için kapak resmi
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Yazar 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
XX(520864.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Yazar 
Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
XX(520493.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36597-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Health Information Processing. Evaluation Track Papers 8th China Conference, CHIP 2022, Hangzhou, China, October 21-23, 2022, Revised Selected Papers için kapak resmi
Health Information Processing. Evaluation Track Papers 8th China Conference, CHIP 2022, Hangzhou, China, October 21-23, 2022, Revised Selected Papers
Yazar 
Tang, Buzhou. editor. Chen, Qingcai. editor. Lin, Hongfei. editor. Wu, Fei. editor. Liu, Lei. editor.
Yer Numarası 
XX(520519.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-4826-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I için kapak resmi
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part I
Yazar 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası 
XX(521317.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47634-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II için kapak resmi
Pattern Recognition 7th Asian Conference, ACPR 2023, Kitakyushu, Japan, November 5-8, 2023, Proceedings, Part II
Yazar 
Lu, Huimin. editor. Blumenstein, Michael. editor. Cho, Sung-Bae. editor. Liu, Cheng-Lin. editor. Yagi, Yasushi. editor.
Yer Numarası 
XX(521318.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47637-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Yazar 
Petrucci, Laure. editor. Sproston, Jeremy. editor. SpringerLink (Online service)
Yer Numarası 
XX(521082.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42626-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. SpringerLink (Online service)
Yer Numarası 
XX(520259.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven? için kapak resmi
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Yazar 
Hausser, Roland. author. SpringerLink (Online service)
Yer Numarası 
XX(520261.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Searchable Encryption From Concepts to Systems için kapak resmi
Searchable Encryption From Concepts to Systems
Yazar 
Ren, Kui. author. Wang, Cong. author. SpringerLink (Online service)
Yer Numarası 
XX(520262.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21377-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Metadata and Semantic Research 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers için kapak resmi
Metadata and Semantic Research 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers
Yazar 
Garoufallou, Emmanouel. editor. (orcid) Vlachidis, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
XX(520448.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39141-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings için kapak resmi
Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings
Yazar 
Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
XX(520458.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34586-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç