101. 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).
102. 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).
103. Anti-fragile : how to live in a world we don't understand

by Taleb, Nassim Nicholas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Penguin Books, 2012Availability: Items available for loan: [Call number: 155.24 TAL] (2).
104. 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).
105. 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).
106. Evolutionary multiobjective optimization : theoretical advances and applications

by Jain, Lakhmi C | Abraham, Ajith | Goldberg, Robert.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2005Availability: Items available for loan: [Call number: 005.1 ABR] (1).
107. 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).
108. 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).
109. 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).
110. Graphs, Networks and Algorithms

by Jungnickel, Dieter.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 519.64 JUN] (1).
111. 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).
112. 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).
113. 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).
114. Irreducibility and computational equivalence : 10 years after Wolfram's a new kind of Science

by Zenil, Hector.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2013Availability: Items available for loan: [Call number: 511.35 ZEN] (1).
115. Temporal networks

by Holme, Petter | Saramaki, Jari.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2013Availability: Items available for loan: [Call number: 003 HOL] (1).
116. Theory of computer science : automata, languages and computation

by Mishra, K. L. P | Chandrasekaran, N.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2007Availability: Items available for loan: [Call number: 511.35 MIS] (1).
117. Introduction to the theory of computation

by Sipser, Michael.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thomson Course Technology, 2007Availability: Items available for loan: [Call number: 511.3 SIP] (1).
118. Textbook on automata theory

by Srimani, P. K | Nasir, S. F. B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Foundation Books, 2008Availability: Items available for loan: [Call number: 511.3 SRI] (1).
119. Design and analysis of algorithms

by Dave, Parag Himanshu | Dave, Himanshu Bhalchandra.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Pearson Education, 2008Availability: Items available for loan: [Call number: 005.1 DAV] (1).
120. Understanding Computation

by Stuart, Tom.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Sebastopol: O'Reilly Media, 2013Availability: Items available for loan: [Call number: 005.1 STU] (1).

Powered by Koha