MPG.eBooks - Search Results - ((((statistical study) or (statistical shape))) or (statistical inferences))

Search alternatives:
statistical inferences » statistical inference , statistical convergence , statistical independence
statistical shape » statistical software

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice...

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- Constraint Solving -- The Succinct Solver Suite -- Binding-Time Analysis for MetaML via Type Inference...”