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. 
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:
38. 
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:
39. 
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:
40. 
Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings için kapak resmi
Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings
Yazar 
Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229 Stojilović, Mirjana. editor. (orcid)0000-0001-5649-5020 Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Barriga Barros, Ángel. editor. (orcid)0000-0001-6673-6684
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-87995-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
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:
42. 
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:
43. 
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:
44. 
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Yazar 
Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-86695-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
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:
46. 
Accelerators for convolutional neural networks için kapak resmi
Accelerators for convolutional neural networks
Yazar 
Munir, Arslan, author. Kong, Joonho, author. Qureshi, Mahmood Azhar, author.
Yer Numarası 
QA76.87 .M86 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394171910
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
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:
48. 
Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation için kapak resmi
Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation
Yazar 
Roy, Shirshendu. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-41085-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç