語系
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.
General Practice / Family Medicine.
Electronic digital computers
Geriatric psychiatry
Clinical Psychology.
Logic Design.
Forensic Medicine.
Computer Science.
General practice (Medicine).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
Geriatrics.
Forensic medicine.
Artificial Intelligence (incl. Robotics)