語系
Kroening, Daniel.
概要
| 作品: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Decision proceduresan algorithmic point of view /
by:
Kroening, Daniel.; SpringerLink (Online service); Strichman, Ofer.
(書目-電子資源)
Decision ProceduresAn Algorithmic Point of View /
by:
Kroening, Daniel.; SpringerLink (Online service); Strichman, Ofer.
(書目-電子資源)
Verified softwaretheories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : revised selected papers /
by:
(1998 :); Giannakopoulou, Dimitra.; Kroening, Daniel.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
by:
(1998 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
by:
(1998 :); Kroening, Daniel.; Pasareanu, Corina S.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Computational complexity.
Logics and Meanings of Programs.
Compilers (Computer programs)
Software Engineering/Programming and Operating Systems.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Computer software
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Decision making
Algorithms.
Optimization.
Computer Science.
Computer Systems Organization and Communication Networks.
Turing machines.