Listing 1 - 4 of 4 |
Sort by
|
Choose an application
Production management --- Systems engineering --- Total quality management --- Quality management, Total --- TQM (Total quality management) --- Total quality control --- Engineering systems --- System engineering --- System analysis --- Manufacturing management --- Design and construction --- Computer. Automation --- Management --- Engineering --- Industrial engineering --- Industrial management
Choose an application
Rapid prototyping --- Systems engineering --- Computer simulation --- Computer simulation. --- Rapid prototyping. --- Systems engineering. --- Engineering systems --- System engineering --- Desktop automated manufacturing --- Freeform fabrication --- Freeform manufacturing --- Prototyping, Rapid --- RP (Rapid prototyping) --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Design and construction --- Engineering --- Industrial engineering --- System analysis --- Prototypes, Engineering --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Laser sintering --- Design --- Additive manufacturing
Choose an application
Automatic control --- Systems engineering --- Commande automatique --- Ingénierie des systèmes --- Regeltechnieken --- 681.51 --- 519.71 --- #TELE:SISTA --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Automation --- Programmable controllers --- Automatic control systems in general. Technical cybernetic features --- Control systems theory: mathematical aspects --- Design and construction --- Automatic control. --- Systems engineering. --- 519.71 Control systems theory: mathematical aspects --- 681.51 Automatic control systems in general. Technical cybernetic features --- Ingénierie des systèmes
Choose an application
This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included.
Digital integrated circuits --- Automatic theorem proving --- Computer-aided design --- Design and construction --- Data processing --- Congresses --- Information theory. --- Systems engineering. --- Computer science. --- Artificial intelligence. --- Microprogramming. --- Electronics. --- Theory of Computation. --- Circuits and Systems. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Control Structures and Microprogramming. --- Electronics and Microelectronics, Instrumentation. --- Electrical engineering --- Physical sciences --- Computer programming --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Engineering systems --- System engineering --- Engineering --- Industrial engineering --- System analysis --- Communication theory --- Communication --- Cybernetics --- Digital integrated circuits - Computer-aided design - Congresses. --- Automatic theorem proving - Congresses.
Listing 1 - 4 of 4 |
Sort by
|