MPG.eBooks - Search Results - "structuralism"

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

Cover Image

1

Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... for Detecting Shared Memory Parallelism -- Hierarchical Cause-Effect Structures -- Some Decidability Results...”

Cover Image

2

Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers

Published 2003

Springer Berlin Heidelberg

Table of Contents: “... of Provably Secure Obfuscating Programs -- Verification-Oriented Language C-Light and Its Structural...”