The Community for Technology Leaders
Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) (2007)
Timisoara, Romania
Sept. 26, 2007 to Sept. 29, 2007
ISBN: 0-7695-3078-8

Preface (PDF)

pp. xi

Committees (PDF)

pp. xii-xvi
Invited Talks
Automated Reasoning and Formal Verification
Parallel and Distributed Computing
Formal Verification and Software Quality
Symbolic and Numeric Algorithms
Data Mining
Formal Verification and Security
Image and Text Processing
ACSys: Workshop on Agents for Complex Systems
GridCAD: Workshop on Grid Computing Applications Development
IMNE: Workshop on Iterative Methods for Nonlinear Equations
NCA: Workshop on Natural Computing and Applications
RTES: Workshop on Real Time and Embedded Systems
RuleApps: Workshop on Rule-Based Applications
WfPM: Workshop on Workflows and Process Management
Author Index

Author Index (PDF)

pp. 549-551
88 ms
(Ver 3.3 (11022016))