Home Advanced Search

Advanced Search - Page 1

Social Network Analysis in Predictive Policing: Concepts, Models and Methods
  • PDF
  • English
  • Year: 2016
  • Author: Mohammad A. Tayebi, Uwe Glässer (auth.)
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.)
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.)
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.)
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Daniel Jackson, Eunsuk Kang (auth.), Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.)
Motion Coordination for VTOL Unmanned Aerial Vehicles: Attitude Synchronisation and Formation Control
  • PDF
  • English
  • Year: 2013
  • Author: Abdelkader Abdessameud, Abdelhamid Tayebi (auth.)
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
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