Krzysztof R. Apt: որոնել Z-Library կայքում

John C. Mitchell, Krzysztof Apt

Տարի:

2001

Լեզու:

english

Ֆայլ:

PDF, 7.59 MB

0 / 1.0

english, 2001

A Brief History of Mathematics for Curious Minds

World Scientific Publishing Company

Krzysztof R Apt

Տարի:

2024

Լեզու:

english

Ֆայլ:

PDF, 40.13 MB

0 / 4.0

english, 2024

Principles of Constraint Programming

Krzysztof Apt

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 1.74 MB

0 / 0

english, 2003

From Logic Programming to Prolog

Prentice Hall

Krzysztof R. Apt

Տարի:

1996

Լեզու:

english

Ֆայլ:

PDF, 1.30 MB

0 / 0

english, 1996

Verification of sequential and concurrent programs

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

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 2.10 MB

0 / 0

english, 2009

Principles of constraint programming

Krzysztof Apt

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 1.73 MB

0 / 0

english, 2003

Constraint Logic Programming using Eclipse

Krzysztof R. Apt, Mark Wallace

Տարի:

2007

Լեզու:

english

Ֆայլ:

PDF, 1.50 MB

0 / 0

english, 2007

Concepts in programming languages

John C. Mitchell, Krzysztof Apt

Տարի:

2001

Լեզու:

english

Ֆայլ:

PDF, 7.59 MB

0 / 0

english, 2001

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 1.72 MB

0 / 0

english, 2011

The Logic Programming Paradigm: A 25-Year Perspective

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.)

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 12.77 MB

0 / 0

english, 1999

New Perspectives on Games and Interaction

Amsterdam University Press

Krzysztof R. Apt, Robert van Rooij, eds.

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 8.89 MB

0 / 0

english, 2009

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Տարի:

1997

Լեզու:

english

Ֆայլ:

PDF, 9.05 MB

0 / 0

english, 1997

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

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

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 3.72 MB

0 / 0

english, 2009

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, J W de Bakker, J J M M Rutten

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

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 6.05 MB

0 / 0

english, 2004

Logic programming languages : constraints, functions, and objects

MIT Press

Տարի:

1993

Լեզու:

english

Ֆայլ:

PDF, 49.82 MB

0 / 0

english, 1993

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

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

Տարի:

1995

Լեզու:

english

Ֆայլ:

DJVU, 3.12 MB

0 / 0

english, 1995

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 1.72 MB

0 / 0

english, 2011

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

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

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 2.34 MB

0 / 0

english, 2000

Logic programming languages : constraints, functions, and objects

MIT Press

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

Տարի:

1993

Լեզու:

english

Ֆայլ:

DJVU, 2.08 MB

0 / 0

english, 1993

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

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

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 4.74 MB

0 / 0

english, 1999

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

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

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 3.03 MB

0 / 0

english, 2008

The Logic programming paradigm : a 25-year perspective

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

Տարի:

1999

Լեզու:

english

Ֆայլ:

DJVU, 4.12 MB

0 / 0

english, 1999

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

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

Տարի:

1993

Լեզու:

english

Ֆայլ:

DJVU, 7.47 MB

0 / 0

english, 1993

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

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

Տարի:

1982

Լեզու:

english

Ֆայլ:

DJVU, 4.66 MB

0 / 0

english, 1982

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

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

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 3.80 MB

0 / 0

english, 2004

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

The MIT Press

Krzysztof Apt (ed.)

Տարի:

1992

Լեզու:

english

Ֆայլ:

DJVU, 9.47 MB

0 / 0

english, 1992

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

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

Տարի:

1982

Լեզու:

english

Ֆայլ:

PDF, 10.98 MB

0 / 0

english, 1982

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

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

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 3.43 MB

0 / 0

english, 2004

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

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

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 3.63 MB

0 / 0

english, 2009

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 6.94 MB

0 / 0

english, 1991

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

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

Տարի:

1993

Լեզու:

english

Ֆայլ:

PDF, 12.18 MB

0 / 0

english, 1993

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

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

Տարի:

1984

Լեզու:

english

Ֆայլ:

DJVU, 5.98 MB

0 / 0

english, 1984

Logics and models of concurrent systems

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

Տարի:

1985

Լեզու:

english

Ֆայլ:

DJVU, 5.18 MB

0 / 0

english, 1985

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

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

Տարի:

2000

Լեզու:

english

Ֆայլ:

PDF, 493 KB

0 / 0

english, 2000

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

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

Տարի:

1984

Լեզու:

english

Ֆայլ:

PDF, 14.67 MB

0 / 0

english, 1984

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

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

Տարի:

1999

Լեզու:

english

Ֆայլ:

PDF, 6.91 MB

0 / 0

english, 1999

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