Model Generation for Natural Language Interpretation and Analysis (Lecture Notes

Mobile Agents and Security (Lecture Notes in Computer Science), Giovanni Vigna

Singular Perturbations and Asymptotic Analysis in Control Systems (Lecture Notes

Asymptotic Analysis II: Surveys and New Trends (Lecture Notes in Mathematics), F

Polynomial Formal Verification of Arithmetic Circuits (Foundations and Trends(r)

Computer Performance Measurement and Evaluation Methods: Analysis and Applicatio

Architecture of Distributed Computer Systems (Lecture Notes in Computer Science)

Computer Architecture: A Modern Synthesis : Foundations, Subrata Dasgupta