This book presents novel symbolic control and data flow techniques as well as symbolic techniques and algorithms for program analysis and program optimization.

Symbolic data analysis is a relatively new field that provides a range of methods for analyzing complex datasets. Standard statistical methods do not have the p

Electrical Engineering Symbolic Analysis Techniques Applications to Analog Design Automation Symbolic Analysis Techniques is a collection of original contributi

It is a great honor to provide a few words of introduction for Dr. Georges Gielen's and Prof. Willy Sansen's book "Symbolic analysis for automated design of ana

This book provides comprehensive coverage of the recent advances in symbolic analysis techniques for design automation of nanometer VLSI systems. The presentati