Languages
Gupta, Aarti.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
Searching for shared norms: Global governance of biosafety.
by:
Gupta, Aarti.
(Electronic resources)
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 :)
(Language materials, printed)
Subjects
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.