Showing 3,711 - 3,720 results of 4,124 for search '"Mechanics."', query time: 0.03s Refine Results
  1. 3711

    Software verification and validation with destiny a parallel approach to automated theorem proving. by Dykstra, Josiah

    Article

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  2. 3712

    TRACE tracking and pose recognition of adults in health care environments by Carampel, Alethea C.

    Thesis

    TRACE tracking and pose recognition of adults in health care environments
  3. 3713

    MonDe safe updating through monitored deployment of new component versions. by Cook, Jonathan

    Article

    MonDe safe updating through monitored deployment of new component versions.
  4. 3714

    Making distributed systems secure with program analysis and transformation. by Myers, Andrew

    Article

    Making distributed systems secure with program analysis and transformation.
  5. 3715

    Relational analysis of algebraic datatypes. by Kuncak, Viktor

    Article

    Relational analysis of algebraic datatypes.
  6. 3716

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  7. 3717

    Error resilient video transmission over ATM networks. by Cuenca, P.

    Article

    Error resilient video transmission over ATM networks.
  8. 3718

    Design issues of optical IP routers for Internet backbone applications. by Callegati, F.

    Article

    Design issues of optical IP routers for Internet backbone applications.
  9. 3719

    MEMS optical switches. by Yeow, Tze-Wei

    Article

    MEMS optical switches.
  10. 3720

    On an IP-centric optical control plane. by Xin, Chunsheng

    Article

    On an IP-centric optical control plane.

Search Tools: