語系
Maler, Oded.
概要
作品: | 2 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Computer aided verification21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Maler, Oded.; SpringerLink (Online service)
(書目-電子資源)
Hybrid systems biologysecond International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014 : revised selected papers /
by:
(1998 :); Maler, Oded.; SpringerLink (Online service)
(書目-電子資源)
Hybrid and real-time systemsinternational workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings /
by:
(1998 :); Maler, Oded.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Logic Design.
Computer Science.
Real-time data processing
Hybrid computers
Systems biology
Simulation and Modeling.
Computer Communication Networks.
Computational biology
Computational Biology/Bioinformatics.