AUTOMATING DESIGN OF COMPUTER SYSTEMS: .

An Artificial Intelligence Approach to Test Generation (The Springer International Series in Engineering and Computer Science, 19)

Multi-Level Simulation for VLSI Design (The Springer International Series in Engineering and Computer Science, 18)

The Bounding Approach to VLSI Circuit Simulation (The Springer International Series in Engineering and Computer Science, 17)

An Artificial Intelligence Approach to VLSI Design

Destiny and Control in Human Systems: Studies in the Interactive Connectedness of Time (Chronotopology) (Frontiers in System Research, 5)

Soviet Foreign Trade: The Decision Process (Dimensions of International Business)

Political Economy: Recent Views (Recent Economic Thought, 2)

Political Equilibrium: A Delicate Balance (Studies in Public Choice, 4)