MPG.eBooks - Search Results - "Theory Of Computation"

Search alternatives:
computation » computational

Cover Image

1

Program Design Calculi

Published 1993

Springer Berlin Heidelberg

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

Cover Image

2

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Springer Berlin Heidelberg

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

Cover Image

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

Cover Image

4

Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany,...

Published 2005

Springer Netherlands

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

Cover Image

5

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

by Broy, Manfred
Published 1992

Springer Berlin Heidelberg

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

Cover Image

6

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

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

Cover Image

7

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

Published 1996

Springer Berlin Heidelberg

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

Cover Image

8

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

Cover Image

9

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

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

Cover Image

10

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

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