MPG.eBooks - Search Results - "Interpretability"

Search alternatives:
interpretability » interpretable

Cover Image

1

Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Published 2004

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”

Cover Image

2

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Vol...

Published 1985

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”

Cover Image

3

Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 19...

Published 1994

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”

Cover Image

4

Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG). Final Report

by Ehrig, Hartmut
Published 2004

Springer Berlin Heidelberg

Subjects: “...Programming Languages, Compilers, Interpreters...”

Cover Image

5

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints

by Ehrig, Hartmut, Mahr, Bernd
Published 1990

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”

Cover Image

6

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics

by Ehrig, Hartmut, Mahr, Bernd
Published 1985

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”

Cover Image

7

Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”

Cover Image

8

Fundamentals of Algebraic Graph Transformation

by Ehrig, Hartmut, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele
Published 2006

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”

Cover Image

9

Categorical Methods in Computer Science : With Aspects from Topology

Published 1989

Springer Berlin Heidelberg

Subjects: “...Compilers and Interpreters...”