Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
FME '93: Industrial-Strength Formal Methods
häftad,
1993,
Engelska,
ISBN 9783540566625
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive …
Data Analytics
häftad,
2017,
Engelska,
ISBN 9783319607948
This book constitutes the refereed conference proceedings of the 31st British International Conference on Databases, BICOD 2017 - formerly known as BNCOD (British National …
Reconfigurable Computing: Architectures, Tools and Applications
häftad,
2009,
Engelska,
ISBN 9783642006401
This book constitutes the refereed proceedings of the 5th International Workshop on Applied Reconfigurable Computing, ARC 2009, held in Karlsruhe, Germany, in March 2009. The 21 …