Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(43)
Baxter, James. editor. (orcid)0000-0001-6083-9607
(2)
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976
(2)
Laaksonen, Antti. author.
(2)
Luković, Ivan. editor. (orcid)0000-0003-1319-488X
(2)
Dil
Yayın Yılı
-
2024
(21)
2025
(15)
2017
(7)
Konu
Programming Language.
(41)
Programming languages (Electronic computers).
(41)
Software engineering.
(15)
Computer networks .
(10)
Computer programming.
(9)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
43 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I için kapak resmi
Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Yazar 
Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-91118-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II için kapak resmi
Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Yazar 
Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-91121-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings için kapak resmi
Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings
Yazar 
Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85593-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software için kapak resmi
The Composable Enterprise: Agile, Flexible, Innovative A Gamechanger for Organisations, Digitisation and Business Software
Yazar 
Scheer, August-Wilhelm. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-43089-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers için kapak resmi
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
Yazar 
Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-50423-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings için kapak resmi
Genetic Programming 27th European Conference, EuroGP 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings
Yazar 
Giacobini, Mario. editor. Xue, Bing. editor. (orcid)0000-0002-4865-8026 Manzoni, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56957-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings için kapak resmi
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Yazar 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-2300-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Learning C# Through Small Projects için kapak resmi
Learning C# Through Small Projects
Yazar 
Panjuta, Denis. author. (orcid)0009-0001-4855-9300 Jabbarzadeh, Jafar. author. (orcid)0009-0004-3534-795X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51914-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Guide to Competitive Programming Learning and Improving Algorithms Through Contests için kapak resmi
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Yazar 
Laaksonen, Antti. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61794-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX için kapak resmi
Parallel C++ Efficient and Scalable High-Performance Parallel Programming Using HPX
Yazar 
Diehl, Patrick. author. Brandt, Steven R. author. Kaiser, Hartmut. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-54369-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
R Programming Statistical Data Analysis in Research için kapak resmi
R Programming Statistical Data Analysis in Research
Yazar 
Okoye, Kingsley. author. Hosseini, Samira. author. (orcid)0000-0001-9190-4782 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-3385-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Guide to Software Verification with Frama-C Core Components, Usages, and Applications için kapak resmi
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
Yazar 
Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55608-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: