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
169. 
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:
170. 
Simulation Methods for Reliability and Availability of Complex Systems için kapak resmi
Simulation Methods for Reliability and Availability of Complex Systems
Yazar 
Faulin, Javier. editor. Juan, Angel A. editor. Martorell, Sebastián. editor. Ramírez-Márquez, José-Emmanuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-213-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
171. 
Dynamic Modelling for Supply Chain Management Dealing with Front-end, Back-end and Integration Issues için kapak resmi
Dynamic Modelling for Supply Chain Management Dealing with Front-end, Back-end and Integration Issues
Yazar 
Crespo Márquez, Adolfo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-681-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
172. 
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:
173. 
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:
174. 
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:
175. 
Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use için kapak resmi
Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use
Yazar 
Langdon, Patrick Martin. editor. Clarkson, Peter John. editor. Robinson, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-166-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
176. 
E-maintenance için kapak resmi
E-maintenance
Yazar 
Holmberg, Kenneth. editor. Adgar, Adam. editor. Arnaiz, Aitor. editor. Jantunen, Erkki. editor. Mascolo, Julien. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-205-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
177. 
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:
178. 
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:
179. 
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:
180. 
A Practical Introduction to Hardware/Software Codesign için kapak resmi
A Practical Introduction to Hardware/Software Codesign
Yazar 
Schaumont, Patrick R. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç