Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(116)
Lopez, Cesar. author.
(9)
Baxter, James. editor. (orcid)0000-0001-6083-9607
(2)
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976
(2)
Kobayashi, Naoki. editor.
(2)
Dil
English
(116)
Yayın Yılı
-
2024
(34)
2025
(26)
2017
(21)
2016
(20)
2014
(15)
Konu
Software engineering.
(43)
Programming Language.
(41)
Programming languages (Electronic computers).
(41)
Compilers (Computer programs).
(40)
Compilers and Interpreters.
(40)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
116 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II için kapak resmi
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Yazar 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82703-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I için kapak resmi
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
Yazar 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82700-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
The AI Act and The Agile Safety Plan için kapak resmi
The AI Act and The Agile Safety Plan
Yazar 
Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-80504-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024 için kapak resmi
Proceedings of International Conference on Theoretical and Applied Computing ICTAC 2024
Yazar 
Mathew, Lisa. editor. Subramanian, K. G. editor. (orcid)0000-0001-8726-5850 Nagar, Atulya K. editor. (orcid)0000-0001-5549-6435 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-6957-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Managing Software Supply Chains Theory and Practice için kapak resmi
Managing Software Supply Chains Theory and Practice
Yazar 
Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1797-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
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:
31. 
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings için kapak resmi
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Yazar 
Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-84924-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
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:
33. 
Object-based Programming with Go için kapak resmi
Object-based Programming with Go
Yazar 
Maurer, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-44704-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
The Python Workbook A Brief Introduction with Exercises and Solutions için kapak resmi
The Python Workbook A Brief Introduction with Exercises and Solutions
Yazar 
Stephenson, Ben. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-84560-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papers için kapak resmi
Web Information Systems and Technologies 19th International Conference, WEBIST 2023, Rome, Italy, November 15-17, 2023, Revised Selected Papers
Yazar 
Marchiori, Massimo. editor. García Peñalvo, Francisco. editor. (orcid)0000-0001-9987-5584 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-89621-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Embedded Microprocessor System Design using FPGAs için kapak resmi
Embedded Microprocessor System Design using FPGAs
Yazar 
Meyer-Baese, Uwe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82822-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç