Search alternatives:
"structuralism" » "structural"
Cover Image
Read Now

1
Published 2000
Springer Berlin Heidelberg
Subjects: “...Control Structures and Microprogramming...”
Cover Image
Read Now

2
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Algorithmic structuring of cut-free proofs -- Optimization problems: Expressibility, approximation properties...”
Cover Image
Read Now

3
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... of some concepts in structural complexity theory -- Algebraic operational semantics and Occam...”
Cover Image
Read Now

4
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- Structural synthesis of programs from refined user requirements (Programming boiler control in NUT) -- Using...”
Cover Image
Read Now

5
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... of complexity over moregeneral data structures -- On the power of single-valued nondeterministic polynomial time...”
Cover Image
Read Now

6
by Börger, Egon, Stärk, Robert
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Incremental Design by Refinements -- 3.3 Microprocessor Design Case Study -- 4 Structured ASMs (Composition...”
Cover Image
Read Now

7
by Stärk, Robert F., Schmid, Joachim, Börger, Egon
Published 2001
Springer Berlin Heidelberg
“... is structured into language layers and machine components. It comes with a natural executable refinement  which...”