Home Advanced Search

Advanced Search - Page 1

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque
Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings
  • EPUB
  • English
  • Year: 2023
  • Author: Uwe Glässer; Jose Creissac Campos; Dominique Méry; Philippe Palanque
A distributed implementation of Flat Concurrent Prolog on message-passing microprocessor systems
  • DJVU
  • English
  • Year: 1993
  • Author: Glässer, Uwe
Human Error, Safety and Systems Development (IFIP International Federation for Information Processing)
  • PDF
  • English
  • Year: 2004
  • Author: W. Johnson, Philippe Palanque
Social Network Analysis in Predictive Policing: Concepts, Models and Methods
  • PDF
  • English
  • Year: 2016
  • Author: Mohammad A. Tayebi, Uwe Glässer (auth.)
Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Alexander Raschke (editor), Dominique Méry (editor)
Teoria Y Planificacion Del Entrenamiento Deportivo
  • PDF
  • Spanish
  • Author: Campos Granell Jose
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.)
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)
Une philosophie de l’être est-elle encore possible? I: Signification de la Métaphysique
  • PDF
  • French
  • Year: 1975
  • Author: Marie Dominique Philippe
search