
Symbolic Simulation Methods For Industrial Formal Verification by Jones
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 006.312 JON.
Book details
- Author
- Jones
- Publisher
- Kap
- Year
- 2002
- ISBN
- 9781402071034
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 006.312 JON | 239973 | Reference only (read in the library) |
Next to this on the shelf
- Text Mining With Machine Learning 006.312 IKA
- Beginning Apache Spark Using Azure Databricks: Unleashing Large Cluster Analytics in the Cloud 006.312 ILI
- Data Mining And Business Intelligence 006.312 JAI
- Big Data With Hadoop Mapreduce 006.312 JEY
- Symbolic Simulation Methods For Industrial Formal Verification (this book)
- Data Science With Raspberry Pi: Real-time Applications Using a Localized Cloud 006.312 KAD
- Applied Data Science Using Pyspark, Learn the Endtoend Predictive Modelbuilding Cycle 006.312 KAK
- Applied Data Science Using PySpark: Learn the End-to-End Predictive Model-Building Cycle 006.312 KAK
- Datamining Concepts, Models, Methods, And Algorithms 006.312 KAN
More by Jones
- An Introduction to Bioinformatics Algorithms
- Losing The News
- Essential Maths Skills For Exploring Social Data Students Workbook
- Kittel's Introduction to Solid State Physics, Wiley India Edition
- Advances In Credit Risk Modelling And Corporate Bankruptcy Prediction
- Artificial Intelligence A Systems Approach
- Becoming Dr. Seuss
- Bedouins Into Bourgeois
- Bio-glasses: an Introduction
- Calculus: 1001 Practice Problems for Dummies (+ Free Online Practice)