Cărți de Paulo Tabuada

Verification and Control of Hybrid Systems: A Symbolic Approach

Autor Paulo Tabuada

15 iun 2009

Preț: 753^.85 lei 919^.33 lei

6-8 săpt.

-18%

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5469

Editat de Rupak Majumdar et al.

27 mar 2009

Preț: 331^.78 lei 414^.73 lei

6-8 săpt.

-20%

Networked Embedded Sensing and Control: Workshop NESC'05: University of Notre Dame, USA, October 2005 Proceedings

Lecture Notes in Control and Information Sciences, nr. 331

Editat de Panos J. Antsaklis et al.

21 apr 2006

Preț: 1174^.75 lei 1432^.62 lei

6-8 săpt.

-18%