MPG.eBooks - Search Results - theory of (computation OR computational)

1

Engineering Theories of Software Intensive Systems...

Published 2005

Springer Netherlands

Table of Contents: “... -- Computation Orchestration -- A Tree Semantics of an Orchestration Language -- Security, System Development...”

Read Now

2

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Published 1989

Springer Berlin Heidelberg

Table of Contents: “... -- The Derivation of a Proof by J. C. S. P. van der Woude -- Notes on an Approach to Category Theory for Computer...”

Read Now

3

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement

by Broy, Manfred, Stølen, Ketil
Published 2001

Springer New York

Subjects: “...Theory of Computation...”

Read Now

4

Program Design Calculi

Published 1993

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

5

Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... coordinating model of computation (extended abstract) -- An associative version of the Prim-Dijkstra algorithm...”

Read Now

6

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

7

Informatik : Eine grundlegende Einführung Teil I. Problemnahe Programmierung

by Broy, Manfred
Published 1992

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

8

Informatik : Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer Communication Networks...”

Read Now

9

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: “...Programming Issues -- The Verifying Compiler: A Grand Challenge for Computing Research -- Linear...”

Read Now

10

Automotive Software-Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Table of Contents: “...-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink...”

Read Now

11

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Subjects: “...Theory of Computation...”

Read Now

12

Informatik Eine grundlegende Einführung : Band 1: Programmierung und Rechnerstrukturen

by Broy, Manfred
Published 1998

Springer Berlin Heidelberg

Subjects: “...Coding and Information Theory...”

Read Now

13

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... and A.P. Ershov in the Theory of Program Schemes and the Development of Its Logic Concepts -- Computing...”

Read Now

14

Mathematical Methods in Program Development

Published 1997

Springer Berlin Heidelberg

Table of Contents: “... -- Mathematical Methods in System and Software Engineering -- Unified Theories of Programming -- 3. Programming...”

Read Now

15

Informatik : Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung

by Broy, Manfred
Published 1993

Springer Berlin Heidelberg

Subjects: “...Coding theory...”

Read Now

16

Logische und Methodische Grundlagen der Entwicklung verteilter Systeme : Unter Mitarbeit von Alexander Malkis

by Broy, Manfred
Published 2023

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Read Now

17

Formal Methods in Programming and Their Applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

Table of Contents: “...Theory of domains and nearby -- Predicative programming — A survey -- A three-valued logic...”

Read Now

18

Modellbildung in der Informatik

by Broy, Manfred, Steinbrüggen, Ralf
Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Communication Networks...”

Read Now

19

Übungen zur Einführung in die Informatik : Strukturierte Aufgabensammlung mit Musterlösungen

by Broy, Manfred, Rumpe, Bernhard
Published 2002

Springer Berlin Heidelberg

Subjects: “...Computer Communication Networks...”

Read Now

20

Übungen zur Einführung in die Informatik : Strukturierte Aufgabensammlung mit Musterlösungen

by Broy, Manfred, Rumpe, Bernhard
Published 1998

Springer Berlin Heidelberg

Subjects: “...Computer networks ...”

Narrow Search