Хайлтын үр дүнгүүд

  • 121 - 12 үр дүнгүүдийг харуулж байна
Үр дүнг сайжруулах
  1. 1

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS Yoeli, Michael, 1917-

    Хэвлэсэн 2008
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  2. 2

    Petri nets fundamental models, verification and applications /

    Хэвлэсэн 2009
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  3. 3

    Biological petri nets

    Хэвлэсэн 2011
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  4. 4

    Property-preserving petri net process algebra in software engineering Huang, Hejiao

    Хэвлэсэн 2012
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  5. 5

    Logic, computation, hierarchies /

    Хэвлэсэн 2014
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  6. 6

    Systems dependability assessment : benefits of petri net models / Aubry, Jean-François, Brînzei, Nicolae, Mazouni, Mohammed-Habib

    Хэвлэсэн 2015
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  7. 7

    Petri nets fundamental models, verification and applications /

    Хэвлэсэн 2009
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  8. 8

    Biological petri nets

    Хэвлэсэн 2011
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  9. 9

    Property-preserving petri net process algebra in software engineering Huang, Hejiao

    Хэвлэсэн 2012
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  10. 10

    Logic, computation, hierarchies /

    Хэвлэсэн 2014
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  11. 11

    Systems dependability assessment : benefits of petri net models / Aubry, Jean-François, Brînzei, Nicolae, Mazouni, Mohammed-Habib

    Хэвлэсэн 2015
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном
  12. 12

    Verification of systems and circuits using LOTOS, Petri Nets, and CCS Yoeli, Michael, 1917-

    Хэвлэсэн 2008
    An electronic book accessible through the World Wide Web; click to view
    Цахим Цахим ном