Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(81)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Badger, Julia M. editor.
(2)
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
(2)
Dil
Yayın Yılı
-
Konu
Programming languages (Electronic computers).
(81)
Computer logic.
(47)
Computer programming.
(22)
Mathematical logic.
(17)
Algorithms.
(15)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
93 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Strategic software quality management : how to incorporate sustainable continuous improvement practices için kapak resmi
Strategic software quality management : how to incorporate sustainable continuous improvement practices
Yazar 
Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.
Yer Numarası 
QA76.76 .Q35
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003491606
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Computational intelligence applications for software engineering problems için kapak resmi
Computational intelligence applications for software engineering problems
Yazar 
Nand, Parma (Computer scientist), editor. Nitin, Rakesh, editor. Agrawal, Arun Prakash, editor. Jain, Vishal, 1983- editor.
Yer Numarası 
QA76.758
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003283195
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
A Software Development Approach for Driving Competitiveness in Small Firms için kapak resmi
A Software Development Approach for Driving Competitiveness in Small Firms
Yazar 
Chevers, Delroy A., author.
Yer Numarası 
HD2341
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003388944
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
A pragmatic programmer for machine learning : engineering analytics and data science solutions için kapak resmi
A pragmatic programmer for machine learning : engineering analytics and data science solutions
Yazar 
Scutari, Marco, author. Malvestio, Mauro, author.
Yer Numarası 
Q325.5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429292835
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Python packages için kapak resmi
Python packages
Yazar 
Beuzen, Tomas, author. Timbers, Tiffany-Anne, author.
Yer Numarası 
QA76.73 .P98
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003189251
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Software Engineering Perspectives in Computer Game Development. için kapak resmi
Software Engineering Perspectives in Computer Game Development.
Yazar 
Cooper, Kendra M. L., editor.
Yer Numarası 
QA76.76 .C672
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781315145549
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Component-based software engineering : methods and metrics için kapak resmi
Component-based software engineering : methods and metrics
Yazar 
Tiwari, Umesh Kumar, author. Kumar, Santosh, author.
Yer Numarası 
QA76.758 .T58 2021 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429331749
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Effective methods for software engineering için kapak resmi
Effective methods for software engineering
Yazar 
Summers, Boyd L., author.
Yer Numarası 
QA76.758 .S857 2020 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003025665
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday için kapak resmi
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Yazar 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings için kapak resmi
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Yazar 
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-34175-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I için kapak resmi
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Yazar 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings için kapak resmi
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Yazar 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-20652-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets