Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(419)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(4)
Artho, Cyrille. editor.
(3)
Dil
English
(419)
Yayın Yılı
-
2016
(142)
2017
(136)
2025
(57)
2024
(55)
2014
(29)
Konu
Computer science.
(249)
Software engineering.
(236)
Computer Science Logic and Foundations of Programming.
(230)
Formal Languages and Automata Theory.
(150)
Machine theory.
(150)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
419 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings için kapak resmi
Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
Yazar 
Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77019-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings için kapak resmi
Knowledge Engineering and Knowledge Management 24th International Conference, EKAW 2024, Amsterdam, The Netherlands, November 26-28, 2024, Proceedings
Yazar 
Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Rospocher, Marco. editor. (orcid)0000-0001-9391-3201 van Erp, Marieke. editor. (orcid)0000-0001-9195-8203 Hollink, Laura. editor. (orcid)0000-0002-6865-0021 Gesese, Genet Asefa. editor. (orcid)0000-0003-3807-7145
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-77792-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Maths For Computing A Beginner's Guide için kapak resmi
Maths For Computing A Beginner's Guide
Yazar 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Numbers and Computers için kapak resmi
Numbers and Computers
Yazar 
Kneusel, Ronald T. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67482-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers için kapak resmi
Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers
Yazar 
Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74558-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Logic in Computer Science için kapak resmi
Logic in Computer Science
Yazar 
Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-9816-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings için kapak resmi
Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Yazar 
Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74776-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers için kapak resmi
Chatbots and Human-Centered AI 8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
Yazar 
Følstad, Asbjørn. editor. (orcid)0000-0003-2763-0996 Papadopoulos, Symeon. editor. (orcid)0000-0002-5441-7341 Araujo, Theo. editor. (orcid)0000-0002-4633-9339 Law, Effie L.-C. editor. (orcid)0000-0002-0873-0150 Luger, Ewa. editor. (orcid)0000-0001-7882-9415
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88045-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings için kapak resmi
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
Yazar 
Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-7956-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday için kapak resmi
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Yazar 
Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97492-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
Yazar 
Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97100-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I için kapak resmi
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Yazar 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç