Covers
Hutter, Dieter.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Applied formal methods - FM-Trends 98International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /
by:
(1998 :); Hutter, Dieter.; SpringerLink (Online service)
(Electronic resources)
Security in pervasive computingFirst International Conference, Boppard, Germany, March 12-14, 2003 : revised papers /
by:
(1998 :); Hutter, Dieter.; SpringerLink (Online service)
(Electronic resources)
Mechanizing Mathematical ReasoningEssays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
Hutter, Dieter.; SpringerLink (Online service); Stephan, Werner.
(Electronic resources)
Security in Pervasive ComputingSecond International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings /
by:
(1998 :); Hutter, Dieter.; SpringerLink (Online service); Ullmann, Markus.
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Software Engineering.
Mathematical Logic and Formal Languages.
Logic, Symbolic and mathematical.
Artificial Intelligence (incl. Robotics)
Management of Computing and Information Systems.
Operating Systems.
User Interfaces and Human Computer Interaction.
Ubiquitous computing
Formal methods (Computer science)
Automatic theorem proving.
Computer security
Reasoning
Computer Science.
Computer Communication Networks.
Computers and Society.