Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(71)
Bin, Eyal. editor.
(2)
Cao, Jiannong. editor.
(2)
Das, Vinu V. editor.
(2)
Filiol, Éric. author.
(2)
Dil
Yayın Yılı
-
Konu
Computer hardware.
(48)
Computer science.
(47)
Logic design.
(23)
Computer network architectures.
(22)
Engineering.
(14)
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ç
76 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Hardware-dependent Software Principles and Practice için kapak resmi
Hardware-dependent Software Principles and Practice
Yazar 
Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9436-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Artificial Life Models in Hardware için kapak resmi
Artificial Life Models in Hardware
Yazar 
Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-530-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Raspberry Pi – Das Handbuch Konfiguration, Hardware, Applikationserstellung için kapak resmi
Raspberry Pi – Das Handbuch Konfiguration, Hardware, Applikationserstellung
Yazar 
Dembowski, Klaus. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338155.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-03167-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
A Practical Introduction to Hardware/Software Codesign için kapak resmi
A Practical Introduction to Hardware/Software Codesign
Yazar 
Schaumont, Patrick R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Digitale Hardware/Software-Systeme Spezifikation und Verifikation için kapak resmi
Digitale Hardware/Software-Systeme Spezifikation und Verifikation
Yazar 
Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05356-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Digitale Hardware/Software-Systeme Synthese und Optimierung için kapak resmi
Digitale Hardware/Software-Systeme Synthese und Optimierung
Yazar 
Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-46824-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Formal Verification of Floating-Point Hardware Design A Mathematical Approach için kapak resmi
Formal Verification of Floating-Point Hardware Design A Mathematical Approach
Yazar 
Russinoff, David M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95513-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Yazar 
Yahav, Eran. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13338-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof için kapak resmi
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
Yazar 
Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Yazar 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334820.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings için kapak resmi
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Yazar 
Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332962.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Computer, network, software, and hardware engineering with applications için kapak resmi
Computer, network, software, and hardware engineering with applications
Yazar 
Schneidewind, Norman.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç