語系
Hahnle, Reiner.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Machine learning for dynamic software analysis = potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016 : revised papers /
by:
Hahnle, Reiner.; SpringerLink (Online service); Bennaceur, Amel.; Meinke, Karl.
(書目-電子資源)
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
Beckert, Bernhard.; Hahnle, Reiner.; SpringerLink (Online service); TAP 2008 ((2008 :)
(書目-語言資料,印刷品)
Leveraging applications of formal methods, verification, and validation = international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers /
by:
Hahnle, Reiner.; SpringerLink (Online service)
(書目-電子資源)
Fundamental approaches to software engineering = 22nd International Conference, FASE 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings /
by:
Hahnle, Reiner.; Aalst, Wil van der.; SpringerLink (Online service); ETAPS (Conference) (2019 :); FASE (Conference) (2019 :)
(書目-電子資源)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
Giesl, Jurgen.; Hahnle, Reiner.; SpringerLink (Online service); IJCAR 2010 ((2010 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Software engineering
Logics and Meanings of Programs.
Mathematics of Computing.
Pattern Recognition.
Software Engineering/Programming and Operating Systems.
Computer software- Quality control
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Logic Design.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Computer logic- Congresses.
Data Mining and Knowledge Discovery.
Machine learning
The Computing Profession.
Computer software- Reliability
Computer Science.
Computer Communication Networks.
Computers and Society.
System Performance and Evaluation.
Discrete Mathematics in Computer Science.
Simulation and Modeling.
Intelligent agents (Computer software)