Subscribe
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2007)
Timisoara, Romania
Sept. 26, 2007 to Sept. 29, 2007
ISBN: 0-7695-3078-8
TABLE OF CONTENTS
Introduction
pp. xi
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
pp. 549-551