Home Advanced Search

Advanced Search - Page 1

Symbolic Model Checking
  • PDF
  • English
  • Year: 1993
  • Author: Kenneth L. McMillan (auth.)
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
A Mathematical Approach to Proportional Representation: Duncan Black on Lewis Carroll
  • PDF
  • English
  • Year: 1996
  • Author: Iain McLean, Alistair McMillan (auth.), Iain McLean, Alistair McMillan, Burt L. Monroe (eds.)
But he says he loves me: how to avoid being trapped in a manipulative relationship
  • EPUB
  • English
  • Year: 2008;2017
  • Author: McMillan, Dina L
The Theory of Committees and Elections by Duncan Black and Committee Decisions with Complementary Valuation by Duncan Black and R.A. Newing
  • PDF
  • English
  • Year: 1998
  • Author: Iain McLean, Alistair McMillan, Burt L. Monroe (auth.), Iain McLean, Alistair McMillan, Burt L. Monroe (eds.)
Biochemistry of the Elemental Halogens and Inorganic Halides
  • PDF
  • English
  • Year: 1991
  • Author: Kenneth L. Kirk (auth.)
Biochemistry of Halogenated Organic Compounds
  • PDF
  • English
  • Year: 1991
  • Author: Kenneth L. Kirk (auth.)
Pascal für Mikrocomputer
  • PDF
  • German
  • Year: 1982
  • Author: Kenneth L. Bowles (auth.)
Microcomputer: Problem Solving Using Pascal
  • PDF
  • English
  • Year: 1977
  • Author: Kenneth L. Bowles (auth.)
search