Dieter Hutter – författare
Visar alla böcker från författaren Dieter Hutter. Handla med fri frakt och snabb leverans.
9 produkter
Rippling: Meta-Level Guidance for Mathematical Reasoning
Av Alan Bundy, David Basin m. fl.
Inbunden, 2005
1905 kr
Lägg i varukorg
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal was the induction conclusion and the givens …
Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Av Dieter Hutter, Günter Müller m. fl.
Häftad, 2004
569 kr
Lägg i varukorg
The ongoing compression of computing facilities into small and mobile devices like handhelds, portables or even wearable computers will enhance ubiquitous information processing. The basic paradigm of such pervasive computing is the combination of strongly decentralized and distributed computing …
Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Av Dieter Hutter, Werner Stephan
Häftad, 2005
1128 kr
Lägg i varukorg
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann.The 30 revised reviewed papers are written by former and current students and colleagues of Jörg …
Security in Pervasive Computing
Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
Av Dieter Hutter, Markus Ullmann
Häftad, 2005
569 kr
Lägg i varukorg
This volume contains the papers presented at the 2nd International Conference on Se- rityinPervasiveComputing(SPC2005)heldApril6-8,2005inBoppard,Germany.The objective of this second conference was to develop new security concepts for complex application scenarios based on systems like handhelds, …
Security in Pervasive Computing
Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
Av Markus Ullmann, Dieter Hutter
E-bok, 2005
755 kr
Lägg i varukorg
Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Av Werner Stephan, Dieter Hutter
E-bok, 2011
1427 kr
Lägg i varukorg
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of …
Security in Pervasive Computing
First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Av Markus Ullmann, Werner Stephan m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Av Markus Ullmann, Paolo Traverso m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in …
Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Av Dieter Hutter, Werner Stephan m. fl.
Häftad, 1999
569 kr
Lägg i varukorg
This volume contains the contributions presented at the International Workshop on Current Trends in Applied Formal Methods organized October 7-9, 1998, in Boppard, Germany. The main objective of the workshop was to draw a map of the key issues facing the practical application of formal methods in …
