Aarti Gupta's Documents

Aarti Gupta's Documents

SAT-based scalable formal verification solutions

SAT-based scalable formal verification solutions
Read more
SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)

SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)
Read more
Computer Aided Verification, 20 conf., CAV 2008

Computer Aided Verification, 20 conf., CAV 2008
Read more
Engaging the Board: Corporate Governance and Information Assurance

Engaging the Board: Corporate Governance and Information Assurance
Read more
Caffeine and Behavior: Current Views and Research Trends

Caffeine and Behavior: Current Views and Research Trends
Read more
Diffusion processes in advanced technological materials

Diffusion processes in advanced technological materials
Read more
The Toy Story

The Toy Story
Read more
Building a virtual private network

Building a virtual private network
Read more
Six Sigma Business Scorecard

Six Sigma Business Scorecard
Read more
NCERT - Mahadevi Verma Memorial Lecture

NCERT - Mahadevi Verma Memorial Lecture
Read more
Aha! Activities

Aha! Activities
Read more
Postcolonial Developments: Agriculture in the Making of Modern India

Postcolonial Developments: Agriculture in the Making of Modern India
Read more
स्य्कीलचा शोधाची कथा

स्य्कीलचा शोधाची कथा
Read more
String Games

String Games
Read more
A Note on Extension, Intension, and Truth

A Note on Extension, Intension, and Truth
Read more
Hands-On

Hands-On
Read more
Financial Liberalization and Investment (Routledge Studies in Development Economics, No. 4)

Financial Liberalization and Investment (Routledge Studies in Development Economics, No. 4)
Read more
Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings

Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings
Read more
Technological Innovations in Major World Oil Crops, Volume 1: Breeding

Technological Innovations in Major World Oil Crops, Volume 1: Breeding
Read more
Accelerated GWT: Building Enterprise Google Web Toolkit Applications (Accelerated)

Accelerated GWT: Building Enterprise Google Web Toolkit Applications (Accelerated)
Read more
खेळ विज्ञानाचे कृती आणि कौशल्य

खेळ विज्ञानाचे कृती आणि कौशल्य
Read more
Ecology and Development in the Third World (Routledge Introductions to Development)

Ecology and Development in the Third World (Routledge Introductions to Development)
Read more
Corporate Capitalism and Political Philosophy

Corporate Capitalism and Political Philosophy
Read more
Odds And Ends

Odds And Ends
Read more
Data Management and Reporting Made Easy with SAS Learning Edition 2.0

Data Management and Reporting Made Easy with SAS Learning Edition 2.0
Read more
दहा चिमुकले बोटे

दहा चिमुकले बोटे
Read more
Bright Sparks

Bright Sparks
Read more
Microskin Grafting for Vitiligo

Microskin Grafting for Vitiligo
Read more
Managerial excellence: McKinsey award winners from the Harvard business review, 1980-1994

Managerial excellence: McKinsey award winners from the Harvard business review, 1980-1994
Read more
Making Use of Python

Making Use of Python
Read more