語系
Fischer, Bernd.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Model checking software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
Fischer, Bernd.; Geldenhuys, Jaco.; SpringerLink (Online service)
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
主題
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