Languages
Gupta, Aarti.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
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)
(Language materials, printed)
, [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.
(Language materials, printed)
Subjects
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