paulo tabuada

Grid   List

  1. Verification and Control of Hybrid Systems
    Verification and Control of Hybrid Systems
    Paulo Tabuada
    Springer New York
    Ebook
    Sofort lieferbar
    Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential...
    128,39 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Rupak Majumdar
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Verification and Control of Hybrid Systems
    Verification and Control of Hybrid Systems
    Paulo Tabuada
    Springer US, Springer US
    Taschenbuch
    Bezug 11-15
    Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equation...
    160,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Networked Embedded Sensing and Control
    Networked Embedded Sensing and Control
    Paulo Tabuada
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Recent technological developments in sensing, communications, control and computation have created an emerging class of complex systems hereon called networked embedded systems. These systems ca...
    213,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Paulo Tabuada
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revi...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>