Search alternatives:
"cycling" » "recycling"

61
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... -- RTL and refutation by positive cycles -- Formalising the semantics of Ward/Mellor SA/RT essential...

62
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... -- 1.6 Outline of this report -- 2 Software Reliability and the Software Life Cycle -- 2.1 Real-time...

63
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... and object oriented models -- Behavior consistent refinement of object life cycles -- Activity flow: Towards...

64
Published 1989
Springer New York
Table of Contents: ... Program at AT&T Bell Laboratories, Merrimack Valley” -- “Formal Education Within The Software Life Cycle...

65
by Gilder, Jules H.
Published 1986
Springer US
Table of Contents: ... The Screen -- 2 The 6502 and 65C02 -- 3 The Instruction Set -- 4 Instruction Cycle Times -- 5 Apple // Memory...

66
by Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... Joint Development -- 8.6 An Example: Cycles in a Graph --...

67
Published 2000
Springer Berlin Heidelberg
Table of Contents: ...Specifying Processes withDynamic Life Cycles -- Enterprise Application Integration -- Design...

68
Published 1996
Springer Berlin Heidelberg
Table of Contents: .../Design method and Object Oriented Metrics in the software development life-cycle -- Modelling...

69
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... parity check codes based on sparse matrices with no small cycles -- On the SAFER cryptosystem...

70
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Set Semantics -- On Acyclic and Head-Cycle Free Nested Logic Programs -- Fast Query Evaluation...

71
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Life-Cycles in Object-Oriented Design -- Towards an Automatic Integration of Statecharts -- Design...

72
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Symbolic Cycle-Detection Algorithm? -- Combining Structural and Enumerative Techniques for the Validation...

73
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Algorithms for 3-Cycle Covers -- Approximation Algorithms for the Unsplittable Flow Problem -- 1.5...

74
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...Data Encryption Standard -- Structure in the S-Boxes of the DES (extended abstract) -- Cycle...

75
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Standards Life Cycle -- Applicability of ERP Systems for Knowledge Management in the Context of Quality...

76
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... cycles -- Color-X Event Model: Integrated specification of the dynamics of individual objects --...

77
by Bowen, Jonathan P., Hinchey, Michael G.
Published 1999
Springer London
Table of Contents: ...1. Specification and Design -- 1.1 An Analogy -- 1.2 The Development Life-Cycle -- 1.3...

78
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Polynomial Time Algorithm to Find the Minimum Cycle Basis of a Regular Matroid -- Approximation Algorithms...

79
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... for Safety—Critical Applications -- Human Performance Reliability in the Design-for-Usability Life Cycle...

80
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Theorem and Its Application for Path Systems of a Cycle—Implementation and Analysis -- On 2-Coverings...