Springer · Vieweg+Teubner Verlag
Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings | 978-3-642-11810-4 | 2010 | Marc Frappier · Sarfraz Khurshid · Régine Laleau · Steve Reeves |
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems | 978-3-8154-2051-5 | 1993 | |
Open Source Intelligence and Cyber Crime: Social Media Analytics | 978-3-030-41250-0 | 2020 | Mohammad A. Tayebi · David B. Skillicorn |
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday | 978-3-642-11446-5 | 2010 | Jean-Raymond Abrial |
Social Network Analysis in Predictive Policing: Concepts, Models and Methods | 978-3-319-41491-1 | 2016 | Mohammad A. Tayebi |