Cover Image
Read Now

1
Published 1988
Springer New York
Table of Contents: “...Mathematical Aspects of Scientific Software -- The Mapping Problem in Parallel Computation...”
Cover Image
Read Now

2
by Denvir, Tim
Published 1986
Macmillan Education UK
Subjects: “...Software engineering...”
Cover Image
Read Now

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...”
Cover Image
Read Now

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...”
Cover Image
Read Now

5
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Improving Flow in Software Development Through Graphical Representations -- A...”
Cover Image
Read Now

6
by Khoussainov, Bakhadyr, Nerode, Anil
Published 2001
Birkhäuser
Subjects: “...Software engineering...”
Cover Image
Read Now

7
by Bertot, Yves, Castéran, Pierre
Published 2004
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

8
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Graph Transformation Environment for Modeling and Validation of Software -- Process Evolution Support...”
Cover Image
Read Now

9
by Schickinger, Thomas, Steger, Angelika
Published 2002
Springer Berlin Heidelberg
Subjects: “...Computer software...”
Cover Image
Read Now

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

11
Published 1991
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

12
Published 2001
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

13
by Calude, Cristian S.
Published 2002
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

14
Published 2004
Springer Berlin Heidelberg
Subjects: “...Software engineering...”
Cover Image
Read Now

15
Published 1999
Springer US
Table of Contents: “.... Linguistic Modifiers: An Overview -- II Contributed Papers -- 6. Software Pattern Laws and Partial...”
Cover Image
Read Now

16
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... with Application to Graph Drawing -- Software Packages...”
Cover Image
Read Now

17
Published 2000
Springer New York
Table of Contents: “... and backward analysis for numerical integrators -- Convergence proofs for numerical IVP software...”
Cover Image
Read Now

18
by Angstenberger, Larisa
Published 2001
Springer Netherlands
Table of Contents: “... Algorithm of Gath and Geva -- Description of Implemented Software...”
Cover Image
Read Now

19
by Mockus, Jonas
Published 2000
Springer US
“...­ tant family of real-life problems. The accompanying software can be run by remote Internet users...”
Cover Image
Read Now

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