Languages
Tiwari, Ashish.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Automated reasoning8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(1998 :); Olivetti, Nicola.; SpringerLink (Online service); Tiwari, Ashish.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.