Central Library Search for 'au:"Henzinger, Thomas A."'

Computational Methods in Systems Biology

. XX, 284 p. 58 illus. 9783642407086

Place Hold on Computational Methods in Systems Biology

Mathematical and Engineering Methods in Computer Science

. XII, 213 p. 32 illus. 9783642360466

Place Hold on Mathematical and Engineering Methods in Computer Science

Formal Modeling and Analysis of Timed Systems

. X, 257 p. 55 illus. 9783642152979

Place Hold on Formal Modeling and Analysis of Timed Systems

Computational Methods in Systems Biology

. XX, 284 p. 58 illus. 9783642407086

Place Hold on Computational Methods in Systems Biology

Computer Science Logic

. XIV, 600 p. 9783540749158

Place Hold on Computer Science Logic

Mathematical and Engineering Methods in Computer Science

. XII, 213 p. 32 illus. 9783642360466

Place Hold on Mathematical and Engineering Methods in Computer Science