Search alternatives:
"structuralism" » "structural"

1
by Broy, Manfred
Published 1995
Springer Berlin Heidelberg
Subjects: ...Data structures (Computer science)...

2
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... Systems, Partial Orderings of Events, and Event Structures -- On Mixed Computation: Informal Account...

3
by Broy, Manfred
Published 1993
Springer Berlin Heidelberg
Subjects: ...Arithmetic and Logic Structures...

4
by Broy, Manfred
Published 1998
Springer Berlin Heidelberg
Subjects: ...Arithmetic and Logic Structures...

5
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... Structure of OS/360 -- The Entity Relationship Model — Toward a Unified View of Data -- Class and Subclass...

6
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- The Functional Structure of OS/360 -- Graphical User Interfaces -- B-Trees and Databases, Past and Future...

7
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... -- Abstract Computability of Non-deterministic Programs over Various Data Structures -- On Lexicographic...

8
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... for Detecting Shared Memory Parallelism -- Hierarchical Cause-Effect Structures -- Some Decidability Results...

9
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... of Provably Secure Obfuscating Programs -- Verification-Oriented Language C-Light and Its Structural...

10
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... development of massively parallel programs -- Observing some properties of event structures -- The other...

11
Published 1991
Springer Berlin Heidelberg
Table of Contents: ... Continuous Functionals -- Proofs in Structured Specifications -- Herleitungen als Programme: Ihre Kompilation...

12
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... making systems with machine learning assistance -- Processes in cause-effect structures -- On the power...

13
Published 1991
Springer Berlin Heidelberg
... and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group...

14
Published 1993
Springer Berlin Heidelberg
... not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most...