MPG.eBooks - Search Results - "computer programs"

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

Cover Image

1

Introduction to Discrete Mathematics with ISETL

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

Springer New York

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

Cover Image

2

The Semantics and Proof Theory of the Logic of Bunched Implications

by Pym, David J.
Published 2002

Springer Netherlands

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

Cover Image

3

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

Published 2000

Springer Netherlands

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

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 (Computer programs)...”

Cover Image

5

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 (Computer programs)...”

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 (Computer programs)...”

Cover Image

7

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

Published 2003

Springer Berlin Heidelberg

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

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 (Computer programs)...”

Cover Image

9

Integer Programming and Combinatorial Optimization : 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

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

Cover Image

10

Combinatorics and Computer Science : 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers

Published 1996

Springer Berlin Heidelberg

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

Cover Image

11

Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions

by Bertot, Yves, Castéran, Pierre
Published 2004

Springer Berlin Heidelberg

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

Cover Image

12

Constraint-Programmierung : Grundlagen und Anwendungen

by Frühwirth, Thom, Abdennadher, Slim
Published 1997

Springer Berlin Heidelberg

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

Cover Image

13

Logic Programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, Se...

Published 1992

Springer Berlin Heidelberg

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

Cover Image

14

Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

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