• S
  • SYNASC
  • 2007
  • Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007)
Advanced Search 
Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007)
Timisoara, Romania
September 26-September 29
ISBN: 0-7695-3078-8
Table of Contents
ACSys: Workshop on Agents for Complex Systems
Introduction
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
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
Usage of this product signifies your acceptance of the Terms of Use.