MPG.eBooks - Search Results - "computer programs"

Search alternatives:
"computer programs" » "computer program"

Cover Image

1

Goal-Directed Proof Theory

by Gabbay, Dov M., Olivetti, N.
Published 2000

Springer Netherlands

Subjects: “...Compilers (Computer programs)...”

Cover Image

2

New Essays in Free Logic : In Honour of Karel Lambert

Published 2001

Springer Netherlands

Subjects: “...Compilers (Computer programs)...”

Cover Image

3

Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Published 2001

Springer Netherlands

Subjects: “...Compilers (Computer programs)...”

Cover Image

4

Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Published 2003

Springer Netherlands

Subjects: “...Compilers (Computer programs)...”

Cover Image

5

Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings

Published 2022

Springer International Publishing

Subjects: “...Compilers (Computer programs)...”

Cover Image

6

Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer programming...”