Home Advanced Search

Advanced Search - Page 1

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.)

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.)

Principle-Based Parsing: Computation and Psycholinguistics

PDF
English
Year: 1992
Author: Robert C. Berwick (auth.), Robert C. Berwick, Steven P. Abney, Carol Tenny (eds.)

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

DJVU
English
Year: 1988
Author: C. P. Schnorr (auth.), Robert Cori, Martin Wirsing (eds.)

The Renal Papilla and Hypertension

PDF
English
Year: 1980
Author: Anil K. Mandal, Robert C. Muehrcke (auth.), Anil K. Mandal M.D., F.A.C.P., Sven-Olof Bohman M.D. (eds.)

Data Mining: Special Issue in Annals of Information Systems

PDF
English
Year: 2010
Author: Robert Stahlbock, Stefan Lessmann, Sven F. Crone (auth.), Robert Stahlbock, Sven F. Crone, Stefan Lessmann (eds.)