I agree that this site is using cookies. You can find further informations here.
X
Kumar, Ramayya
4  results:
E-Books X
Search for persons X
?
1

JESSI AC-8 "Synthesis, optimization and analysis" 

BMBF-Abschlußbericht ; [final technical report, main phase ... 
Herrmann, Ronald ; Kumar, Ramayya - [Electronic ed.] . , 1998
Link: http://edok01.tib.uni-ha..
 
?
2

JESSI applications project AC-8: Synthesis, optimization an.. 

final technical report, main phase II, rev. 1.0 ; reporting... 
Riedel, Steffen ; Brand, Hans-Jürgen ; Kumar, Ramayya - [Electronic ed.] . , 1997
Link: http://edok01.tib.uni-ha..
 
?
3

Theorem Provers in Circuit Design 

Theory, Practice and Experience  Lecture Notes in Computer Science ; 901;SpringerLink, Bücher
Kumar, Ramayya ; Kropf, Thomas , 1995
Link: https://doi.org/10.1007/..
 
?
4

Theorem provers in circuit design 

theory, practice and experience ; second international conf...  Lecture notes in computer science ; 901
Kumar, Ramayya , 1995
Link: http://dx.doi.org/10.100..

Copies:  Zentrale:Magazin 01.P.5693
 
1-4