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
325. 
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:
326. 
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:
327. 
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:
328. 
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:
329. 
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:
330. 
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:
331. 
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:
332. 
Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion için kapak resmi
Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion
Yazar 
Lossack, Ralf-Stefan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-29947-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
333. 
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung için kapak resmi
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
Yazar 
Lienig, Jens. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-29942-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
334. 
Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers için kapak resmi
Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers
Yazar 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11666806
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
335. 
Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5 için kapak resmi
Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5
Yazar 
Grabner, Jörg. author. Nothhaft, Richard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-32955-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
336. 
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:
Eylem Seç