dblp.uni-trier.de www.uni-trier.de

9. SYNASC 2007: Timisoara, Romania

Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie (Eds.): Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007. IEEE Computer Society 2007, ISBN 978-0-7695-3078-9 BibTeX

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

Copyright © Sat May 16 23:43:23 2009 by Michael Ley (ley@uni-trier.de)