Koha online catalog › Results of search for 'au:"Apt, Krzysztof R."'

	1.	Verification of sequential and concurrent programs by Apt, Krzysztof R \| Olderog, Ernst-Rudiger. Edition: 2nd ed.Material type: Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 005.14 APT] (1). Place hold
	2.	Logic programming paradigm : a 25-year perspective by Apt, Krzysztof R. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 005.115 APT] (1). Place hold
	3.	Lectures in game theory for computer scientists by Apt, Krzysztof R \| Gradel, Erich. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2011Availability: Items available for loan: [Call number: 004.015193 APT] (1). Place hold
	4.	Principles of constraint programming by Apt, Krzysztof R. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2003Availability: Items available for loan: [Call number: 005.1 APT] (1). Place hold
	5.	Constraint logic programming using ECLiPSe by Apt, Krzysztof R. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 005.116 APT] (1). Place hold

Koha online