Languages
Fischer, Bernd.
Overview
Works: | 3 works in 1 publications in 1 languages |
---|
Titles
Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
Fischer, Bernd.; Geldenhuys, Jaco.; SpringerLink (Online service)
(Electronic resources)
Biomedical image registration = 4th International Workshop, WBIR 2010, Lubeck, Germany, July 11-13, 2010 : proceedings /
by:
Dawant, Benoit M.; Fischer, Bernd.; Lorenz, Cristian.; SpringerLink (Online service); International Workshop on Biomedical Image Registration (2010 :)
(Language materials, printed)
Subjects
Image Processing and Computer Vision.
Software engineering
Software Engineering.
Bioinformatics.
Pattern Recognition.
Logics and Meanings of Programs.
SPIN (Computer file)
Image registration
Health Informatics.
Imaging / Radiology.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Imaging systems in medicine- Congresses.
Computer Science.
Computer software- Verification