Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(53)
Markov, Igor L. author.
(3)
Lienig, Jens. author.
(2)
Schätz, Bernhard. editor.
(2)
Sim, Kevin. editor.
(2)
Dil
Yayın Yılı
-
Konu
Systems engineering.
(33)
Computer science.
(27)
Engineering.
(21)
Software engineering.
(17)
Electronics.
(10)
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ç
53 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
49. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings
Yazar 
Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74442-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
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:
51. 
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:
52. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings
Yazar 
Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11847083
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Taxonomies for the Development and Verification of Digital Systems için kapak resmi
Taxonomies for the Development and Verification of Digital Systems
Yazar 
Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104217
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç