Home Advanced Search

Advanced Search - Page 1

Verification of Digital and Hybrid Systems
  • PDF
  • English
  • Year: 2000
  • Author: Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)
Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)
The Extravagant Universe: Exploding Stars, Dark Energy, and the Accelerating Cosmos
  • PDF
  • English
  • Year: 2016
  • Author: Robert P. Kirshner; Robert P. Kirshner
Statistics as Principled Argument
  • PDF
  • English
  • Year: 1995
  • Author: Robert P. Abelson
NFC For Dummies
  • PDF
  • English
  • Year: 2016
  • Author: Robert P. Sabella