1
Published 1988
Springer New York
Table of Contents: ...Mathematical Aspects of Scientific Software -- The Mapping Problem in Parallel Computation...

2
by Denvir, Tim
Published 1986
Macmillan Education UK
Subjects: ...Software engineering...

3
by Mockus, Jonas, Eddy, William, Reklaitis, Gintaras
Published 1997
Springer US
Table of Contents: ... for BATCH Process Scheduling Using BHA and MILP Formulation -- VI Software for Global Optimization -- 17...

4
by Kai-Yuan Cai
Published 1996
Springer US
Table of Contents: ... Types of Failures -- References -- 8 Fuzzy Methods in Software Reliability Modeling -- 8.1 Continuous...

5
Published 2004
Springer Berlin Heidelberg
Table of Contents: ...Invited Papers -- Improving Flow in Software Development Through Graphical Representations -- A...

6
by Khoussainov, Bakhadyr, Nerode, Anil
Published 2001
Birkhäuser
Subjects: ...Software engineering...

7
by Bertot, Yves, Castéran, Pierre
Published 2004
Springer Berlin Heidelberg
Subjects: ...Software engineering...

8
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Graph Transformation Environment for Modeling and Validation of Software -- Process Evolution Support...

9
Published 1991
Springer Berlin Heidelberg
Subjects: ...Software engineering...

10
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded Software: Better Models, Better Code...

11
Published 2001
Springer Berlin Heidelberg
Subjects: ...Software engineering...

12
by Calude, Cristian S.
Published 2002
Springer Berlin Heidelberg
Subjects: ...Software engineering...

13
Published 2004
Springer Berlin Heidelberg
Subjects: ...Software engineering...

14
Published 1999
Springer US
Table of Contents: .... Linguistic Modifiers: An Overview -- II Contributed Papers -- 6. Software Pattern Laws and Partial...

15
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... with Application to Graph Drawing -- Software Packages...

16
Published 2000
Springer New York
Table of Contents: ... and backward analysis for numerical integrators -- Convergence proofs for numerical IVP software...

17
by Angstenberger, Larisa
Published 2001
Springer Netherlands
Table of Contents: ... Algorithm of Gath and Geva -- Description of Implemented Software...

18
by Mockus, Jonas
Published 2000
Springer US
...­ tant family of real-life problems. The accompanying software can be run by remote Internet users...

19
Published 1999
Springer US
Table of Contents: ... -- 18 Fuzzy Sets in Human Factors and Ergonomics -- V Tools -- 19 Fuzzy System Development: Software...

20
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller...