語系
Tiwari, Ashish.
概要
作品: | 2 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Automated reasoning8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(1998 :); Olivetti, Nicola.; SpringerLink (Online service); Tiwari, Ashish.
(書目-電子資源)
Hybrid Systems: Computation and Control (vol. # 3927)9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings /
by:
(1998 :); Hespanha, Joao.; SpringerLink (Online service); Tiwari, Ashish.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Computation by Abstract Devices.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Digital control systems
Processor Architectures.
Special Purpose and Application-Based Systems.
Computer logic
Programming Languages, Compilers, Interpreters.
Hybrid computers
Computer Science.
Simulation and Modeling.