Hybrid Systems: Computation and Control

EISBN:9783540464303
PISBN:9783540672593
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2000
作者:Nancy Lynch,Bruce H. Krogh
主题词:Logics and Meanings of Programs,Special Purpose and Application-Based Systems,Computation by Abstract Devices
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Hybrid Systems: Computation and Control

  • 作者:Magnus Egerstedt,Bud Mishra
  • EISBN:9783540789291
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2008

Hybrid Systems: Computation and Control

  • 作者:Oded Maler,Amir Pnueli
  • EISBN:9783540365808
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Hybrid Systems: Computation and Control

  • 作者:Claire J. Tomlin,Mark R. Greenstreet
  • EISBN:9783540458739
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Hybrid Systems: Computation and Control

  • 作者:Freek Wiedijk,Oded Maler,Amir Pnueli
  • EISBN:9783540365808
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2003

Hybrid Systems: Computation and Control

  • 作者:Rupak Majumdar,Paulo Tabuada
  • EISBN:9783642006029
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Hybrid Systems: Computation and Control

  • 作者:Thomas A. Henzinger,Shankar Sastry
  • EISBN:9783540697541
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1998