foundations & trends in electronic design automation (6)
journal of urology (6)
dac: annual acm/ieee design automation conference (4)
electronics systems & software (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
progress in neurology & psychiatry (3)
american libraries (2)
electronic engineering times (01921541) (2)
electronics weekly (2)
the journal of urology (2)
10th acm/ieee international conference on formal methods & models for codesign (1)
2007 2nd international design & test workshop (1)
2007 2nd international design and test workshop, design and test workshop, 2007. idt 2007. 2nd international (1)
2007 ieee international high level design validation & test workshop (1)
2007 ieee international high level design validation and test workshop, high level design validation and test workshop, 2007. hlvdt 2007. ieee international (1)
2008 45th acm/ieee design automation conference (1)
2008 45th acm/ieee design automation conference, design automation conference, 2008. dac 2008. 45th acm/ieee (1)
2013 eleventh acm/ieee international conference on formal methods and models for codesign (memocode 2013), formal methods and models for codesign (memocode), 2013 eleventh ieee/acm international conference on (1)
2021 58th acm/ieee design automation conference (dac), design automation conference (dac), 2021 58th acm/ieee (1)
armed forces journal (1)
computer aided verification (9783540705437) (1)
criterion journal on innovation (1)
design automation conference, design automation conference (dac), 2010 47th acm/ieee (1)
hardware & software: verification & testing (9783642192364) (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
integrated system design (1)
international affairs (royal institute of international affairs 1944-) (1)
jfq: joint force quarterly (1)
journal of antitrust enforcement (1)
marketing week (1)
notes & queries (1)
proceedings 42nd design automation conference, 2005 (1)
proceedings of the 17th symposium integrated circuits & system design (1)
proceedings of the 39th annual design automation conference (1)
proceedings of the 42nd annual design automation conference (1)
proceedings of the 47th design automation conference (1)
proceedings sbcci 2004. 17th symposium on integrated circuits & systems design (ieee cat. no.04th8784) (1)
radiology (1)
rural health advocate (1)
vlsi-soc: from systems to chips (1)