Refine your search

  • Availability
  • Authors
  • Item types
  • Topics
  • Year of publication
    and

    No valid dates given. Allowed years between 1900 and .

Your search returned 2 results. Subscribe to this search

|
1.
Mechanizing Mathematical Reasoning [Recurso electrónico] / Essays in Honor of JÃœrg H. Siekmann on the Occasion of His 60th Birthday edited by Dieter Hutter, Werner Stephan. by Hutter, Dieter. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
2.
Security in Pervasive Computing (vol. # 3450) [Recurso electrónico] / Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings edited by Dieter Hutter, Markus Ullmann. by Hutter, Dieter. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Add to cart

Powered by Koha