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. 
CMOS Circuits for Biological Sensing and Processing için kapak resmi
CMOS Circuits for Biological Sensing and Processing
Yazar 
Mitra, Srinjoy. editor. Cumming, David R. S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67723-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Design of FPGA-Based Computing Systems with OpenCL için kapak resmi
Design of FPGA-Based Computing Systems with OpenCL
Yazar 
Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68161-0
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. 
Symbolic Parallelization of Nested Loop Programs için kapak resmi
Symbolic Parallelization of Nested Loop Programs
Yazar 
Tanase, Alexandru-Petru. author. Hannig, Frank. author. Teich, Jürgen. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-73909-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
5G and E-Band Communication Circuits in Deep-Scaled CMOS için kapak resmi
5G and E-Band Communication Circuits in Deep-Scaled CMOS
Yazar 
Vigilante, Marco. author. Reynaert, Patrick. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72646-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
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. 
Model-Based Design of Adaptive Embedded Systems için kapak resmi
Model-Based Design of Adaptive Embedded Systems
Yazar 
Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331594.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4821-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach için kapak resmi
Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach
Yazar 
Cardoso, João Manuel Paiva. editor. Diniz, Pedro C. editor. de Figueiredo Coutinho, José Gabriel. editor. Petrov, Zlatko Marinov. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331615.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4894-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Design Technologies for Green and Sustainable Computing Systems için kapak resmi
Design Technologies for Green and Sustainable Computing Systems
Yazar 
Pande, Partha Pratim. editor. Ganguly, Amlan. editor. Chakrabarty, Krishnendu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(331637.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4975-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç