Mishra, Bud.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
Transactions on Computational Systems Biology VII
by:
Ingolfsdottir, Anna.; Mishra, Bud.; Nielson, Hanne Riis.; SpringerLink (Online service)
(書目-電子資源)
Hybrid Systems: Computation and Control11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings /
by:
(1998 :); Egerstedt, Magnus.; Mishra, Bud.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Molecular biology
Bioinformatics.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Processor Architectures.
Special Purpose and Application-Based Systems.
Proteomics
Computer Science.
Hybrid computers
Simulation and Modeling.
Bioinformatics
Hybrid systems