Home Advanced Search

Advanced Search - Page 1

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
  • PDF
  • English
  • Year: 2020
  • Author: Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
QSAR and Molecular Modeling Studies in Heterocyclic Drugs II
  • PDF
  • English
  • Year: 2006
  • Author: Dimitra Hadjipavlou-Litina (auth.), Satya Prakash Gupta (eds.)
Celtic Myth in Contemporary Children’s Fantasy: Idealization, Identity, Ideology
  • PDF
  • English
  • Year: 2017
  • Author: Dimitra Fimi (auth.)
Gesture and Sign Language in Human-Computer Interaction and Embodied Communication: 9th International Gesture Workshop, GW 2011, Athens, Greece, May 25-27, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Dimitra Anastasiou (auth.), Eleni Efthimiou, Georgios Kouroupetroglou, Stavroula-Evita Fotinea (eds.)
¿Cuál es el mensaje del Libro de Mormón?. Una guía cristiana y breve al libro sagrado de los mormones
  • EPUB
  • Spanish
  • Year: 2010
  • Author: Ross Anderson
The forgotten front : the East African campaign 1914-1918
  • EPUB
  • English
  • Year: 2014
  • Author: Anderson, Ross
A Guide to Building Dependable Distributed Systems
  • EPUB
  • English
  • Year: 2020
  • Author: Anderson, Ross
Security Engineering: A Guide to Building Dependable Distributed Systems
  • PDF
  • English
  • Year: 2020
  • Author: Ross Anderson
search