Search

Now showing items 1-10 of 94

Formal Hardware Verification Methods: A Survey

Type: Ebook

Author : Gupta A.

Year: 1992

Request PDF

Mineral Processing Design and Operation || Tubular Ball Mills

Type: Journal Paper

Author : Gupta, A.

Year: 2006

Request PDF

Probability for statistics and machine learning. Fundamentals and advanced topics

Type: Ebook

Author : DasGupta A.

Publisher: Springer

Year: 2011

Request PDF

Variable Step-Size LMS Algorithm for Fractal Signals

Type: Journal Paper

Author : Gupta, A.; Joshi, S.

Year: 2008

Request PDF

Ascites syndrome in poultry: a review

Type: Journal Paper

Author : GUPTA, A.R.

Publisher: Cambridge University Press

Year: 2011

Request PDF

Retrospection and comparison of Dsdv and Aomdv routing protocols in Manet using Ns-2

Type: Conference Paper

Author : Mehta, A. , Gupta, A.

Publisher: IEEE

Year: 2014

Revisiting the Blom key management scheme

Type: Conference Paper

Author : Gupta, A. , Ahlawat, P.

Publisher: IEEE

Year: 2014

Cloud computing: Security threats & control strategy using tri-mechanism

Type: Conference Paper

Author : Gupta, A.; Chourey, V.

Publisher: IEEE

Year: 2014

Quantitative Verification in Rational Environments

Type: Conference Paper

Author : Gupta, A.; Schewe, S.

Publisher: IEEE

Year: 2014

Intelligent traffic obstruction control and supervision system in VANET

Type: Conference Paper

Author : Gupta, A. , Lokhande, V.

Publisher: IEEE

Year: 2014

1
2
3
4
. . .
10

Search

Formal Hardware Verification Methods: A Survey

Mineral Processing Design and Operation || Tubular Ball Mills

Probability for statistics and machine learning. Fundamentals and advanced topics

Variable Step-Size LMS Algorithm for Fractal Signals

Ascites syndrome in poultry: a review

Retrospection and comparison of Dsdv and Aomdv routing protocols in Manet using Ns-2

Revisiting the Blom key management scheme

Cloud computing: Security threats & control strategy using tri-mechanism

Quantitative Verification in Rational Environments

Intelligent traffic obstruction control and supervision system in VANET

Author

Subject

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

Formal Hardware Verification Methods: A Survey

Mineral Processing Design and Operation || Tubular Ball Mills

Probability for statistics and machine learning. Fundamentals and advanced topics

Variable Step-Size LMS Algorithm for Fractal Signals

Ascites syndrome in poultry: a review

Retrospection and comparison of Dsdv and Aomdv routing protocols in Manet using Ns-2

Revisiting the Blom key management scheme

Cloud computing: Security threats &amp; control strategy using tri-mechanism

Quantitative Verification in Rational Environments

Intelligent traffic obstruction control and supervision system in VANET

Cloud computing: Security threats & control strategy using tri-mechanism