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.
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.