Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(52)
Steyaert, Michiel. author.
(2)
A. Papa, David. author.
(1)
Barua, Alok. author.
(1)
Ben Dhia, Sonia. editor.
(1)
Dil
Yayın Yılı
-
Konu
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ç
52 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
49. 
High-Performance Energy-Efficient Microprocessor Design için kapak resmi
High-Performance Energy-Efficient Microprocessor Design
Yazar 
Oklobdzija, Vojin G. editor. Krishnamurthy, Ram K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-34047-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Abstraction Refinement for Large Scale Model Checking için kapak resmi
Abstraction Refinement for Large Scale Model Checking
Yazar 
Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-34600-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
A Practical Introduction to PSL için kapak resmi
A Practical Introduction to PSL
Yazar 
Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-36123-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Statistical Analysis and Optimization for VLSI: Timing and Power için kapak resmi
Statistical Analysis and Optimization for VLSI: Timing and Power
Yazar 
Srivastava, Ashish. author. Sylvester, Dennis. author. Blaauw, David. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137645
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç