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
181. 
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction için kapak resmi
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Yazar 
Shukla, Sandeep K. editor. Talpin, Jean-Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6400-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits için kapak resmi
Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits
Yazar 
Tajalli, Armin. author. Leblebici, Yusuf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6478-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications için kapak resmi
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Yazar 
Singh, Gaurav. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6481-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
Composing Software Components A Software-testing Perspective için kapak resmi
Composing Software Components A Software-testing Perspective
Yazar 
Hamlet, Dick. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
185. 
Fault Location on Power Networks için kapak resmi
Fault Location on Power Networks
Yazar 
Saha, Murari Mohan. author. Izykowski, Jan. author. Rosolowski, Eugeniusz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-886-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
186. 
System Design Optimization for Product Manufacturing için kapak resmi
System Design Optimization for Product Manufacturing
Yazar 
Yoshimura, Masataka. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-008-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Geometric Algebra Computing in Engineering and Computer Science için kapak resmi
Geometric Algebra Computing in Engineering and Computer Science
Yazar 
Bayro-Corrochano, Eduardo. editor. Scheuermann, Gerik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-108-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
C Compilers for ASIPs Automatic Compiler Generation with LISA için kapak resmi
C Compilers for ASIPs Automatic Compiler Generation with LISA
Yazar 
Hohenauer, Manuel. author. Leupers, Rainer. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-1176-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
Security in Embedded Devices için kapak resmi
Security in Embedded Devices
Yazar 
Gebotys, Catherine H. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-1530-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Design and Verification of Microprocessor Systems for High-Assurance Applications için kapak resmi
Design and Verification of Microprocessor Systems for High-Assurance Applications
Yazar 
Hardin, David S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-1539-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies için kapak resmi
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Yazar 
Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
Scalable Techniques for Formal Verification için kapak resmi
Scalable Techniques for Formal Verification
Yazar 
Ray, Sandip. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-5998-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç