Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(377)
Pichler, Franz. editor.
(7)
Moreno-Díaz, Roberto. editor.
(5)
Quesada-Arencibia, Alexis. editor.
(5)
Barthès, Jean-Paul A. editor.
(4)
Dil
Yayın Yılı
-
2011
(67)
2010
(42)
2006
(40)
2012
(39)
2007
(38)
Konu
Engineering.
(253)
Systems engineering.
(144)
Computer science.
(118)
Engineering design.
(61)
Artificial intelligence.
(46)
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ç
377 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
313. 
Constraint-Based Verification için kapak resmi
Constraint-Based Verification
Yazar 
Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-30784-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
314. 
Interconnect Noise Optimization in Nanometer Technologies için kapak resmi
Interconnect Noise Optimization in Nanometer Technologies
Yazar 
Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-29366-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
315. 
Thermal and Power Management of Integrated Circuits için kapak resmi
Thermal and Power Management of Integrated Circuits
Yazar 
Vassighi, Arman. author. Sachdev, Manoj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-29749-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
316. 
Scalable Hardware Verification with Symbolic Simulation için kapak resmi
Scalable Hardware Verification with Symbolic Simulation
Yazar 
Bertacco, Valeria. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-29906-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
317. 
Writing Testbenches using System Verilog için kapak resmi
Writing Testbenches using System Verilog
Yazar 
Bergeron, Janick. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-31275-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
318. 
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China için kapak resmi
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
Yazar 
Wang, Kesheng. editor. Kovacs, George L. editor. Wozny, Michael. editor. Fang, Minglun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-34403-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
319. 
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:
320. 
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ için kapak resmi
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
Yazar 
Silva, Francisco. author. McLaurin, Teresa. author. Waayers, Tom. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-34609-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
321. 
A Roadmap for Formal Property Verification için kapak resmi
A Roadmap for Formal Property Verification
Yazar 
DasGupta, Pallab. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
322. 
Feature Extraction Foundations and Applications için kapak resmi
Feature Extraction Foundations and Applications
Yazar 
Guyon, Isabelle. editor. Nikravesh, Masoud. editor. Gunn, Steve. editor. Zadeh, Lotfi A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-35488-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
323. 
Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers için kapak resmi
Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers
Yazar 
Smith, Ian F. C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11888598
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
324. 
Boundary Representation Modelling Techniques için kapak resmi
Boundary Representation Modelling Techniques
Yazar 
Stroud, Ian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-616-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç