کتاب‌های Uwe Glässer - BookPine

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Uwe Glässer

Open Source Intelligence and Cyber Crime: Social Media Analytics

Open Source Intelligence and Cyber Crime: Social Media Analytics

Mohammad A. Tayebi

Social Network Analysis in Predictive Policing: Concepts, Models and Methods

Social Network Analysis in Predictive Policing: Concepts, Models and Methods

Mohammad A. Tayebi

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems (Teubner Texte zur Informatik)

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems (Teubner Texte zur Informatik)

Uwe Glässer

Abstract State Machines, Alloy, B and Z: Second International Conference (ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings)

Abstract State Machines, Alloy, B and Z: Second International Conference (ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings)

Marc Frappier

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday

Jean-Raymond Abrial