Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(83)
Finkbeiner, Bernd. editor.
(3)
Kovács, Laura. editor.
(3)
Bergsmann, Johannes. editor.
(2)
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
(2)
Dil
Yayın Yılı
-
2017
(28)
2016
(23)
2024
(21)
2025
(10)
2014
(1)
Konu
Software engineering.
(54)
Computer science.
(30)
Artificial intelligence.
(22)
Compilers (Computer programs).
(21)
Compilers and Interpreters.
(21)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
83 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
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:
26. 
CyberSecurity in a DevOps Environment From Requirements to Monitoring için kapak resmi
CyberSecurity in a DevOps Environment From Requirements to Monitoring
Yazar 
Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42212-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
The French School of Programming için kapak resmi
The French School of Programming
Yazar 
Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Learning Java A Test-Driven Approach için kapak resmi
Learning Java A Test-Driven Approach
Yazar 
Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66638-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Experimentation in Software Engineering için kapak resmi
Experimentation in Software Engineering
Yazar 
Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-69306-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
Yazar 
Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71261-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0 için kapak resmi
ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0
Yazar 
Stapp, Lucjan. author. Roman, Adam. author. (orcid)0000-0002-1020-5128 Pilaeten, Michaël. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42767-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Cloud-Native Application Architecture Microservice Development Best Practice için kapak resmi
Cloud-Native Application Architecture Microservice Development Best Practice
Yazar 
Team, FreeWheel Biz-UI. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-9782-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Innovations in VLSI, Signal Processing and Computational Technologies Select Proceedings of the 2nd International Conference, WREC 2023 için kapak resmi
Innovations in VLSI, Signal Processing and Computational Technologies Select Proceedings of the 2nd International Conference, WREC 2023
Yazar 
Mehta, Gayatri. editor. Wickramasinghe, Nilmini. editor. Kakkar, Deepti. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7077-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Reliability Engineering Technology of Digital Diagnosis and Treatment Equipment için kapak resmi
Reliability Engineering Technology of Digital Diagnosis and Treatment Equipment
Yazar 
Li, Xiuqing. author. Gao, Jun. author. Li, Wen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5522-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç