1. Computability and logic

by Boolos, George S | Burgess, John P | Jeffrey, Richard C.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 511.3 BOO] (1).
2. Recursive function theory and logic

by Yasuhara, Ann.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).
3. Stochastic approximation and recursive algorithms and applications

by Kushner, Harold J | Yin, George.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2003Availability: Items available for loan: [Call number: 519.2 KUS] (1).
4. Rigid body dynamics algorithms

by Featherstone, Roy.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 629.892 FEA] (1).
5. Super-recursive algorithms

by Burgin, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.352 BUR] (1).
6. Computability and logic

by Boolos, George S | Burgess, John P | Jeffrey, Richard C.

Edition: 5th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 511.352 BOO] (1).
7. Python data structures and algorithms : improve the performance and speed of your applications

by Baka, Benjamin.

Publisher: Birmingham : Packt Publishing, 2017Availability: Items available for loan: [Call number: 005.133 BAK] (1).

Powered by Koha