Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 3 hakutulosta
Model Checking Software
nidottu,
2015,
englanti,
ISBN 9783319234038
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 …
Biomedical Image Registration
nidottu,
2010,
englanti,
ISBN 9783642143656
Welcome to the proceedings of the 4th Workshop on Biomedical Image R- istration (WBIR). Previous WBIRs took place in Bled, Slovenia (1999), at the …
Theoretical Aspects of Computing – ICTAC 2018
nidottu,
2018,
englanti,
ISBN 9783030025076
This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October …