2 books • 3 series
Contracts for System Design (Foundations and Trends in Electronic Design Automation)
Adaptive Algorithms and Stochastic Approximations (Stochastic Modelling and Applied Probability, #22) (Lecture Notes in Artificial Intelligence, #22)