MPG.eBooks - Author Search Results

Cover Image

1

New Perspectives on Games and Interaction

by Apt, Krzysztof
Published 2008

Amsterdam University Press

Other Authors: “...Apt, Krzysztof...”

Cover Image

2

Recent Advances in Constraints : Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2,...

by Apt, Krzysztof R
Published 2004

Springer Berlin Heidelberg

Cover Image

3

New Trends in Constraints : Joint ERCIMCompulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers

by Apt, Krzysztof R
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

4

Foundations of deductive databases and logic programming

by Apt, Krzysztof R.
Published 1988

M. Kaufmann Publishers

Cover Image

5

Logic programming languages : constraints, functions, and objects

by Apt, Krzysztof R.
Published 1993

MIT Press

Cover Image

6

Programmverifikation : Sequentielle, parallele und verteilte Programme

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1994

Springer Berlin Heidelberg

Cover Image

7

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1997

Springer New York

Cover Image

8

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Olderog, Ernst-Rüdiger
Published 1991

Springer New York

Cover Image

9

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger
Published 2009

Springer London

Cover Image

10

Logics and Models of Concurrent Systems

Published 1985

Springer Berlin Heidelberg

Other Authors: “...Apt, Krzysztof R....”

Cover Image

11

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2...

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Apt, Krzysztof R....”

Cover Image

12

New Trends in Constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Apt, Krzysztof R....”

Cover Image

13

The Logic Programming Paradigm : A 25-Year Perspective

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Apt, Krzysztof R....”