Home Books

Books : Page 42379

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.)
Self-Healing Phenomena in Cement-Based Materials: State-of-the-Art Report of RILEM Technical Committee 221-SHC: Self-Healing Phenomena in Cement-Based Materials
  • PDF
  • English
  • Year: 2013
  • Author: M. R. de Rooij, E. Schlangen, C. Joseph (auth.), Mario de Rooij, Kim Van Tittelboom, Nele De Belie, Erik Schlangen (eds.)
Broadband Network Traffic: Performance Evaluation and Design of Broadband Multiservice Networks
  • PDF
  • English
  • Year: 1996
  • Author: James Roberts, Ugo Mocci, Jorma Virtamo (eds.)