Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(435)
Pichler, Franz. editor.
(7)
Yarwood, A. (Alfred), 1917-
(6)
Gero, John S. editor.
(5)
Gindis, Elliot.
(5)
Dil
Yayın Yılı
-
Konu
Computer aided design.
(377)
Engineering.
(256)
Systems engineering.
(144)
Computer science.
(120)
Engineering design.
(79)
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ç
665 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
529. 
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:
530. 
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:
531. 
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:
532. 
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:
533. 
Hardware Verification with C++ A Practitioner’s Handbook için kapak resmi
Hardware Verification with C++ A Practitioner’s Handbook
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-36254-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
534. 
SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling için kapak resmi
SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
Yazar 
Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-36495-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
535. 
Design Computing and Cognition ’06 için kapak resmi
Design Computing and Cognition ’06
Yazar 
GERO, JOHN S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5131-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
536. 
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:
537. 
Practical Grey-box Process Identification Theory and Applications için kapak resmi
Practical Grey-box Process Identification Theory and Applications
Yazar 
Bohlin, Torsten. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-403-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
538. 
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:
539. 
Transformations and Projections in Computer Graphics için kapak resmi
Transformations and Projections in Computer Graphics
Yazar 
Salomon, David. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84628-620-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
540. 
Visualisierung digitaler Gelände- und Landschaftsdaten için kapak resmi
Visualisierung digitaler Gelände- und Landschaftsdaten
Yazar 
Mach, Rüdiger. author. Petschek, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-30533-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç