61. In pursuit of the traveling salesman : mathematics at the limits of computation

by Cook, William J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2012Availability: Items available for loan: [Call number: 511.5 COO] (1).
62. Introduction to Computational Science : Modeling and Simulation for The Sciences

by Shiflet, Angela B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2014Availability: Items available for reference: [Call number: 004 SHI] (1).
63. Foundations of algorithms using C++ pseudocode

by Naimipour, Kumarss | Neapolitan, Richard E.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Sudbury: Jones & Bartlett, 2004Availability: Items available for loan: [Call number: 518.1 NEA] (1).
64. Introducing the theory of computation

by Goddard, Wayne.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts: Jones & Bartlett, 2008Availability: Items available for loan: [Call number: 511.35 GOD] (1).
65. Computational group theory and the theory of groups

by Kappe, Luise-Charlotte | Magidin, Arturo | Morse, Robert Fitzgerald.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence: American Mathematcial Society, 2008Availability: Items available for loan: [Call number: 512.2 KAP] (1).
66. Computational topology : an introduction

by Edelsbrunner, Herbert | Harer, John L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence: American Mathematcial Society, 2010Availability: No items available Checked out (1).
67. Primer on pseudorandom generators

by Goldreich, Oded.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Providence: American Mathematcial Society, 2010Availability: Items available for loan: [Call number: 004.0151 GOL] (1).
68. Concise guide to computation theory

by Maruoka, Akira.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 511.35 MAR] (1).
69. Guide to algorithm design : paradigms, methods, and complexity analysis

by Benoit, Anne | Robert, Yves | Vivien, Frederic.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2013Availability: Items available for loan: [Call number: 005.1 BEN] (1).
70. P=NP question and Godel?s lost letter

by Lipton, Richard J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 511.3 LIP] (1).
71. Algorithms and theory of computation handbook

by Atallah, Mikhail J | Marina, Blanton.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2010Availability: Items available for loan: [Call number: 005.1 ATA ] (2).
72. Meta math! : the quest for omega

by Chaitin, Gregory J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Atlantic Books, 2007Availability: Items available for loan: [Call number: 510 CHA] (1).
73. Theory of computation

by Kozen, Dexter C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2006Availability: Items available for loan: [Call number: 511.352 KOZ] (1).
74. Sets, logic and maths for computing

by Makinson, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 004.0151 MAK] (1).
75. Reviews of nonlinear dynamics and complexity. Volume 3

by Schuster, Heinz Georg.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Weinheim: Wiley-VCH, 2010Availability: Items available for loan: [Call number: 003.75 SCH] (1).
76. Complexity explained

by Erdi, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 511.3 ERD] (1).
77. Computation in living cells : gene assembly in ciliates

by Ehrenfeucht, Andrzej | Harju, T | Petre, Ion | Prescott, D. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 571.6 EHR] (1).
78. Completeness and reduction in algebraic complexity theory

by Burgisser, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 511.352 BUR] (1).
79. Theoretical Computer Science : 6th IFIP TC 1/​WG 2.2 International Conference, TCS 2010, held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

by Calude, Cristian S | Sassone, Vladimiro.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 004 CAL] (1).
80. Sparsity : graphs, structures, and algorithms

by Nesetril, Jaroslav | Ossona de Mendez, Patrice.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2012Availability: Items available for loan: [Call number: 511.6 NES] (1).

Powered by Koha