Suchergebnisse - McMillan, Kenneth

  • Treffer 1 – 10 von 10
Treffer filtern
  1. 1
    Buchumschlag

    Symbolic model checking
    von McMillan, Kenneth L.

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Symbolic model checking: an approach to the state explosion problem
    von McMillan, Kenneth L.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Logic for programming, artificial intelligence, and reasoning: 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings
    von McMillan, Kenneth L.

    Veröffentlicht 2013
    Online lesen
    Inhaltsverzeichnis
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Logic for programming, artificial intelligence, and reasoning: 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings
    von McMillan, Kenneth L.

    Veröffentlicht 2013
    Inhaltsverzeichnis
    Tagungsbericht Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Symbolic model checking: an approach to the state explosion problem
    von McMillan, Kenneth L.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Symbolic Model Checking
    von McMillan, Kenneth L.

    Veröffentlicht 1993
    Per Fernleihe bestellen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Symbolic model checking
    von McMillan, Kenneth L.

    Veröffentlicht 2003
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Symbolic model checking
    von McMillan, Kenneth L.

    Veröffentlicht 1998
    Per Fernleihe bestellen
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Amadeus
    von Mozart, Wolfgang Amadeus 1756-1791

    Veröffentlicht 2002
    Weitere beteiligte Personen: “… McMillan, Kenneth …”
    Per Fernleihe bestellen
    Video Software


    Gespeichert in:
  10. 10
    Buchumschlag

    True confessions
    von Dunne, John Gregory 1932-2003

    Veröffentlicht 2004
    Weitere beteiligte Personen: “… McMillan, Kenneth 1932-1989 …”
    Per Fernleihe bestellen
    Video Software


    Gespeichert in:

Suchwerkzeuge: