Gopalakrishnan, Ganesh.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
(1998 :); Gopalakrishnan, Ganesh.; Qadeer, Shaz.; SpringerLink (Online service)
(書目-電子資源)
Theorem proving in higher order logics17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
by:
(1998 :); Bunker, Annette.; Gopalakrishnan, Ganesh.; Slind, Konrad.; SpringerLink (Online service)
(書目-電子資源)
Formal methods in computer-aided designsecond international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings /
by:
(1998 :); Gopalakrishnan, Ganesh.; SpringerLink (Online service); Windley, Phillip.
(書目-電子資源)
主題
Electronic and Computer Engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Systems engineering
Logics and Meanings of Programs.
Circuits and Systems
Automatic theorem proving
Computer software
Electronic digital computers
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer Science
Formal methods (Computer science)
Digital integrated circuits
Programming Languages, Compilers, Interpreters.
Computer science
Theory of Computation
Mathematical Logic and Formal Languages
Computer Science.
Information theory
Computer engineering
Integrated circuits