Filtrera

Ämne
  • (11)
  • (5)
Format
  • (1)
  • (5)
  • (5)
Leveranstid
  • (5)

Rajeev Alur - Böcker

Visar alla böcker av Rajeev Alur. Handla med fri frakt och snabb leverans!

Sortering:

  1. Principles of Cyber-Physical Systems

    av Rajeev Alur

    Inbunden, Engelska, 2015-04-10
    822
    Köp
    Skickas inom 3-6 vardagar.
    Principles of Cyber-Physical Systems

    A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. A cyber-physical system consists of a collection of computing devices communicating with one anot...

    Läs mer »

  2. Principles of Cyber-Physical Systems

    E-bok

    av Rajeev Alur

    E-bok (DRM), Engelska, 2015-04-24
    1347
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Principles of Cyber-Physical Systems

    A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.A cyber-physical system consists of a collection of computing devices communicating with one anoth...

    Läs mer »

  3. Principles of Cyber-Physical Systems

    E-bok

    av Rajeev Alur

    E-bok (DRM), Engelska, 2015-04-24
    898
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Principles of Cyber-Physical Systems

    A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.A cyber-physical system consists of a collection of computing devices communicating with one anoth...

    Läs mer »

  4. Embedded Software

    av Rajeev Alur

    Häftad, Engelska, 2003-09-01
    717
    Köp
    Skickas inom 7-10 vardagar.
    Embedded Software

    This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003. The 20 revised full papers presented together with three invited papers were car...

    Läs mer »

  5. Hybrid Systems: Computation and Control

    av Rajeev Alur, George Pappas

    Häftad, Engelska, 2004-03-01
    1427
    Köp
    Skickas inom 7-10 vardagar.
    Hybrid Systems: Computation and Control

    This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and indu...

    Läs mer »

  6. Computer Aided Verification

    av Rajeev Alur, Doron A Peled

    Häftad, Engelska, 2004-06-01
    1427
    Köp
    Skickas inom 7-10 vardagar.
    Computer Aided Verification

    ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of compu...

    Läs mer »

  7. Hybrid Systems: Computation and Control

    E-bok

    av Rajeev Alur, George Pappas

    E-bok (DRM), Engelska, 2004-02-24
    1413
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Hybrid Systems: Computation and Control

    This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and indu...

    Läs mer »

  8. Computer Aided Verification

    E-bok

    av Rajeev Alur, Doron A Peled

    E-bok (DRM), Engelska, 2004-07-30
    1413
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Computer Aided Verification

  9. Embedded Software

    E-bok

    av Rajeev Alur

    E-bok (DRM), Engelska, 2003-10-02
    710
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Embedded Software

    This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised full papers presented together with three invited papers were care...

    Läs mer »

  10. Hybrid Systems III

    av Rajeev Alur, Thomas A Henzinger, Eduardo D Sontag

    Häftad, Engelska, 1996-04-01
    1427
    Köp
    Skickas inom 7-10 vardagar.
    Hybrid Systems III

    This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A hybrid system consists of digital devices that int...

    Läs mer »

  11. Computer Aided Verification

    av Rajeev Alur, Thomas Henzinger

    Häftad, Engelska, 1996-07-01
    717
    Köp
    Skickas inom 7-10 vardagar.
    Computer Aided Verification

    This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 re...

    Läs mer »