sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:000000011077741X | 1 hits
Person
ISNI: 
0000 0001 1077 741X
Name: 
Sangiovanni-Vincentelli, A.
Sangiovanni-Vincentelli, Alberto
Sangiovanni-Vincentelli, Alberto L.
Vincentelli, A. Sangiovanni-
Vincentelli, Alberto Sangiovanni-
Dates: 
1947-
Creation class: 
Computer file
cre
Language material
Text
Creation role: 
author
contributor
creator
editor
Related names: 
Brayton, Robert King
Demir, Alper (1969- ))
EMSOFT 2, 2002, Grenoble
Murgai, Rajeev (1966-...)
Murgai, Rajeev (1966-)
Sifakis, Joseph (1946-)
Tabbara, Abdallah (1968-)
Tabbara, Bassam (1971-)
University of California, Berkeley. College of Engineering
University of California, Berkeley. College of Engineering. Televised Instruction Program
White, Jacob K.
Žagar, Mario
Zeng, Haibo
Titles: 
Advances in circuits and systems, c1987:
Algorithms for synthesis and testing of asynchronous circuits
Analysis and simulation of noise in nonlinear electronic circuits and systems
Cross-talk noise immune VLSI design using regular layout fabrics
Design systems for VLSI circuits : logic synthesis and silicon compilation
Embedded software second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
Embedded systems development : from functional models to implementations
Function, architecture optimization and co-design of embedded systems
HSCC 2001
Hybrid systems: computation and control 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings
ICCAD 85 : selected papers of the International Conference ..., Nov. 19-21, 1985, Santa Clara
Logic synthesis for field-programmable gate arrays
Noise analysis of radio frequency circuits
Proceedings of the 2nd International workshop on design, test and applications
Relaxation techniques for the simulation of VLSI circuits
Selected papers on computer-aided design of very large scale integrated circuits
Steady-state methods for simulating analog and microwave circuits
Synchronous equivalence : formal methods for embedded systems
Unknown Component Problem Theory and Applications, The
Notes: 
Sources: 
VIAF DNB LC NKC NSK NUKAT SUDOC
BOWKER
NTA
TEL