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
301. 
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:
302. 
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:
303. 
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:
304. 
Collaborative Product Design and Manufacturing Methodologies and Applications için kapak resmi
Collaborative Product Design and Manufacturing Methodologies and Applications
Yazar 
Li, W. D. editor. McMahon, Chris. editor. Ong, S. K. editor. Nee, Andrew Y. C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-802-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
305. 
Warehouse Management Automation and Organisation of Warehouse and Order Picking Systems için kapak resmi
Warehouse Management Automation and Organisation of Warehouse and Order Picking Systems
Yazar 
Hompel, Michael. author. Schmidt, Thorsten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-35220-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
306. 
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:
307. 
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:
308. 
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:
309. 
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:
310. 
Innovations in Design & Decision Support Systems in Architecture and Urban Planning için kapak resmi
Innovations in Design & Decision Support Systems in Architecture and Urban Planning
Yazar 
Leeuwen, Jos P. editor. Timmermans, Harry J. P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5060-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
311. 
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms için kapak resmi
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Yazar 
Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4826-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
312. 
Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits için kapak resmi
Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Yazar 
CASTRO-LÓPEZ, R. author. FERNÁNDEZ, F.V. author. GUERRA-VINUESA, O. author. RODRÍGUEZ-VÁZQUEZ, Á. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5139-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç