Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(79)
Marcus, Aaron. editor.
(3)
Wang, Wentao. editor.
(3)
Huanye, Sheng. editor.
(2)
IEEE Computer Society.
(2)
Dil
Yayın Yılı
-
Konu
Computers.
(34)
Operating systems (Computers).
(27)
Computer science.
(26)
Programming languages (Electronic computers).
(18)
Artificial intelligence.
(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ç
Eylem Seç
94 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
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:
14. 
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Yazar 
Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66064-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement için kapak resmi
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Yazar 
Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67114-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
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:
17. 
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:
18. 
Software engineering for automotive systems : principles and applications için kapak resmi
Software engineering for automotive systems : principles and applications
Yazar 
Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.
Yer Numarası 
TL272.53
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003269908
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:
19. 
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:
20. 
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:
21. 
Systems engineering of software-enabled systems için kapak resmi
Systems engineering of software-enabled systems
Yazar 
Fairley, R. E. (Richard E.), 1937- author.
Yer Numarası 
QA76.758
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers için kapak resmi
Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers
Yazar 
Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-18419-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers için kapak resmi
Innovative Security Solutions for Information Technology and Communications 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers
Yazar 
Lanet, Jean-Louis. editor. (orcid)0000-0002-4751-3941 Toma, Cristian. editor. (orcid)0000-0001-9316-7739 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-12942-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Formal Methods An Appetizer için kapak resmi
Formal Methods An Appetizer
Yazar 
Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-05156-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç