Torthaí cuardaigh

  • 1 - 6 toradh as 6 á dtaispeáint
Beachtaigh na torthaí
  1. 1

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS de réir Yoeli, Michael, 1917-

    Foilsithe / Cruthaithe 2008
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  2. 2

    Petri nets fundamental models, verification and applications /

    Foilsithe / Cruthaithe 2009
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  3. 3

    Biological petri nets

    Foilsithe / Cruthaithe 2011
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  4. 4

    Property-preserving petri net process algebra in software engineering de réir Huang, Hejiao

    Foilsithe / Cruthaithe 2012
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  5. 5

    Logic, computation, hierarchies /

    Foilsithe / Cruthaithe 2014
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar
  6. 6