Author books / Книги автора Aarti Gupta,Bharath Jairaj,Michael Mason,James Van Alstine,Graeme Auld,Klaus Dingwerth,Milou Dubois, » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Aarti Gupta,Bharath Jairaj,Michael Mason,James Van Alstine,Graeme Auld,Klaus Dingwerth,Milou Dubois,

book Transparency in Global Environmental Governance : Critical Perspectives

Transparency in Global Environmental Governance : Critical Perspectives

epub

Author: Aarti Gupta, Bharath Jairaj, Michael Mason, James Van Alstine, Graeme Auld, Klaus Dingwerth, Milou Dubois, Timothy Ehresman, Margot Eichinger, Ann Florini
Language: English
Year: 2014

00

01.03.2024

0

0

book Psychiatric Ethics in Late-Life Patients: Medicolegal and Forensic Aspects at the Interface of Mental Health

Psychiatric Ethics in Late-Life Patients: Medicolegal and Forensic Aspects at the Interface of Mental Health

pdf

Author: Meera Balasubramaniam Aarti Gupta Rajesh R. Tampi
Language: English
Year: 2019

00

30.01.2024

0

0

book Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

pdf

Author: Aarti Gupta (auth.) Alessandro Armando Peter Baumgartner Gilles Dowek (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions

pdf

Author: Dr. Malay K. Ganai Dr. Aarti Gupta (auth.)
Language: English
Year: 2007

00

27.01.2024

0

0

book SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

pdf

Author: Malay Ganai Aarti Gupta
Language: English
Year: 2007

00

27.01.2024

0

0

book Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

pdf

Author: James R. Larus (auth.) Aarti Gupta Sharad Malik (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

pdf

Author: James R. Larus (auth.) Aarti Gupta Sharad Malik (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

pdf

Author: Aarti Gupta (auth.) Alessandro Armando Peter Baumgartner Gilles Dowek (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book SAT-based scalable formal verification solutions

SAT-based scalable formal verification solutions

pdf

Author: Malay Ganai Aarti Gupta
Language: English
Year: 2007

00

26.01.2024

0

0