Home Advanced Search

Advanced Search - Page 1

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.)
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
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.)
Handbook of Hydroxyacetophenones: Preparation and Physical Properties
  • PDF
  • English
  • Year: 2005
  • Author: Robert Martin (auth.), Robert Martin (eds.)
Management von Webprojekten: Führung, Projektplan, Vertrag Mit Beiträgen zu IT, Branding, Webdesign und Recht
  • PDF
  • German
  • Year: 2007
  • Author: Robert Stoyan (auth.), Robert Stoyan (eds.)
The Codification of Medical Morality: Historical and Philosophical Studies of the Formalization of Western Medical Morality in the Eighteenth and Nineteenth Centuries Volume Two: Anglo-American Medical Ethics and Medical Jurisprudence in the Nineteenth Century
  • PDF
  • English
  • Year: 1995
  • Author: Robert Baker (auth.), Robert Baker (eds.)
Divorce in Europe
  • PDF
  • English
  • Year: 1977
  • Author: Robert Chester (auth.), Robert Chester (eds.)
Tax Incentives for Private Investment in Developing Countries
  • PDF
  • English
  • Year: 1979
  • Author: Robert Anthoine (auth.), Robert Anthoine (eds.)
search