Top 161 austin lesea PDF Book Page 7

book image

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings

Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.)
·573 Pages
·2000
·5.43 MB

book image

Services Management in Intelligent Networks: 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4–6, 2000 Proceedings

Prashant Rajvaidya, Kevin C. Almeroth, Kim Claffy (auth.), Anthony Ambler, Seraphin B. Calo, Gautam Kar (eds.)
·270 Pages
·2000
·4.608 MB