Näytetään 22 821 - 22 830 yhteensä 25 967 tuloksesta haulle '"computing."', hakuaika: 0,05s Tarkenna hakua
  1. 22821

    Modular verification of collaboration-based software designs. Tekijä Fisler, Kathi

    Artikkeli

    Modular verification of collaboration-based software designs.
  2. 22822

    Combining UML and formal notations for modelling real-time systems. Tekijä Lavazza, Luigi

    Artikkeli

    Combining UML and formal notations for modelling real-time systems.
  3. 22823

    Engineering component-based net-centric systems for embedded applications. Tekijä Jahnke, Jens H.

    Artikkeli

    Engineering component-based net-centric systems for embedded applications.
  4. 22824

    Behavioral contracts and behavioral subtyping. Tekijä Findler, Robert Bruce

    Artikkeli

    Behavioral contracts and behavioral subtyping.
  5. 22825

    Analysis of the constraint solver in UNA based test data generation. Tekijä Edvardsson, Jon

    Artikkeli

    Analysis of the constraint solver in UNA based test data generation.
  6. 22826

    An empirical study on the utility of formal routines to transfer knowledge and experience. Tekijä Conradi, Reidar

    Artikkeli

    An empirical study on the utility of formal routines to transfer knowledge and experience.
  7. 22827

    An industrial case study of implementing software risk management. Tekijä Freimut, Bernd

    Artikkeli

    An industrial case study of implementing software risk management.
  8. 22828

    An empirical methodology for introducing software processes. Tekijä Shull, Forrest

    Artikkeli

    An empirical methodology for introducing software processes.
  9. 22829

    Embedded Modem Fundamentals and Glossary Part I.

    Artikkeli

    Embedded Modem Fundamentals and Glossary Part I.
  10. 22830

    Error resilient video transmission over ATM networks. Tekijä Cuenca, P.

    Artikkeli

    Error resilient video transmission over ATM networks.

Työkalut: