Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Theo C. Ruys (auth.), Thomas Ball, Sriram K. Rajamani (eds.)
Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani (auth.), Eerke A. Boiten, John Derrick, Graeme Smith (eds.)
CONCUR 2004 - Concurrency Theory: 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie (auth.), Philippa Gardner, Nobuko Yoshida (eds.)
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)
On Model Uncertainty and its Statistical Implications: Proceedings of a Workshop, Held in Groningen, The Netherlands, September 25–26, 1986
  • PDF
  • English
  • Year: 1988
  • Author: D. A. Freedman, W. Navidi, S. C. Peters (auth.), Dr. Theo K. Dijkstra (eds.)
Misspecification Analysis: Proceedings of a Workshop held in Groningen, The Netherlands December 15–16, 1983
  • PDF
  • English
  • Year: 1984
  • Author: Halbert White (auth.), Dr. Theo K. Dijkstra (eds.)
River of Dreams: Imagining the Mississippi before Mark Twain
  • PDF
  • English
  • Year: 2007
  • Author: Thomas Ruys Smith
Relation Between Morphology and Process Performances
  • PDF
  • English
  • Year: 1998
  • Author: Gopal C. Paul, Colin R. Thomas (auth.), K. Schügerl (eds.)
Econometric Modelling in Theory and Practice: Proceedings of a Franco-Dutch Conference held at Tilburg University, April 1979
  • PDF
  • English
  • Year: 1982
  • Author: P. H. M. Ruys (auth.), Joseph Plasmans (eds.)
High Performance Computing — HiPC 2001: 8th International Conference Hyderabad, India, December 17–20, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: D. K. Koukopoulos, S. E. Nikoletseas, Paul G. Spirakis (auth.), Burkhard Monien, Viktor K. Prasanna, Sriram Vajapeyam (eds.)
search