Home Advanced Search

Advanced Search - Page 1

Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Marco Bozzano, Yiannis Papadopoulos (editors)
Design and Safety Assessment of Critical Systems
  • PDF
  • English
  • Year: 2010
  • Author: Marco Bozzano, Adolfo Villafiorita
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2007
  • Author: Piergiorgio Bertoli, Marco Bozzano (auth.), Stefan Edelkamp, Alessio Lomuscio (eds.)
Cypriot Cinemas: Memory, Conflict, and Identity in the Margins of Europe
  • PDF
  • English
  • Year: 2015
  • Author: Costas Constandinides; Yiannis Papadakis (editors)
Eighteen Essays in Non-Euclidean Geometry
  • PDF
  • English
  • Year: 2019
  • Author: Vincent Alberge, Athanase Papadopoulos (Editors)
In the Tradition of Thurston: Geometry and Topology
  • PDF
  • English
  • Year: 2021
  • Author: Ken’ichi Ohshika, Athanase Papadopoulos (editors)
Metric spaces, convexity and nonpositive curvature
  • PDF
  • English
  • Year: 2014
  • Author: Papadopoulos A.
Metric spaces, convexity and nonpositive curvature
  • PDF
  • English
  • Year: 2004
  • Author: Papadopoulos A.
Ecological Reparation: Repair, Remediation and Resurgence in Social and Environmental Conflict
  • PDF
  • English
  • Year: 2023
  • Author: Dimitris Papadopoulos; Maria Puig de la Bellacasa; Maddalena Tacchetti (editors)
The Logic Programming Paradigm: A 25-Year Perspective
  • PDF
  • English
  • Year: 1999
  • Author: Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini (auth.), Prof. Krzysztof R. Apt, Prof. Victor W. Marek, Prof. Mirek Truszczynski, Prof. David S. Warren (eds.)
search