Aarti Gupta – författare
Visar alla böcker från författaren Aarti Gupta. Handla med fri frakt och snabb leverans.
9 produkter
Transparency in Global Environmental Governance
E-bok, 2014
424 kr
Lägg i varukorg
A critical assessment of whether transparency is a broadly transformative force in global environmental governance or plays a more limited role. Transparency—openness, secured through greater availability of information—is increasingly seen as part of the solution to a complex array of economic, …
Transparency in Global Environmental Governance
Critical Perspectives
Häftad, 2014
542 kr
Lägg i varukorg
SAT-Based Scalable Formal Verification Solutions
Inbunden, 2007
1636 kr
Lägg i varukorg
Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and …
SAT-Based Scalable Formal Verification Solutions
E-bok, 2007
1622 kr
Lägg i varukorg
Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and …
SAT-Based Scalable Formal Verification Solutions
Häftad, 2010
1197 kr
Lägg i varukorg
Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors.SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and …
Psychiatric Ethics in Late-Life Patients
Medicolegal and Forensic Aspects at the Interface of Mental Health
Av Meera Balasubramaniam, Aarti Gupta m. fl.
Häftad, 2019
676 kr
Lägg i varukorg
The process of aging is frequently associated with changes in the physical and mental functioning of older adults, challenging their autonomy and rendering them vulnerable to exploitation. Certain illnesses that are more common in older adults can affect their capacity to function independently. …
Psychiatric Ethics in Late-Life Patients
Medicolegal and Forensic Aspects at the Interface of Mental Health
Av Rajesh R. Tampi, Aarti Gupta m. fl.
E-bok, 2019
923 kr
Lägg i varukorg
The process of aging is frequently associated with changes in the physical and mental functioning of older adults, challenging their autonomy and rendering them vulnerable to exploitation. Certain illnesses that are more common in older adults can affect their capacity to function independently. …
Computer Aided Verification
20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
E-bok, 2008
1511 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully …
