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
289. 
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:
290. 
Inverse Problems in Electric Circuits and Electromagnetics için kapak resmi
Inverse Problems in Electric Circuits and Electromagnetics
Yazar 
Chechurin, V. L. author. Korovkin, N. V. author. Hayakawa, M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-46047-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
291. 
Dynamics of Microelectromechanical Systems için kapak resmi
Dynamics of Microelectromechanical Systems
Yazar 
Lobontiu, Nicolae. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-68195-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
292. 
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:
293. 
Advances in Integrated Design and Manufacturing in Mechanical Engineering II için kapak resmi
Advances in Integrated Design and Manufacturing in Mechanical Engineering II
Yazar 
Tichkiewitch, S. editor. Tollenaere, M. editor. Ray, P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6761-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
294. 
Routing Congestion in VLSI Circuits: Estimation and Optimization için kapak resmi
Routing Congestion in VLSI Circuits: Estimation and Optimization
Yazar 
Saxena, Prashant. author. Shelar, Rupesh S. author. Sapatnekar, Sachin S. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-48550-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
295. 
Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design için kapak resmi
Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design
Yazar 
Chinnery, David. author. Keutzer, Kurt. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-68953-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
296. 
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:
297. 
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components için kapak resmi
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Yazar 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
298. 
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:
299. 
Computer-Aided Architectural Design Futures (CAADFutures) 2007 Proceedings of the 12th International CAADFutures Conference için kapak resmi
Computer-Aided Architectural Design Futures (CAADFutures) 2007 Proceedings of the 12th International CAADFutures Conference
Yazar 
Dong, Andy. editor. Moere, Andrew Vande. editor. Gero, John S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6528-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
300. 
CAE-Methoden in der Fahrzeugtechnik için kapak resmi
CAE-Methoden in der Fahrzeugtechnik
Yazar 
Meywerk, Martin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-49867-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç