Search

نمایش تعداد 1-10 از 94

Formal Hardware Verification Methods: A Survey

نوع: Ebook

نویسنده : Gupta A.

سال: 1992

Request PDF

Mineral Processing Design and Operation || Tubular Ball Mills

نوع: Journal Paper

نویسنده : Gupta, A.

سال: 2006

Request PDF

Probability for statistics and machine learning. Fundamentals and advanced topics

نوع: Ebook

نویسنده : DasGupta A.

ناشر: Springer

سال: 2011

Request PDF

Variable Step-Size LMS Algorithm for Fractal Signals

نوع: Journal Paper

نویسنده : Gupta, A.; Joshi, S.

سال: 2008

Request PDF

Ascites syndrome in poultry: a review

نوع: Journal Paper

نویسنده : GUPTA, A.R.

ناشر: Cambridge University Press

سال: 2011

Request PDF

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

نوع: Conference Paper

نویسنده : Mehta, A. , Gupta, A.

ناشر: IEEE

سال: 2014

Revisiting the Blom key management scheme

نوع: Conference Paper

نویسنده : Gupta, A. , Ahlawat, P.

ناشر: IEEE

سال: 2014

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

نوع: Conference Paper

نویسنده : Gupta, A.; Chourey, V.

ناشر: IEEE

سال: 2014

Quantitative Verification in Rational Environments

نوع: Conference Paper

نویسنده : Gupta, A.; Schewe, S.

ناشر: IEEE

سال: 2014

Intelligent traffic obstruction control and supervision system in VANET

نوع: Conference Paper

نویسنده : Gupta, A. , Lokhande, V.

ناشر: IEEE

سال: 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

نویسنده

موضوع

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

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