Constraint-Based Verification [electronic resource] / by Jun Yuan, Carl Pixley, Adnan Aziz.
Material type:
Computer filePublisher: Boston, MA : Springer Science+Business Media, Inc., 2006Description: v.: digitalISBN: 9780387307848Subject(s): Engineering | Computer aided design | Systems engineering | Engineering | Circuits and Systems | Computer-Aided Engineering (CAD, CAE) and Design | Electronic and Computer EngineeringLOC classification: Q340 . | Y83 2006Online resources: Click here to access online
In:
Springer eBooks
| Item type | Current location | Call number | Vol info | URL | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|---|
|
Biblioteca Digital
Responsable: Alejandra Vargas Mejía
|
Q340 .Y83 2006 (Browse shelf) | BDIG00000807 | Link to resource | 1 | Available | SpringerLink | BDIG00000807 |
Browsing Biblioteca Digital shelves Close shelf browser
| Q335 R64 2008 Robust Intelligent Systems | Q337 N48 2006 Neural Networks in a Softcomputing Framework | Q340 B73 2005 Artificial Intelligence in Theory and Practice II | Q340 .Y83 2006 Constraint-Based Verification | Q342 C65 2007 Computational Intelligence | Q342 .N44 2005 Computational Intelligence | Q342 P35 2005 Computational Intelligence in Time Series Forecasting |
There are no comments on this title.