Bokus

Werner Stephan – författare

Visar alla böcker från författaren Werner Stephan. Handla med fri frakt och snabb leverans.

6 produkter

  1. Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann - Security in Pervasive Computing, Häftad. Tillgänglighet: Lägg i varukorg

    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 …

  2. Dieter Hutter, Werner Stephan - Mechanizing Mathematical Reasoning, Häftad. Tillgänglighet: Lägg i varukorg

    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 …

  3. Werner Stephan, Dieter Hutter - Mechanizing Mathematical Reasoning, E-bok. Tillgänglighet: 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 …

  4. Markus Ullmann, Werner Stephan, Gunter Muller, Dieter Hutter - Security in Pervasive Computing, E-bok. Tillgänglighet: Lägg i varukorg

    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

  5. Markus Ullmann, Paolo Traverso, Werner Stephan, Dieter Hutter - Applied Formal Methods - FM-Trends 98, E-bok. Tillgänglighet: 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 …

  6. Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann - Applied Formal Methods - FM-Trends 98, Häftad. Tillgänglighet: 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 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 …