Hutter, Dieter.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Security in pervasive computing = First International Conference, Boppard, Germany, March 12-14, 2003 : revised papers /
by:
SpringerLink (Online service); Hutter, Dieter.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
Stephan, Werner.; Hutter, Dieter.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Security in Pervasive Computing = Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings /
by:
SpringerLink (Online service); Hutter, Dieter.; Ullmann, Markus.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
Stephan, Werner.; SpringerLink (Online service); Hutter, Dieter.
(書目-語言資料,印刷品)
主題
Software Engineering.
Operating Systems.
Computer Communication Networks.
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Computer security
Computers and Society.
Logic, Symbolic and mathematical.
User Interfaces and Human Computer Interaction.
Ubiquitous computing
Reasoning
Automatic theorem proving.