Home Advanced Search

Advanced Search - Page 1

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
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.)
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.)
The Gift of the Greek 75 Authentic Recipes for the Mediterranean Diet
  • EPUB
  • English
  • Year: 2018
  • Author: Giannakopoulou, Yiota
The Ultimate Healthy Greek Cookbook: 75 Authentic Recipes for a Mediterranean Diet
  • EPUB
  • English
  • Year: 2019
  • Author: Yiota Giannakopoulou
Operations Research
  • PDF
  • English
  • Year: 2014
  • Author: Jha
Programación Orientada-a-Objetos en C++.doc
  • PDF
  • Spanish
  • Year: 2002
  • Author: Ritchie
Idiom Treatment Experiments in Machine Translation
  • PDF
  • English
  • Year: 2010
  • Author: Dimitra Anastasiou
Young People's Play, Wellbeing and Learning: Psycho-Social and Virtual Geographies in Digital Play
  • PDF
  • English
  • Year: 2020
  • Author: Dimitra Hartas
Young People's Play, Wellbeing and Learning: Psycho-Social and Virtual Geographies in Digital Play
  • PDF
  • English
  • Year: 2020
  • Author: Dimitra Hartas
search