1.
Mechanizing Mathematical Reasoning Essays in Honor of Jorg H. Siekmann on the Occasion of Hi...
by Hutter, Dieter, Stephan, We...
ISBN: 9783540250517
List Price: $99.95
2.
Security in Pervasive Computing Second International Conference, Spc 2005, Boppard, Germany,...
by Hutter, Dieter, Ullmann, Ma...
ISBN: 9783540255215
List Price: $64.95
3.
Security in Pervasive Computing First International Conference, Boppard, Germany, March 12-1...
by Hutter, Dieter, Müller, Gün...
ISBN: 9783540208877
List Price: $58.00
OUT OF STOCK
See Availability on Amazon4.
Applied Formal Methods--Fm Trends 98 International Workshop on Current Trends in Applied For...
by Hutter, Dieter, Stephan, W....
ISBN: 9783540664628
List Price: $74.95
5.
Applied Formal Methods - FM-Trends 98
by Hutter, Dieter, Stephan, We...
ISBN: 9783662168325
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Security in Pervasive Computing
by Hutter, Dieter, Muller, Gun...
ISBN: 9783662173138
List Price: $24.99
OUT OF STOCK
See Availability on Amazon7.
Mgliche Manahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflche...
by Kilian Bizer, Dieter Ewring...
ISBN: 9783662088173
List Price: $69.99
8.
Ecumenical Ventures in Ethics
by Hutter, Reinhard, Dieter, T...
ISBN: 9780802842619
List Price: $26.00
9.
Rippling Meta-Level Guidance for Mathematical Reasoning
by Bundy, Alan, Basin, David, ...
ISBN: 9780521834490
List Price: $132.00
10.
Long-Term and Dynamical Aspects of Information Security
by Matthias Hollick, Dieter Hu...
ISBN: 9781600219122
List Price: $195.00