Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(18)
Lipiansky, Ed.
(3)
Paganetti, Harald.
(2)
Arora, Mohit. author.
(1)
Baun, Christian. author.
(1)
Dil
Konu
Computer science.
(14)
Computer hardware.
(11)
Engineering.
(8)
Electronics.
(5)
Software engineering.
(5)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
35 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Yazar 
Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-34188-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Onboard Computers, Onboard Software and Satellite Operations An Introduction için kapak resmi
Onboard Computers, Onboard Software and Satellite Operations An Introduction
Yazar 
Eickhoff, Jens. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-25170-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings için kapak resmi
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Yazar 
Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-31424-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Performance Metrics for Haptic Interfaces için kapak resmi
Performance Metrics for Haptic Interfaces
Yazar 
Samur, Evren. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4225-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
SystemVerilog for Verification A Guide to Learning the Testbench Language Features için kapak resmi
SystemVerilog for Verification A Guide to Learning the Testbench Language Features
Yazar 
Spear, Chris. author. Tumbush, Greg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-0715-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Digitaltechnik Ein Lehr- und Übungsbuch için kapak resmi
Digitaltechnik Ein Lehr- und Übungsbuch
Yazar 
Woitowitz, Roland. author. Urbanski, Klaus. author. Gehrke, Winfried. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20872-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
In-Memory Data Management Technology and Applications için kapak resmi
In-Memory Data Management Technology and Applications
Yazar 
Plattner, Hasso. author. Zeier, Alexander. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29575-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Fault Analysis in Cryptography için kapak resmi
Fault Analysis in Cryptography
Yazar 
Joye, Marc. editor. Tunstall, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-29656-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Computernetze kompakt için kapak resmi
Computernetze kompakt
Yazar 
Baun, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28988-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Formal methods for industrial critical systems a survey of applications için kapak resmi
Formal methods for industrial critical systems a survey of applications
Yazar 
Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Speech in mobile and pervasive environments için kapak resmi
Speech in mobile and pervasive environments
Yazar 
Rajput, Nitendra. Nanavati, Amit A.
Yer Numarası 
ONLINE(318992.1)
Elektronik Erişim 
ebrary http://site.ebrary.com/id/10531564
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=850156
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=432630
John Wiley http://dx.doi.org/10.1002/9781119961710
Wiley http://onlinelibrary.wiley.com/book/10.1002/9781119961710
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Embedded SoPC design with NIOS II processor and Verilog examples için kapak resmi
Embedded SoPC design with NIOS II processor and Verilog examples
Yazar 
Chu, Pong P., 1959-
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=822053
ebrary http://site.ebrary.com/id/10630577
Volltext http://proquest.tech.safaribooksonline.de/9781118011034
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets