Home Advanced Search

Advanced Search - Page 1

Security and Privacy in Ad-hoc and Sensor Networks: 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Rene Mayrhofer (auth.), Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore (eds.)
Security and Privacy in Ad-hoc and Sensor Networks: 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Rene Mayrhofer (auth.), Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore (eds.)
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: David Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt (auth.), Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel (eds.)
A Compendium of Neuropsychological Tests: Administration, Norms, and Commentary
  • PDF
  • English
  • Year: 2006
  • Author: Esther Strauss, Elisabeth M. S. Sherman, Otfried Spreen
A Compendium of Neuropsychological Tests: Administration, Norms, and Commentary
  • PDF
  • English
  • Year: 2006
  • Author: Esther Strauss, Elisabeth M. S. Sherman, Otfried Spreen