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