Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(314)
Liu, Derong. editor.
(10)
El-Alfy, El-Sayed M. editor.
(6)
Göbel, Holger. author.
(6)
Li, Yuanqing. editor.
(6)
Dil
Yayın Yılı
-
Konu
Computer hardware.
(179)
Computer science.
(110)
Software engineering.
(78)
Computers.
(65)
Engineering.
(63)
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ç
418 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms için kapak resmi
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Yazar 
Heidari Iman, Mohammad Reza. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90410-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Scalable Data Management for Future Hardware için kapak resmi
Scalable Data Management for Future Hardware
Yazar 
Sattler, Kai-Uwe. editor. (orcid)0000-0003-1608-7721 Kemper, Alfons. editor. Neumann, Thomas. editor. (orcid)0000-0001-5787-142X Teubner, Jens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74097-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I için kapak resmi
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Yazar 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II için kapak resmi
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Yazar 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Congress on Smart Computing Technologies Proceedings of CSCT 2023, Volume 2 için kapak resmi
Congress on Smart Computing Technologies Proceedings of CSCT 2023, Volume 2
Yazar 
Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 Sharma, Harish. editor. Chakravorty, Antorweep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-8096-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Quantum Computing Architecture and Hardware for Engineers Step by Step için kapak resmi
Quantum Computing Architecture and Hardware for Engineers Step by Step
Yazar 
Wong, Hiu Yung. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78219-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Information-Measuring Systems Theory and Application için kapak resmi
Information-Measuring Systems Theory and Application
Yazar 
Babak, Vitalii. author. Babak, Serhii. author. Eremenko, Volodymyr. author. Kuts, Yurii. author. Zaporozhets, Artur. author. (orcid)0000-0002-0704-4116
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-89406-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Unsupervised Computer Vision for Aerospace Systems Spacecraft Pose Estimation to Infrastructure Health Monitoring için kapak resmi
Unsupervised Computer Vision for Aerospace Systems Spacecraft Pose Estimation to Infrastructure Health Monitoring
Yazar 
Zhang, Zhaoxiang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-95-0023-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Congress on Smart Computing Technologies Proceedings of CSCT 2024, Volume 1 için kapak resmi
Congress on Smart Computing Technologies Proceedings of CSCT 2024, Volume 1
Yazar 
Saraswat, Mukesh. editor. Rajan, Abhishek. editor. Chakravorty, Antorweep. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-6254-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Sustainable development using geospatial techniques için kapak resmi
Sustainable development using geospatial techniques
Yazar 
Thakur, Disha, editor. Kumar, Sanjay. Sandhu, Har Amrit Singh. Prakash, Chander.
Yer Numarası 
G70.217 .G46 S87 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214426
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Design and Applications of Emerging Computer Systems için kapak resmi
Design and Applications of Emerging Computer Systems
Yazar 
Liu, Weiqiang. editor. Han, Jie. editor. Lombardi, Fabrizio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42478-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers için kapak resmi
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers
Yazar 
Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51057-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç