Búsqueda de LIBROS DEL AUTOR: seatzu carla

2 resultados

seatzu carla Eliminar filtro Quitar filtros
  • FORMAL METHODS IN MANUFACTURING
    ebook
    FORMAL METHODS IN MANUFACTURING
    JAVIER CAMPOS, CARLA SEATZU AND XIAOLAN XIE
    Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (includ...

    $2,320.00

    Ver detalle
  • ANALYSIS AND DESIGN OF HYBRID SYSTEMS 2006: A PROCEEDINGS VOLUME FROM THE 2ND IFAC CONFERENCE, ALGHERO, ITALY, 7-9 JUNE 2006
    ebook
    ANALYSIS AND DESIGN OF HYBRID SYSTEMS 2006: A PROCEEDINGS VOLUME FROM THE 2ND IFAC CONFERENCE, ALGHERO, ITALY, 7-9 JUNE 2006
    CASSANDRAS, CHRISTOS / GIUA, ALESSANDRO / SEATZU, CARLA / ZAYTOON, JANAN
    This volume contains the proceedings of ADHS’06: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, organized in Alghero (Italy) on June 7-9, 2006. ADHS is a series of triennial meetings that aims to bring together researchers and practitioners with a background in control and computer science to provide a survey of the advances in the field of hybrid systems, ...

    $3,179.00

    Ver detalle