Отображение 1,991 - 2,000 результаты of 2,262 для поиска '"Logic."', время запроса: 0.03сек. Отмена результатов
  1. 1991

    Joining dataflow with predicates. по Fischer, Jeffrey

    Опубликовано в: Software engineering notes.
    Статья

    Joining dataflow with predicates.
  2. 1992

    Quantitative assessment of UML dynamic models. по Baroni, Aline Lúcia

    Опубликовано в: Software engineering notes.
    Статья

    Quantitative assessment of UML dynamic models.
  3. 1993

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. по Dingel, Juergen

    Опубликовано в: Software engineering notes.
    Статья

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  4. 1994

    Efficient incremental algorithms for dynamic detection of likely invariants. по Perkins, Jeff H.

    Опубликовано в: Software engineering notes.
    Статья

    Efficient incremental algorithms for dynamic detection of likely invariants.
  5. 1995

    A micromodularity mechanism. по Jackson, Daniel

    Опубликовано в: Software engineering notes.
    Статья

    A micromodularity mechanism.
  6. 1996

    Interface automata. по De Alfaro, Luca

    Опубликовано в: Software engineering notes.
    Статья

    Interface automata.
  7. 1997

    Modular verification of collaboration-based software designs. по Fisler, Kathi

    Опубликовано в: Software engineering notes.
    Статья

    Modular verification of collaboration-based software designs.
  8. 1998

    Technology as a driver for new business logic. по Rockstrom, A.

    Опубликовано в: IEEE Communications magazine
    Статья

    Technology as a driver for new business logic.
  9. 1999

    Building a semantic Web for securing the homeland. по Guzman, N.J

    Статья

    Building a semantic Web for securing the homeland.
  10. 2000

    A CMOS chip for individual cell manipulation and detection. по Manaresi, N.

    Опубликовано в: IEEE Journal of solid state circuits
    Статья

    A CMOS chip for individual cell manipulation and detection.

Инструменты поиска: