Krzysztof R Apt: search on Z-Library

Your gateway to knowledge and culture. Accessible for everyone.

Don't use scam websites

Books (43)
Most Popular
List
- List
- Table

1

Concepts in Programming Languages

Concepts in Programming Languages

Cambridge University Press

John C. Mitchell, Krzysztof Apt

Year:

2001

Language:

english

File:

PDF, 7.59 MB

0 / 1.0

english, 2001

2

A Brief History of Mathematics for Curious Minds

A Brief History of Mathematics for Curious Minds

World Scientific Publishing Company

Krzysztof R Apt

Year:

2024

Language:

english

File:

PDF, 40.13 MB

0 / 4.0

english, 2024

3

Principles of Constraint Programming

Principles of Constraint Programming

Cambridge University Press

Year:

2003

Language:

english

File:

PDF, 1.74 MB

0 / 0

english, 2003

4

From Logic Programming to Prolog

From Logic Programming to Prolog

Krzysztof R. Apt

Year:

1996

Language:

english

File:

PDF, 1.30 MB

0 / 0

english, 1996

5

Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

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

Year:

2009

Language:

english

File:

PDF, 2.10 MB

0 / 0

english, 2009

6

Principles of constraint programming

Principles of constraint programming

Cambridge University Press

Year:

2003

Language:

english

File:

PDF, 1.73 MB

0 / 0

english, 2003

7

Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Cambridge University Press

Krzysztof R. Apt, Mark Wallace

Year:

2007

Language:

english

File:

PDF, 1.50 MB

0 / 0

english, 2007

8

Concepts in programming languages

Concepts in programming languages

Cambridge University Press

John C. Mitchell, Krzysztof Apt

Year:

2001

Language:

english

File:

PDF, 7.59 MB

0 / 0

english, 2001

9

Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Cambridge University Press

Krzysztof R. Apt, Erich Grädel

Year:

2011

Language:

english

File:

PDF, 1.72 MB

0 / 0

english, 2011

10

The Logic Programming Paradigm: A 25-Year Perspective

The Logic Programming Paradigm: A 25-Year Perspective

Springer-Verlag Berlin Heidelberg

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini (auth.), Prof. Krzysztof R. Apt, Prof. Victor W. Marek, Prof. Mirek Truszczynski, Prof. David S. Warren (eds.)

Year:

1999

Language:

english

File:

PDF, 12.77 MB

0 / 0

english, 1999

11

New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Amsterdam University Press

Krzysztof R. Apt, Robert van Rooij, eds.

Year:

2009

Language:

english

File:

PDF, 8.89 MB

0 / 0

english, 2009

12

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Year:

1997

Language:

english

File:

PDF, 9.05 MB

0 / 0

english, 1997

13

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Year:

2009

Language:

english

File:

PDF, 3.72 MB

0 / 0

english, 2009

14

Recent advances in constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003: selecAuthor: Krzysztof R Apt; European Research Consortium for Inform

Recent advances in constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003: selecAuthor: Krzysztof R Apt; European Research Consortium for Inform

Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza

Year:

2004

Language:

english

File:

PDF, 6.05 MB

0 / 0

english, 2004

15

Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Krzysztof R Apt, J W de Bakker, J J M M Rutten

Year:

1993

Language:

english

File:

PDF, 49.82 MB

0 / 0

english, 1993

16

Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Bernhard Möller (eds.)

Year:

1995

Language:

english

File:

DJVU, 3.12 MB

0 / 0

english, 1995

17

Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Cambridge University Press

Krzysztof R. Apt, Erich Grädel

Year:

2011

Language:

english

File:

PDF, 1.72 MB

0 / 0

english, 2011

18

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

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

Springer-Verlag Berlin Heidelberg

Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard (auth.), Krzysztof R. Apt, Eric Monfroy, Antonis C. Kakas, Francesca Rossi (eds.)

Year:

2000

Language:

english

File:

PDF, 2.34 MB

0 / 0

english, 2000

19

Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Apt, Krzysztof R., Rutten, J. J. M. M., Bakker, Jacobus Willem

Year:

1993

Language:

english

File:

DJVU, 2.08 MB

0 / 0

english, 1993

20

Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Joxan Jaffar (eds.)

Year:

1999

Language:

english

File:

PDF, 4.74 MB

0 / 0

english, 1999

21

Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Francesca Rossi, K. Brent Venable (auth.), François Fages, Francesca Rossi, Sylvain Soliman (eds.)

Year:

2008

Language:

english

File:

PDF, 3.03 MB

0 / 0

english, 2008

22

The Logic programming paradigm : a 25-year perspective

The Logic programming paradigm : a 25-year perspective

Krzysztof Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren (eds)

Year:

1999

Language:

english

File:

DJVU, 4.12 MB

0 / 0

english, 1999

23

Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.)

Year:

1993

Language:

english

File:

DJVU, 7.47 MB

0 / 0

english, 1993

24

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)

Year:

1982

Language:

english

File:

DJVU, 4.66 MB

0 / 0

english, 1982

25

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

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

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Peter Zoeteweij (auth.), Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, Josef Váncza (eds.)

Year:

2004

Language:

english

File:

PDF, 3.80 MB

0 / 0

english, 2004

26

Logic Programming: The Joint [9th] International Conference & Symposium

Logic Programming: The Joint [9th] International Conference & Symposium

Krzysztof Apt (ed.)

Year:

1992

Language:

english

File:

DJVU, 9.47 MB

0 / 0

english, 1992

27

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)

Year:

1982

Language:

english

File:

PDF, 10.98 MB

0 / 0

english, 1982

28

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

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

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Peter Zoeteweij (auth.), Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, Josef Váncza (eds.)

Year:

2004

Language:

english

File:

PDF, 3.43 MB

0 / 0

english, 2004

29

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Year:

2009

Language:

english

File:

PDF, 3.63 MB

0 / 0

english, 2009

30

New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Apt, Krzysztof R., Van Rooij, Robert

Year:

2009

Language:

english

File:

PDF, 12.72 MB

0 / 0

english, 2009

31

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

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

Year:

2009

Language:

english

File:

PDF, 8.45 MB

0 / 0

english, 2009

32

Logics and models of concurrent systems

Logics and models of concurrent systems

Springer-Verlag

Krzysztof R Apt, North Atlantic Treaty Organization. Scientific Affairs Division (ed.)

Year:

1985

Language:

english

File:

DJVU, 4.51 MB

0 / 0

english, 1985

33

Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Sunil Simon (auth.), Maria Serna (eds.)

Year:

2012

Language:

english

File:

PDF, 2.95 MB

0 / 0

english, 2012

34

Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

Springer-Verlag Berlin Heidelberg

E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)

Year:

1985

Language:

english

File:

PDF, 18.36 MB

0 / 0

english, 1985

35

Programmverifikation: Sequentielle, parallele und verteilte Programme

Programmverifikation: Sequentielle, parallele und verteilte Programme

Springer-Verlag Berlin Heidelberg

Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)

Year:

1994

Language:

german

File:

PDF, 5.39 MB

0 / 0

german, 1994

36

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Year:

1991

Language:

english

File:

PDF, 6.94 MB

0 / 0

english, 1991

37

Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.)

Year:

1993

Language:

english

File:

PDF, 12.18 MB

0 / 0

english, 1993

38

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Year:

1984

Language:

english

File:

DJVU, 5.98 MB

0 / 0

english, 1984

39

Logics and models of concurrent systems

Logics and models of concurrent systems

Springer-Verlag Berlin Heidelberg

E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)

Year:

1985

Language:

english

File:

DJVU, 5.18 MB

0 / 0

english, 1985

40

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

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

Springer-Verlag Berlin Heidelberg

Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard (auth.), Krzysztof R. Apt, Eric Monfroy, Antonis C. Kakas, Francesca Rossi (eds.)

Year:

2000

Language:

english

File:

PDF, 493 KB

0 / 0

english, 2000

41

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Year:

1984

Language:

english

File:

PDF, 14.67 MB

0 / 0

english, 1984

42

Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

Principles and Practice of Constraint Programming – CP’99: 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Joxan Jaffar (eds.)

Year:

1999

Language:

english

File:

PDF, 6.91 MB

0 / 0

english, 1999

43

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

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

Springer-Verlag Berlin Heidelberg

Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard (auth.), Krzysztof R. Apt, Eric Monfroy, Antonis C. Kakas, Francesca Rossi (eds.)

Year:

2000

Language:

english

File:

PDF, 3.22 MB

0 / 0

english, 2000