MPG.eBooks - Search Results - "Compilers And Interpreters"

Search alternatives:
compilers » computers , compiled

Cover Image

1

Introduction to Discrete Mathematics with ISETL

by Fenton, William E., Dubinsky, Ed
Published 1996

Springer New York

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

Cover Image

2

The Semantics and Proof Theory of the Logic of Bunched Implications

by Pym, David J.
Published 2002

Springer Netherlands

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

Cover Image

3

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning

Published 2000

Springer Netherlands

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

Cover Image

4

Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

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

Cover Image

5

Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

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

Cover Image

6

Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings

Published 1989

Springer Berlin Heidelberg

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

Cover Image

7

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

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

Cover Image

8

The Parametric Lambda Calculus : A Metamodel for Computation

by Ronchi Della Rocca, Simona, Paolini, Luca
Published 2004

Springer Berlin Heidelberg

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