Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(354)
Steyaert, Michiel. editor.
(9)
Casier, Herman. editor.
(5)
Drechsler, Rolf. author.
(4)
Khatri, Sunil P. author.
(4)
Dil
Yayın Yılı
-
Konu
Engineering.
(304)
Computer aided design.
(144)
Electronics.
(125)
Computer science.
(81)
Engineering design.
(45)
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ç
396 sonuç bulundu Arama sonuçlarına abone ol
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Programming Many-Core Chips için kapak resmi
Programming Many-Core Chips
Yazar 
Vajda, András. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9739-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Technische Informatik Band 2: Entwurf digitaler Schaltungen için kapak resmi
Technische Informatik Band 2: Entwurf digitaler Schaltungen
Yazar 
Kemnitz, Günter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17447-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Speech Processing in Embedded Systems için kapak resmi
Speech Processing in Embedded Systems
Yazar 
Sinha, Priyabrata. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-75581-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Power-Aware Testing and Test Strategies for Low Power Devices için kapak resmi
Power-Aware Testing and Test Strategies for Low Power Devices
Yazar 
Girard, Patrick. editor. Nicolici, Nicola. editor. Wen, Xiaoqing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0928-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies için kapak resmi
Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies
Yazar 
Bosio, Alberto. author. Dilillo, Luigi. author. Girard, Patrick. author. Pravossoudovitch, Serge. author. Virazel, Arnaud. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0938-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification için kapak resmi
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Yazar 
Gamatie, Abdoulaye. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0941-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs için kapak resmi
Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs
Yazar 
Gulati, Kanupriya. author. Khatri, Sunil P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0944-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Processor and System-on-Chip Simulation için kapak resmi
Processor and System-on-Chip Simulation
Yazar 
Leupers, Rainer. editor. Temam, Olivier. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6175-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
Software Automatic Tuning From Concepts to State-of-the-Art Results için kapak resmi
Software Automatic Tuning From Concepts to State-of-the-Art Results
Yazar 
Naono, Ken. editor. Teranishi, Keita. editor. Cavazos, John. editor. Suda, Reiji. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6935-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
SystemC: From the Ground Up için kapak resmi
SystemC: From the Ground Up
Yazar 
Black, David C. author. Donovan, Jack. author. Bunton, Bill. author. Keist, Anna. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-69958-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring için kapak resmi
Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring
Yazar 
Kuon, Ian. author. Rose, Jonathan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0739-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
Intelligent control systems with an introduction to system of systems engineering için kapak resmi
Intelligent control systems with an introduction to system of systems engineering
Yazar 
Nanayakkara, Thrishantha, author. Jamshidi, Mohammad. Sahin, Ferat.
Yer Numarası 
TJ217.5 .N35 2010
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Architecting software intensive systems : a practitioner's guide için kapak resmi
Architecting software intensive systems : a practitioner's guide
Yazar 
Lattanze, Anthony J., author.
Yer Numarası 
QA76.758 .L3285 2009
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Static Timing Analysis for Nanometer Designs A Practical Approach için kapak resmi
Static Timing Analysis for Nanometer Designs A Practical Approach
Yazar 
Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-93820-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Timing Optimization Through Clock Skew Scheduling için kapak resmi
Timing Optimization Through Clock Skew Scheduling
Yazar 
Kourtev, Ivan S. editor. Taskin, Baris. editor. Friedman, Eby G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71056-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
More than Moore Creating High Value Micro/Nanoelectronics Systems için kapak resmi
More than Moore Creating High Value Micro/Nanoelectronics Systems
Yazar 
Zhang, Guo Qi. editor. Roosmalen, Alfred. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-75593-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Clocking in Modern VLSI Systems için kapak resmi
Clocking in Modern VLSI Systems
Yazar 
Xanthopoulos, Thucydides. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0261-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Open Verification Methodology Cookbook için kapak resmi
Open Verification Methodology Cookbook
Yazar 
Glasser, Mark. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-0968-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
Carbon Nanotube Electronics için kapak resmi
Carbon Nanotube Electronics
Yazar 
Kong, Jing. editor. Javey, Ali. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-69285-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Logic Functions and Equations Examples and Exercises için kapak resmi
Logic Functions and Equations Examples and Exercises
Yazar 
Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Logic Synthesis for FSM-Based Control Units için kapak resmi
Logic Synthesis for FSM-Based Control Units
Yazar 
Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-04309-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Inductive Powering Basic Theory and Application to Biomedical Systems için kapak resmi
Inductive Powering Basic Theory and Application to Biomedical Systems
Yazar 
Schuylenbergh, Koenraad. editor. Puers, Robert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-2412-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Power Distribution Networks with On-Chip Decoupling Capacitors için kapak resmi
Power Distribution Networks with On-Chip Decoupling Capacitors
Yazar 
Popovich, Mikhhail. author. Mezhiba, Andrey V. author. Friedman, Eby G. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71601-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Standardized Functional Verification için kapak resmi
Standardized Functional Verification
Yazar 
Wiemann, Alan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71733-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Nanometer Technology Designs High-Quality Delay Tests için kapak resmi
Nanometer Technology Designs High-Quality Delay Tests
Yazar 
Tehranipoor, Mohammad. author. Ahmed, Nisar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-75728-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits için kapak resmi
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
Yazar 
Patra, Priyardarsan. author. Kougianos, Elias. author. Ranganathan, Nagarajan. author. Mohanty, Saraju P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-76474-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
CMOS Active Inductors and Transformers Principle, Implementation, and Applications için kapak resmi
CMOS Active Inductors and Transformers Principle, Implementation, and Applications
Yazar 
Yuan, Fei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-76479-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
System Verilog for Verification A Guide to Learning the Testbench Language Features için kapak resmi
System Verilog for Verification A Guide to Learning the Testbench Language Features
Yazar 
Spear, Chris. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-76530-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Functional Verification Coverage Measurement and Analysis için kapak resmi
Functional Verification Coverage Measurement and Analysis
Yazar 
Piziali, Andrew. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b117979
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Creating Assertion-Based IP için kapak resmi
Creating Assertion-Based IP
Yazar 
Foster, Harry D. author. Krolnik, Adam C. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-68398-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
37. 
Rapid Prototyping of Digital Systems için kapak resmi
Rapid Prototyping of Digital Systems
Yazar 
Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-72671-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
High-Level Synthesis From Algorithm to Digital Circuit için kapak resmi
High-Level Synthesis From Algorithm to Digital Circuit
Yazar 
Coussy, Philippe. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8588-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Logic Synthesis for Compositional Microprogram Control Units için kapak resmi
Logic Synthesis for Compositional Microprogram Control Units
Yazar 
Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-69285-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
CMOS Current-Mode Circuits for Data Communications için kapak resmi
CMOS Current-Mode Circuits for Data Communications
Yazar 
Yuan, Fei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-47691-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them için kapak resmi
Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them
Yazar 
Sutherland, Stuart. author. Mills, Don. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71715-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Hardware Verification with SystemVerilog An Object-Oriented Framework için kapak resmi
Hardware Verification with SystemVerilog An Object-Oriented Framework
Yazar 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-71740-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Dynamics of Microelectromechanical Systems için kapak resmi
Dynamics of Microelectromechanical Systems
Yazar 
Lobontiu, Nicolae. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-68195-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
SAT-Based Scalable Formal Verification Solutions için kapak resmi
SAT-Based Scalable Formal Verification Solutions
Yazar 
Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Compiling Esterel için kapak resmi
Compiling Esterel
Yazar 
Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-70628-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components için kapak resmi
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Yazar 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Full-Chip Nanometer Routing Techniques için kapak resmi
Full-Chip Nanometer Routing Techniques
Yazar 
Ho, Tsung-Yi. author. Chang, Yao-Wen. author. Chen, Sao-Jie. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6195-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Power-Aware Architecting for data-dominated applications için kapak resmi
Power-Aware Architecting for data-dominated applications
Yazar 
Ditzel, Maarten. author. Otten, Ralph H. J. M. author. Serdijn, Wouter A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6420-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
49. 
Integrated Circuit Packaging, Assembly and Interconnections için kapak resmi
Integrated Circuit Packaging, Assembly and Interconnections
Yazar 
Greig, William J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-33913-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Inverse Problems in Electric Circuits and Electromagnetics için kapak resmi
Inverse Problems in Electric Circuits and Electromagnetics
Yazar 
Chechurin, V. L. author. Korovkin, N. V. author. Hayakawa, M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-46047-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits 2nd Edition için kapak resmi
Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits 2nd Edition
Yazar 
Sachdev, Manoj. editor. Gyvez, José Pineda de. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-46547-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Routing Congestion in VLSI Circuits: Estimation and Optimization için kapak resmi
Routing Congestion in VLSI Circuits: Estimation and Optimization
Yazar 
Saxena, Prashant. author. Shelar, Rupesh S. author. Sapatnekar, Sachin S. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-48550-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms için kapak resmi
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Yazar 
Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Wide-Bandwidth High-Dynamic Range D/A Converters için kapak resmi
Wide-Bandwidth High-Dynamic Range D/A Converters
Yazar 
Doris, Konstantinos. author. van Roermund, Arthu. author. Leenaerts, Domine. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-30416-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Constraint-Based Verification için kapak resmi
Constraint-Based Verification
Yazar 
Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-30784-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Abstraction Refinement for Large Scale Model Checking için kapak resmi
Abstraction Refinement for Large Scale Model Checking
Yazar 
Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-34600-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ için kapak resmi
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
Yazar 
Silva, Francisco. author. McLaurin, Teresa. author. Waayers, Tom. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-34609-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms için kapak resmi
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Yazar 
Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4826-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity için kapak resmi
Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity
Yazar 
Leventhal, Roy G. author. Green, Lynne. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104647
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Rapid Prototyping of Digital Systems için kapak resmi
Rapid Prototyping of Digital Systems
Yazar 
Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28965-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
61. 
Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS için kapak resmi
Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS
Yazar 
Yao, Libin. author. Steyaert, Michiel. author. Sansen, Willy. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4140-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Oscillation-Based Test in Mixed-Signal Circuits için kapak resmi
Oscillation-Based Test in Mixed-Signal Circuits
Yazar 
Sánchez, Gloria Huertas. author. García de la Vega, Diego Vázquez. author. Rueda, Adoración Rueda. author. Díaz, José Luis Huertas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-5315-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
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:
64. 
Verification Methodology Manual for SystemVerilog için kapak resmi
Verification Methodology Manual for SystemVerilog
Yazar 
Bergeron, Janick. author. Cerny, Eduard. author. Hunter, Alan. author. Nightingale, Andrew. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b135575
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility için kapak resmi
Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility
Yazar 
Ben Dhia, Sonia. editor. Ramdani, Mohamed. editor. Sicard, Etienne. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137864
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Systemverilog for Verification A Guide to Learning the Testbench Language Features için kapak resmi
Systemverilog for Verification A Guide to Learning the Testbench Language Features
Yazar 
Spear, Chris. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138536
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Leakage in Nanometer CMOS Technologies için kapak resmi
Leakage in Nanometer CMOS Technologies
Yazar 
Narendra, Siva G. author. Chandrakasan, Anantha. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28133-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
FPGA Implementations of Neural Networks için kapak resmi
FPGA Implementations of Neural Networks
Yazar 
Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28487-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
High-Speed Photodiodes in Standard CMOS Technology için kapak resmi
High-Speed Photodiodes in Standard CMOS Technology
Yazar 
Radovanović, Saša. author. Annema, Anne-Johan. author. Nauta, Bram. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28592-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
BioMEMS için kapak resmi
BioMEMS
Yazar 
Urban, Gerald A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-28732-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications için kapak resmi
Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications
Yazar 
Sakurai, Takayasu. author. Matsuzawa, Akira. author. Douseki, Takakuni. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-29218-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Interconnect Noise Optimization in Nanometer Technologies için kapak resmi
Interconnect Noise Optimization in Nanometer Technologies
Yazar 
Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-29366-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
73. 
Gizopoulos / Advances in ElectronicTesting için kapak resmi
Gizopoulos / Advances in ElectronicTesting
Yazar 
Gizopoulos, Dimitris. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-29409-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
74. 
Thermal and Power Management of Integrated Circuits için kapak resmi
Thermal and Power Management of Integrated Circuits
Yazar 
Vassighi, Arman. author. Sachdev, Manoj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-29749-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
75. 
Scalable Hardware Verification with Symbolic Simulation için kapak resmi
Scalable Hardware Verification with Symbolic Simulation
Yazar 
Bertacco, Valeria. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-29906-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Writing Testbenches using System Verilog için kapak resmi
Writing Testbenches using System Verilog
Yazar 
Bergeron, Janick. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-31275-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
Digital Timing Measurements From Scopes and Probes to Timing and Jitter için kapak resmi
Digital Timing Measurements From Scopes and Probes to Timing and Jitter
Yazar 
Maichen, Wolfgang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-31419-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
78. 
Adaptive Techniques for Mixed Signal System on Chip için kapak resmi
Adaptive Techniques for Mixed Signal System on Chip
Yazar 
Fayed, Ayman. author. Ismail, Mohammed. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-32155-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
Effective Functional Verification Principles and Processes için kapak resmi
Effective Functional Verification Principles and Processes
Yazar 
Vasudevan, Srivatsa. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-32620-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
A Practical Introduction to PSL için kapak resmi
A Practical Introduction to PSL
Yazar 
Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-36123-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
81. 
Hardware Verification with C++ A Practitioner’s Handbook için kapak resmi
Hardware Verification with C++ A Practitioner’s Handbook
Yazar 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Calibration techniques in nyquist A/D converters için kapak resmi
Calibration techniques in nyquist A/D converters
Yazar 
Ploeg, Hendrik. author. Nauta, Bram. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4635-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
83. 
ΣΔ A/D CONVERSION FOR SIGNAL CONDITIONING için kapak resmi
ΣΔ A/D CONVERSION FOR SIGNAL CONDITIONING
Yazar 
Philips, Kathleen. author. van Roermund, Arthur H. M. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-4020-4680-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
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:
85. 
No More Muddling Through Mastering Complex Projects in Engineering and Management için kapak resmi
No More Muddling Through Mastering Complex Projects in Engineering and Management
Yazar 
Züst, Rainer. author. Troxler, Peter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-5018-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Direct Transistor-level Layout for Digital Blocks için kapak resmi
Direct Transistor-level Layout for Digital Blocks
Yazar 
Gopalakrishnan, Prakash. author. Rutenbar, Rob A. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b117054
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation için kapak resmi
SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
Yazar 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b117249
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Mixed-Signal Layout Generation Concepts için kapak resmi
Mixed-Signal Layout Generation Concepts
Yazar 
Lin, Chieh. author. Roermund, Arthur H. M. author. Leenaerts, Domine M. W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106472
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
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:
90. 
Transient Analysis of Electric Power Circuits Handbook için kapak resmi
Transient Analysis of Electric Power Circuits Handbook
Yazar 
Shenkman, Arieh L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-28799-X
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
System-level Test and Validation of Hardware/Software Systems için kapak resmi
System-level Test and Validation of Hardware/Software Systems
Yazar 
Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/1-84628-145-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
Advanced BDD Optimization için kapak resmi
Advanced BDD Optimization
Yazar 
Ebendt, Rüdiger. author. Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b107399
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Fault Diagnosis of Analog Integrated Circuits için kapak resmi
Fault Diagnosis of Analog Integrated Circuits
Yazar 
Kabisatpathy, Prithviraj. author. Barua, Alok. author. Sinha, Satyabroto. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b135977
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Dynamic Characterisation of Analogue-to-Digital Converters için kapak resmi
Dynamic Characterisation of Analogue-to-Digital Converters
Yazar 
Dallet, Dominique. author. Silva, José Machado. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136458
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays için kapak resmi
Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays
Yazar 
Gokhale, Maya. author. Graham, Paul S. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136834
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Functional Verification of Programmable Embedded Architectures A Top-Down Approach için kapak resmi
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Yazar 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137514
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: