Home Advanced Search

Advanced Search - Page 1

Investment Industry Claims Debunked: Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
  • EPUB
  • English
  • Year: 2021
  • Author: Robert P. Kurshan
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
  • PDF
  • English
  • Year: 2014
  • Author: Robert P. Kurshan
Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification
  • PDF
  • English
  • Year: 1993
  • Author: Robert Kurshan (auth.), Robert Kurshan (eds.)
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2–4, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Robert P. Kurshan (auth.), Sven Koenig, Robert C. Holte (eds.)
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.)
Formal Verification in a Commercial Setting
  • PDF
  • English
  • Year: 1997
  • Author: Kurshan R.P.
Handbook of Polynesian Mythology (Handbooks of World Mythology)
  • PDF
  • English
  • Year: 2004
  • Author: p>Robert</p> <p>D.</p> <p>Craig</p>
The Extravagant Universe: Exploding Stars, Dark Energy, and the Accelerating Cosmos
  • PDF
  • English
  • Year: 2016
  • Author: Robert P. Kirshner; Robert P. Kirshner
Life in the White House: A Social History of the First Family and the President's House
  • PDF
  • English
  • Year: 2004
  • Author: Robert P. Watson, Robert P. Watson
search