-
1
-
2
-
3Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems [electronic resource] / Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems [electronic resource] /by Demir, Alper. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
4Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems [electronic resource] / Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems [electronic resource] /by Demir, Alper. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
5Synchronous Equivalence [electronic resource] : Formal Methods for Embedded Systems / Synchronous Equivalence [electronic resource] : Formal Methods for Embedded Systems /by Hsieh, Harry. author., Balarin, Felice. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
6Function/Architecture Optimization and Co-Design of Embedded Systems [electronic resource] / Function/Architecture Optimization and Co-Design of Embedded Systems [electronic resource] /by Tabbara, Bassam. author., Tabbara, Abdallah. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
7Function/Architecture Optimization and Co-Design of Embedded Systems [electronic resource] / Function/Architecture Optimization and Co-Design of Embedded Systems [electronic resource] /by Tabbara, Bassam. author., Tabbara, Abdallah. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
8Synchronous Equivalence [electronic resource] : Formal Methods for Embedded Systems / Synchronous Equivalence [electronic resource] : Formal Methods for Embedded Systems /by Hsieh, Harry. author., Balarin, Felice. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
9Logic Synthesis for Field-Programmable Gate Arrays [electronic resource] / Logic Synthesis for Field-Programmable Gate Arrays [electronic resource] /by Murgai, Rajeev. author., Brayton, Robert K. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
10Steady-State Methods for Simulating Analog and Microwave Circuits [electronic resource] / Steady-State Methods for Simulating Analog and Microwave Circuits [electronic resource] /by Kundert, Kenneth S. author., White, Jacob K. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 1990Texto bibliotecaCOLPOS -
11Steady-State Methods for Simulating Analog and Microwave Circuits [electronic resource] / Steady-State Methods for Simulating Analog and Microwave Circuits [electronic resource] /by Kundert, Kenneth S. author., White, Jacob K. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 1990Texto bibliotecaCOLPOS -
12Logic Synthesis for Field-Programmable Gate Arrays [electronic resource] / Logic Synthesis for Field-Programmable Gate Arrays [electronic resource] /by Murgai, Rajeev. author., Brayton, Robert K. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
13Substrate Noise [electronic resource] : Analysis and Optimization for IC Design / Substrate Noise [electronic resource] : Analysis and Optimization for IC Design /by Charbon, Edoardo. author., Gharpurey, Ranjit. author., Miliozzi, Paolo. author., Meyer, Robert G. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS -
14Substrate Noise [electronic resource] : Analysis and Optimization for IC Design / Substrate Noise [electronic resource] : Analysis and Optimization for IC Design /by Charbon, Edoardo. author., Gharpurey, Ranjit. author., Miliozzi, Paolo. author., Meyer, Robert G. author., Sangiovanni-Vincentelli, Alberto. author., SpringerLink (Online service)
Published 2001Texto bibliotecaCOLPOS