|
101.
|
Algorithms and theory of computation handbook
by Atallah, Mikhail J | Marina, Blanton. Edition: 2nd ed.Material type: 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: Sebastopol: O'Reilly Media, 2013Availability: Items available for loan: [Call number: 005.1 STU] (1).
|