Loading...
Error: Cannot Load Popup Box
Language:
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
中文(简体)
中文(繁體)
Thai
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Search For:
in:
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Advanced
Retain my current filters
Home
>
Search:
Suggested Topics
... within your search.
Verification of expert systems (Computer science)
Computer-aided design
(15)
Expert systems (Computer science)
(15)
Integrated circuits
(10)
Very large scale integration of circuits
(10)
Engineering design
(6)
more ...
Additional Suggested Topics
... within your search.
Validation of expert systems (Computer science)
(5)
Knowledge acquisition (Expert systems)
(4)
Artificial intelligence
(2)
Computer aided design
(1)
Computer networks
(1)
Embedded computer systems
(1)
Logic design
(1)
Nuclear power plants
(1)
Rule-based programming
(1)
Verification of computer programs
(1)
Xerox corporation
(1)
less ...
Showing
1
-
20
of
24
for search:
''
, query time: 0.03s
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Symbolic simulation for functional verification with ADLIB and SDL
by
Cory, W.E
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Hierarchical design verification for large digital systems
by
Sasaki, Tohru
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Verification and optimization for LSI & PCB layout
by
Brady, H. Nelson
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
A low cost hierarchical system for VLSI layout and verification
by
Edmondson, Tom H
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Circuit recognition and verification based on layout information
by
Ablasser, I
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
PANAMAP-B : a mask verification system for bipolar IC
by
Yoshida, J
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
A total verification of printed circuit artwork
by
Ward, Manfred A
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Automatic VLSI layout verification
by
Williams, Laurin
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Test data verification - not just the final step for test data before release for production testing
by
Solecky, P
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Verifying and validating personal computer-based expert systems /
by
Bahill, A Terry
Published 1991
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Verification & validation of expert systems
by
Geissman, James R
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Verification and validation of expert systems
by
Green, Christopher J. R
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Nuclear power plant expert system verification and validation
by
Naser, Joseph A
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
A verificition approach for knowledge-based systems
by
Radwan, A. Essam
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Knowledge bases : integration, verification, and partitioning
by
Botten, Nancy
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Toward an empirical approach to evaluating the knowledge base of an expert system
by
Lehner, Paul E
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Use of metaknowledge in the verification of knowledge-based systems
by
Morell, Larry J
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Approaches to the verification of rule-based expert systems
by
Culbert, Chris
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
A model for hardware description and verification
by
Milne, George J
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
Module design verification system
by
Wilkins, Lloyd
Call Number:
Loading
Located:
Loading
Loading...
Add to Favorites
1
2
Next »
Search Tools:
Get RSS Feed
Email this Search
Save Search
Narrow Search
Remove Filters
Suggested Topics: Verification of expert systems (Computer science)
Institution
KMUTT
(24)
Call Number
Q - Science
(1)
Author
Ablasser, I
(1)
Bahill, A Terry
(1)
Botten, Nancy
(1)
Brady, H. Nelson
(1)
Cory, W.E
(1)
more ...
Culbert, Chris
(1)
Edmondson, Tom H
(1)
Geissman, James R
(1)
Glazier, M. E
(1)
Green, Christopher J. R
(1)
Lehner, Paul E
(1)
Marvik, Ola A
(1)
Milne, George J
(1)
Morell, Larry J
(1)
Nachtsheim, Stephen
(1)
Naser, Joseph A
(1)
Parker, Alice C
(1)
Radwan, A. Essam
(1)
Sasaki, Tohru
(1)
Solecky, P
(1)
Ward, Manfred A
(1)
Wilkins, Lloyd
(1)
Williams, Laurin
(1)
Yoshida, J
(1)
less ...
Language
English
(24)
Year of Publication
From:
To:
Search Options
Search History
Advanced Search
Find More
Browse the Catalog
Browse Alphabetically
Course Reserves
New Items
Need Help?
Search Tips
Ask a Librarian
FAQs
KMUTT-LM Website