ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING (HB)

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING (PB)

CHINESE CURRENCY EXCHANGE RATES ANALYSIS

COMBINED MEASURE AND SHIFT INVARIANCE THEORY OF TIME SCALES AND APPLICATIONS

COMBINED MEASURE AND SHIFT INVARIANCE THEORY OF TIME SCALES AND APPLICATIONS (HB)

COMPUTATIONAL ADVERTISING

COMPUTATIONAL ADVERTISING (HB)

DOMAIN-SPECIFIC COMPUTER ARCHITECTURES FOR EMERGING APPLICATIONS (HB)

DYNAMIC EQUATIONS AND ALMOST PERIODIC FUZZY FUNCTIONS ON TIME SCALES (HB)

DYNAMIC MECHANICAL BEHAVIORS AND CONSTITUTIVE MODEL OF ROLLER COMPACTED CONCRETE

DYNAMIC MECHANICAL BEHAVIORS AND CONSTITUTIVE MODEL OF ROLLER COMPACTED CONCRETE (HB)

FROM INTERNET OF THINGS TO SMART CITIES

FROM INTERNET OF THINGS TO SMART CITIES (HB)

HIGH PERFORMANCE COMPUTING FOR BIG DATA

HIGH PERFORMANCE COMPUTING FOR BIG DATA (HB)

NETWORK AND PARALLEL COMPUTING (PB)

RECONFIGURABLE AND ADAPTIVE COMPUTING

RECONFIGURABLE AND ADAPTIVE COMPUTING (HB)

RECONFIGURABLE AND ADAPTIVE COMPUTING (PB)

SIGN LANGUAGE AND THE MORAL GOVERNMENT OF DEAFNESS IN ANTEBELLUM AMERICA

STATISTICAL INFERENCE FOR SOME DISCRETE-VALUED TIME SERIES

STATISTICAL INFERENCE FOR SOME DISCRETE-VALUED TIME SERIES (HB)

THEORY OF TRANSLATION CLOSEDNESS FOR TIME SCALES

THEORY OF TRANSLATION CLOSEDNESS FOR TIME SCALES (HB)

THIS IS NOT AVAILABLE 002851

THIS IS NOT AVAILABLE 027296

THIS IS NOT AVAILABLE 043581

THIS IS NOT AVAILABLE 049132