Hutter, Dieter.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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 :)
(Language materials, printed)
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)
(Language materials, printed)
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 :)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.