☰ Category



Marketed By :  LAP LAMBERT Academic Publishing   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Product Out of Stock Subscription

(Notify me when this product is back in stock)

Rs. 3,651

Availability: Out of stock

  • Product Description

In recent years, the number of DNA sequences increasing rapidly. Pattern scanning on large sequence database is one of the important functions in genomic research among biologist. It is useful for making new discoveries about a DNA sequence, including the location of functional sites and novel repetitive structures. Besides, it is also useful for the comparative analysis of different DNA sequences. Nevertheless, biologists face a problem in finding an accurate in pattern scanning in large DNA sequence database. The biologists frequently demand for optimal comparison result. So, the perfect structure of living beings evolution can be constructed. This task becomes more complex and challenging because the size of public sequence database is large and increasing exponentially every year. Nowadays, tools supporting formal methods are using interactive theorem provers and model checkers. Theorem proving is a part of validation techniques.

Product Specifications
SKU :COC71884
AuthorMustafa Man,Julaily Aida Jusoh and Md. Yazid Mohd Saman
Number of Pages112
Publishing Year2011-01-24T00:00:00.000
Edition1 st
Book TypeComputing & information technology
Country of ManufactureIndia
Product BrandLAP LAMBERT Academic Publishing
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-10-08 00:00:00
0 Review(s)