[Lecture Notes in Computer Science] Medical Image Computing and Computer-Assisted Interventation — MICCAI’98 Volume 1496 || Automatic computation of average brain models
- 作者Wells, William M.; Colchester, Alan; Delp, Scott
- 文件大小715.38KB
- 发表时间1998
- DOI10.1007/bfb0056249
- 页码631-640
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || About synchronization languagesBrim, Luboš; Gruska, Jozef; Zlatuška, Jiří · 1998
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || Predicative polymorphic subtypingBrim, Luboš; Gruska, Jozef; Zlatuška, Jiří · 1998
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || Equations in transfinite stringsBrim, Luboš; Gruska, Jozef; Zlatuška, Jiří · 1998
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || Satisfiability — Algorithms and logicBrim, Luboš; Gruska, Jozef; Zlatuška, Jiří · 1998
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || Degree-preserving forestsBrim, Luboš; Gruska, Jozef; Zlatuška, Jiří · 1998
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || Polymorphic subtyping without distributivityBrim, Luboš; Gruska, Jozef; Zlatuška, Jiří · 1998
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || Reasoning about the pastBrim, Luboš; Gruska, Jozef; Zlatuška, Jiří · 1998
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1998 Volume 1450 || The joys of bisimulationBrim, Luboš; Gruska, Jozef; Zlatuška, Jiří · 1998