APPLICATIONS OF ZERO-SUPPRESSED DECISION DIAGRAMS (PB)

ASYNCHRONOUS SEQUENTIAL MACHINE DESIGN AND ANALYSIS

CLASSIFICATION FUNCTIONS FOR MACHINE LEARNING AND DATA MINING (HB)

INDEX GENERATION FUNCTIONS

INDEX GENERATION FUNCTIONS (HB)

LOGIC SYNTHESIS AND OPTIMIZATION (HB)

LOGIC SYNTHESIS AND OPTIMIZATION (PB)

LOGIC SYNTHESIS AND VERIFICATION (HB)

LOGIC SYNTHESIS AND VERIFICATION (PB)

MEMORY-BASED LOGIC SYNTHESIS (HB)

MEMORY-BASED LOGIC SYNTHESIS (PB)

MULTIPLE VALUED LOGIC IN VERY LARGE SCALE INTEGRATION DESIGN (PB)

PROGRESS IN APPLICATIONS OF BOOLEAN FUNCTIONS

PROGRESS IN APPLICATIONS OF BOOLEAN FUNCTIONS (PB)

RELATIVISTIC FLIGHT MECHANICS AND SPACE TRAVEL

RELATIVISTIC FLIGHT MECHANICS AND SPACE TRAVEL

REPRESENTATIONS OF DISCRETE FUNCTIONS (HB)

REPRESENTATIONS OF DISCRETE FUNCTIONS (PB)

SWITCHING THEORY FOR LOGIC SYNTHESIS (HB)

SWITCHING THEORY FOR LOGIC SYNTHESIS (PB)

TENSOR PROPERTIES OF SOLIDS (PB)

TENSOR PROPERTIES OF SOLIDS, PART TWO