Jump to main content

yr 〜
yr

Search results 10

Hybrid systems : computation and control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 : proceedings

Hybrid systems : computation and control : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008 : proceedings
Paper図書
Magnus Egerstedt, Bud Mishra, edsSpringerc2008
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Egerstedt, Magnus Mishra, Bud

Hybrid systems : computation and control : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : proceedings

Hybrid systems : computation and control : 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : proceedings
Paper図書
João Hespanha, Ashish Tiwari (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Hespanha, João Tiwari, Ashish

Hybrid systems : computation and control : 10th International Conference, HSCC 2007, Pisa, Italy, April 3-5, 2007 : proceedings

Hybrid systems : computation and control : 10th International Conference, HSCC 2007, Pisa, Italy, April 3-5, 2007 : proceedings
Paper図書
Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Bemporad, Alberto Bicchi, Ant...

Hybrid systems : computation and control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings

Hybrid systems : computation and control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings
Paper図書
Manfred Morari, Lothar Thiele (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Morari, Manfred Thiele, Lotha...

Hybrid systems : computation and control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings

Hybrid systems : computation and control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
Paper図書
Rajeev Alur, George J. Pappas (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Alur, Rajeev Pappas, George J...

Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings

Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
Paper図書
Oded Maler, Amir Pnueli (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Maler, Oded Pnueli, A. (Amir)

Hybrid Systems : Computation and Control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002 : proceedings

Hybrid Systems : Computation and Control : 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002 : proceedings
Paper図書
Claire J. Tomlin, Mark R. Greenstreet (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Tomlin, Claire J. Greenstreet...

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings
Paper図書
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Di Benedetto, Maria Domenica ...

Hybrid systems : computation and control : third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings

Hybrid systems : computation and control : third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000 : proceedings
Paper図書
Nancy Lynch, Bruce H. Krogh (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Lynch, Nancy A. (Nancy Ann) K...

Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings

Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings
Paper図書
Thomas A. Henzinger, Shankar Sastry (eds.)Springer-Verlagc1998
Other Libraries in Japan
  • Author HeadingInternational Workshop on Hybrid Systems : Computation and Control Henzinger, T. A. (Thomas A.) ...

Reached to the end of result.

RSS