Bokus

Insup Lee – författare

Visar alla böcker från författaren Insup Lee. Handla med fri frakt och snabb leverans.

5 produkter

  1. Insup Lee, Joseph Y-T. Leung, Sang H. Son - Handbook of Real-Time and Embedded Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Handbook of Real-Time and Embedded Systems

    Av Insup Lee, Joseph Y-T. Leung m. fl.

    E-bok, 2007

    4280 kr

    Lägg i varukorg

    Real-time and embedded systems are essential to our lives, from controlling car engines and regulating traffic lights to monitoring plane takeoffs and landings to providing up-to-the-minute stock quotes. Bringing together researchers from both academia and industry, the Handbook of Real-Time and …

  2. Insup Lee, Joseph Y-T. Leung, Sang H. Son - Handbook of Real-Time and Embedded Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Handbook of Real-Time and Embedded Systems

    Av Insup Lee, Joseph Y-T. Leung m. fl.

    E-bok, 2007

    4187 kr

    Lägg i varukorg

    Real-time and embedded systems are essential to our lives, from controlling car engines and regulating traffic lights to monitoring plane takeoffs and landings to providing up-to-the-minute stock quotes. Bringing together researchers from both academia and industry, the Handbook of Real-Time and …

  3. Insup Lee, Joseph Y-T. Leung, Sang H. Son - Handbook of Real-Time and Embedded Systems, Inbunden. Tillgänglighet: Lägg i varukorg

    Handbook of Real-Time and Embedded Systems

    Av Insup Lee, Joseph Y-T. Leung m. fl.

    Inbunden, 2007

    3927 kr

    Lägg i varukorg

    Real-time and embedded systems are essential to our lives, from controlling car engines and regulating traffic lights to monitoring plane takeoffs and landings to providing up-to-the-minute stock quotes. Bringing together researchers from both academia and industry, the Handbook of Real-Time and …

  4. Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann - Runtime Verification, Häftad. Tillgänglighet: Lägg i varukorg

    Runtime Verification

    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Av Howard Barringer, Ylies Falcone m. fl.

    Häftad, 2010

    569 kr

    Lägg i varukorg

    This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program included a mix of invited talks and peer reviewed p- sentations, tutorials, and tool demonstrations. The 2010 Runtime …

  5. Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer - Runtime Verification, E-bok. Tillgänglighet: Lägg i varukorg

    Runtime Verification

    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

    Av Nikolai Tillmann, Oleg Sokolsky m. fl.

    E-bok, 2010

    755 kr

    Lägg i varukorg