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.
Management of Computing and Information Systems.
Artificial Intelligence (incl. Robotics)
Computer security
Computers and Society.
Operating Systems.
Logic, Symbolic and mathematical.
Computer Communication Networks.
User Interfaces and Human Computer Interaction.
Ubiquitous computing
Reasoning
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Automatic theorem proving.