語系
Hahnle, Reiner.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Machine learning for dynamic software analysis = potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers /
by:
SpringerLink (Online service); Hahnle, Reiner.; Meinke, Karl.; Bennaceur, Amel.
(書目-語言資料,印刷品)
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Beckert, Bernhard.; SpringerLink (Online service); Hahnle, Reiner.
(書目-語言資料,印刷品)
主題
Software Engineering.
Machine learning
Artificial Intelligence (incl. Robotics)
Software Engineering/Programming and Operating Systems.
Computers and Society.
Computer Communication Networks.
System Performance and Evaluation.
Theory of Computation.
Computer Science.
Logics and Meanings of Programs.
Computer software