語系
Emerson, E. Allen.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verification, model checking, and abstract interpretation7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings /
by:
(1998 :); Emerson, E. Allen.; Namjoshi, Kedar S.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Visual Information and Information Systems8th International Conference, VISUAL 2005, Amsterdam, The Netherlands, July 5, 2005, Revised Selected Papers /
by:
(1998 :); Bres, Stephane.; Emerson, E. Allen.; Laurini, Robert.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ;proceedings /
by:
(1998 :); Emerson, E. Allen.; Sistla, A. Prasad.; SpringerLink (Online service)
(書目-電子資源)
主題
Image Processing and Computer Vision.
Software Engineering.
Information display systems
Logics and Meanings of Programs.
Database Management.
Computer software
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet)
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer programs
Computer Science.
Integrated circuits