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.
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)