LIBROS DEL AUTOR: aarti gupta

3 resultados para LIBROS DEL AUTOR: aarti gupta

aarti gupta Eliminar filtro Quitar filtros
  • Bi-Tandem Priority Queue System
    A. K. Tripathi / Aarti Saini / Deepak Gupta
    Queuing theory have wide range of applications that helps a person in making right decision in complex queuing system encountered in daily life. Queuing theory deals with the study of queues that occurs in real world situations and arise when the rate of arrival exceeds the rate of service. The capacity of a particular system can be determined by queueing theory based on the p...
    Disponible

    34,76 €

  • Grossing Techniques in Oral and Maxillofacial Pathology
    Aarti Mahajan / Manu Gupta / Richa Dhariwal
    Gross pathology refers to the macroscopic manifestations of disease in organs, tissues, and body cavities. Grossing is a very important step in surgical pathology and inadequate sampling of the gross specimen can lead to misinterpretation of the slides. For oral and maxillofacial specimens, a careful gross examination and description are infinitely superior to the examination o...
    Disponible

    65,84 €

  • SAT-Based Scalable Formal Verification Solutions
    Aarti Gupta / Malay Ganai
    Design Verification Challenges.- Design Verification Challenges.- Background.- Basic Infrastructure.- Efficient Boolean Representation.- Hybrid DPLL-Style SAT Solver.- Falsification.- SAT-Based Bounded Model Checking.- Distributed SAT-Based BMC.- Efficient Memory Modeling in BMC.- BMC for Multi-Clock Systems.- Proof Methods.- Proof by Induction.- Unbounded Model Checking.- Abst...
    Disponible

    243,04 €