語系
Gupta, Aarti.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Psychiatric ethics in late-life patients = medicolegal and forensic aspects at the interface of mental health /
by:
Balasubramaniam, Meera.; Gupta, Aarti.; Tampi, Rajesh R.; SpringerLink (Online service)
(書目-電子資源)
Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
Gupta, Aarti.; Malik, Sharad.; SpringerLink (Online service); CAV (2008 :)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Electronic digital computers- Evaluation
Logics and Meanings of Programs.
Psychiatry.
Clinical Psychology.
Artificial Intelligence (incl. Robotics)
Geriatrics/Gerontology.
Logic Design.
Geriatric psychiatry- Moral and ethical aspects.
General Practice / Family Medicine.
Forensic Medicine.
Computer software- Verification
Computer Science.