Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(187)
Drechsler, Rolf. author.
(5)
Marwedel, Peter. author.
(5)
Henkel, Jörg. author.
(4)
Shafique, Muhammad. author.
(4)
Dil
Yayın Yılı
-
Konu
Computer science.
(161)
Engineering.
(127)
Electronics.
(71)
Circuits and Systems.
(27)
Software engineering.
(24)
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ç
200 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers için kapak resmi
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Yazar 
Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72814-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Reliable and Energy Efficient Streaming Multiprocessor Systems için kapak resmi
Reliable and Energy Efficient Streaming Multiprocessor Systems
Yazar 
Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-69374-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Dependable Multicore Architectures at Nanoscale için kapak resmi
Dependable Multicore Architectures at Nanoscale
Yazar 
Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-54422-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Advanced Logic Synthesis için kapak resmi
Advanced Logic Synthesis
Yazar 
Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67295-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Formal System Verification State-of the-Art and Future Trends için kapak resmi
Formal System Verification State-of the-Art and Future Trends
Yazar 
Drechsler, Rolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-57685-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach için kapak resmi
Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach
Yazar 
Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61455-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Emergent behavior in complex systems engineering : a modeling and simulation approach için kapak resmi
Emergent behavior in complex systems engineering : a modeling and simulation approach
Yazar 
Mittal, Saurabh, editor. Diallo, Saikou Y., editor. Tolk, Andreas, editor.
Yer Numarası 
TA168 .E53 2018
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119378952
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors için kapak resmi
Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors
Yazar 
Melikyan, Vazgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71637-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
A practical guide to SysML : the systems modeling language için kapak resmi
A practical guide to SysML : the systems modeling language
Yazar 
Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Yer Numarası 
ONLINE(355422.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
SysML for systems engineering : a model based approach için kapak resmi
SysML for systems engineering : a model based approach
Yazar 
Holt, Jon. Perry, Simon.
Yer Numarası 
ONLINE(312864.1)
Elektronik Erişim 
Knovel http://app.knovel.com/web/toc.v/cid:kpSMLSEAM9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives için kapak resmi
Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives
Yazar 
Wang, Weixun. author. Mishra, Prabhat. author. Ranka, Sanjay. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331237.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-0278-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
High-Performance Computing Using FPGAs için kapak resmi
High-Performance Computing Using FPGAs
Yazar 
Vanderbauwhede, Wim. editor. Benkrid, Khaled. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331283.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1791-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç