Home Advanced Search

Advanced Search - Page 1

Reductive logic and proof-search: Proof theory, semantics, and control
  • PDF
  • English
  • Year: 2004
  • Author: David J. Pym, Eike Ritter
The Semantics and Proof Theory of the Logic of Bunched Implications
  • PDF
  • English
  • Year: 2002
  • Author: David J. Pym
The Gypsies of Early Modern Spain, 1425–1783
  • PDF
  • English
  • Year: 2007
  • Author: Richard J. Pym (auth.)
Graphical Models for Security: 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: George Cybenko, David Pym, Barbara Fila
Representation Theory and Number Theory in Connection With the Local Langlands Conjecture: Proceedings of a Conference Held December 8-14, 1985 With
  • DJVU
  • English
  • Year: 1989
  • Author: J. Ritter (ed.)
Economics of information security and privacy
  • PDF
  • English
  • Year: 2010
  • Author: Tyler Moore, David Pym, Christos Ioannidis (auth.), Tyler Moore, David Pym, Christos Ioannidis (eds.)
Erfolgreiche Seminargestaltung: Strategien und Methoden in der Erwachsenenbildung
  • PDF
  • German
  • Year: 2007
  • Author: Eike Quilling, Hans J. Nicolini (auth.)
Erfolgreiche Seminargestaltung: Strategien und Methoden in der Erwachsenenbildung
  • PDF
  • German
  • Year: 2009
  • Author: Eike Quilling, Hans J. Nicolini (auth.)
Applications of Functional Analysis and Operator Theory
  • DJVU
  • English
  • Year: 2005
  • Author: Vivian Hutson, John S. Pym and Michael J. Cloud (Eds.)
Applications of Functional Analysis and Operator Theory
  • DJVU
  • English
  • Year: 2005
  • Author: Vivian Hutson, John S. Pym and Michael J. Cloud (Eds.)
search