[Lecture Notes in Computer Science] LATIN'98: Theoretical Informatics Volume 1380 || Unfolding parametric automata
- 作者Lucchesi, Cláudio L.; Moura, Arnaldo V.
- 文件大小713.51KB
- 发表时间1998
- DOI10.1007/bfb0054313
- 页码88-101
[Lecture Notes in Computer Science] Software Visualization Volume 2269 ||Diehl, Stephan · 2002
[Lecture Notes in Computer Science] Software Visualization Volume 2269 || Software Visualization for Reverse EngineeringDiehl, Stephan · 2002
[Lecture Notes in Computer Science] Information Visualization Volume 4950 ||Kerren, Andreas; Stasko, John T.; Fekete, Jean-Daniel; North, Chris · 2008
[Lecture Notes in Computer Science] Discovery Science Volume 3245 || Enhancing SVM with VisualizationSuzuki, Einoshin; Arikawa, Setsuo · 2004
[Lecture Notes in Computer Science] Information Visualization Volume 4950 || The Value of Information VisualizationKerren, Andreas; Stasko, John T.; Fekete, Jean-Daniel; North, Chris · 2008
[Lecture Notes in Computer Science] Cooperative Design, Visualization, and Engineering Volume 4101 ||Luo, Yuhua · 2006
[Lecture Notes in Computer Science] Knowledge and Information Visualization Volume 3426 ||Tergan, Sigmar-Olaf; Keller, Tanja · 2005
[Lecture Notes in Computer Science] A Formal Model of Visualization in Computer Graphics Systems Volume 421 || Chapter 3 Formal model of visualization, · 1990
[Lecture Notes in Computer Science] Visualization in Biomedical Computing Volume 1131 || Craniofacial surgery simulationHöhne, Karl Heinz; Kikinis, Ron · 1996
[Lecture Notes in Computer Science] Visualization in Biomedical Computing Volume 1131 || Visualising cerebral asymmetryHöhne, Karl Heinz; Kikinis, Ron · 1996
[Lecture Notes in Computer Science] Visualization in Biomedical Computing Volume 1131 || Rebuilding the visible manHöhne, Karl Heinz; Kikinis, Ron · 1996
[Lecture Notes in Computer Science] Visualization in Biomedical Computing Volume 1131 || Fast Fluid Registration of medical imagesHöhne, Karl Heinz; Kikinis, Ron · 1996
[Lecture Notes in Computer Science] Visualization in Biomedical Computing Volume 1131 || PROBOT — A computer integrated prostatectomy systemHöhne, Karl Heinz; Kikinis, Ron · 1996
[Lecture Notes in Computer Science] Visualization in Biomedical Computing Volume 1131 || Surgery Simulation using Fast Finite ElementsHöhne, Karl Heinz; Kikinis, Ron · 1996
[Lecture Notes in Computer Science] Visualization in Biomedical Computing Volume 1131 || Individualizing anatomical atlases of the headHöhne, Karl Heinz; Kikinis, Ron · 1996
[Lecture Notes in Computer Science] Visualization in Biomedical Computing Volume 1131 || Image quality improvements in volume renderingHöhne, Karl Heinz; Kikinis, Ron · 1996