Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(77)
Merayo, Mercedes G. editor.
(3)
Bergsmann, Johannes. editor.
(2)
Biffl, Stefan. editor.
(2)
Bin, Eyal. editor.
(2)
Dil
Yayın Yılı
-
Konu
Software engineering.
(32)
Computer science.
(28)
Logic design.
(21)
Computer software -- Testing.
(10)
Information Systems.
(9)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
92 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers için kapak resmi
Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
Yazar 
Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11759744
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers için kapak resmi
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Yazar 
Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11940197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers için kapak resmi
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Yazar 
Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11678779
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Software quality engineering Testing, quality assurance, and quantifiable improvement için kapak resmi
Software quality engineering Testing, quality assurance, and quantifiable improvement
Yazar 
Tian, Jeff. John Wiley & Sons.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988897
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers için kapak resmi
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
Yazar 
Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106767
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III için kapak resmi
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
Yazar 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-2449-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II için kapak resmi
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
Yazar 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-23947-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings için kapak resmi
Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings
Yazar 
Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33080-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences için kapak resmi
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Yazar 
Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33338-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings için kapak resmi
Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
Yazar 
Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34497-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings için kapak resmi
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Yazar 
Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings için kapak resmi
Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings
Yazar 
Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31488-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets