Hutter, Dieter.
概要
作品: | 0 作品在 0 項出版品 0 種語言 |
---|
書目資訊
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)
(書目-電子資源)
Security in pervasive computingFirst International Conference, Boppard, Germany, March 12-14, 2003 : revised papers /
by:
(1998 :); Hutter, Dieter.; SpringerLink (Online service)
(書目-電子資源)
Mechanizing Mathematical ReasoningEssays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
Hutter, Dieter.; SpringerLink (Online service); Stephan, Werner.
(書目-電子資源)
Security in Pervasive ComputingSecond International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings /
by:
(1998 :); Hutter, Dieter.; SpringerLink (Online service); Ullmann, Markus.
(書目-電子資源)
主題
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.