Search alternatives:
"structuralism" » "structural", "structurally"

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 2023
Springer Berlin Heidelberg
Subjects: ...Data Structures and Information Theory...

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

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

6
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...

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

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

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

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

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

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

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

14
Published 2021
Springer International Publishing
... with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development...

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

16
Published 2005
Springer Netherlands
..., detailed requirements, but also to understand the structure and working of software systems like software...

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

18
Published 2016
Springer International Publishing

19
Published 2012
Springer Berlin Heidelberg
... engineering. The content of this book is structured in four parts. Part I “Starting Point” discusses...