Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(4958)
Wiley InterScience (Online service)
(258)
John Wiley & Sons.
(68)
Project Muse.
(47)
IGI Global, publisher.
(28)
Dil
Yayın Yılı
-
Konu
Computer science.
(1525)
Logic design.
(1152)
Engineering.
(1136)
Engineering design.
(997)
Software engineering.
(914)
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ç
10782 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
9565. 
SAT-Based Scalable Formal Verification Solutions için kapak resmi
SAT-Based Scalable Formal Verification Solutions
Yazar 
Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9566. 
Compiling Esterel için kapak resmi
Compiling Esterel
Yazar 
Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-70628-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9567. 
Process Optimization A Statistical Approach için kapak resmi
Process Optimization A Statistical Approach
Yazar 
Castillo, Enrique Del. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71435-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9568. 
Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them için kapak resmi
Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them
Yazar 
Sutherland, Stuart. author. Mills, Don. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71715-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9569. 
Hardware Verification with SystemVerilog An Object-Oriented Framework için kapak resmi
Hardware Verification with SystemVerilog An Object-Oriented Framework
Yazar 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71740-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9570. 
Full-Chip Nanometer Routing Techniques için kapak resmi
Full-Chip Nanometer Routing Techniques
Yazar 
Ho, Tsung-Yi. author. Chang, Yao-Wen. author. Chen, Sao-Jie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6195-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9571. 
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms için kapak resmi
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Yazar 
Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9572. 
Distinguished Figures in Mechanism and Machine Science Their Contributions and Legacies Part 1 için kapak resmi
Distinguished Figures in Mechanism and Machine Science Their Contributions and Legacies Part 1
Yazar 
Ceccarelli, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6366-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9573. 
Power-Aware Architecting for data-dominated applications için kapak resmi
Power-Aware Architecting for data-dominated applications
Yazar 
Ditzel, Maarten. author. Otten, Ralph H. J. M. author. Serdijn, Wouter A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6420-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9574. 
Shock and Damage Models in Reliability Theory için kapak resmi
Shock and Damage Models in Reliability Theory
Yazar 
Nakagawa, Toshio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-442-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9575. 
sentha — seniorengerechte Technik im häuslichen Alltag Ein Forschungsbericht mit integriertem Roman için kapak resmi
sentha — seniorengerechte Technik im häuslichen Alltag Ein Forschungsbericht mit integriertem Roman
Yazar 
Friesdorf, Wolfgang. editor. Heine, Achim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-32818-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9576. 
Leichtbau Elemente und Konstruktion için kapak resmi
Leichtbau Elemente und Konstruktion
Yazar 
Wiedemann, Johannes. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-33657-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç