|
|
1.
|
Complexity and real computation
by Blum, Lenore. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 BLU] (1).
|
|
|
2.
|
Algorithmic information theory
by Chaitin, Gregory J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 004.19 CHA] (1).
|
|
|
3.
|
Online computation and competitive analysis
by Borodin, Allan | El-Yaniv, Ran. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 005.1 BOR] (1).
|
|
|
4.
|
Computers and intractability : a guide to the theory of NP-completeness
by Garey, Michael R | Johnson, David S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: W. H. Freeman and Company, 1979Availability: Items available for loan: [Call number: 519.4 GAR] (2).
|
|
|
5.
|
Foundations of algorithms using Java pseudocode
by Neapolitan, Richard E | Naimipour, Kumarss. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sudbury: Jones & Bartlett, 2004Availability: Items available for loan: [Call number: 518.1 NEA] (1).
|
|
|
6.
|
Algorithms on Trees and Graphs
by Valiente, Gabriel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 VAL] (1).
|
|
|
7.
|
Counting, sampling and integrating : algorithms and complexity
by Jerrum, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2003Availability: Items available for loan: [Call number: 511.62 JER] (1).
|
|
|
8.
|
Fundamentals of the theory of computation : principles and practice
by Greenlaw, Raymond | Hoover, H. James. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Morgan Kaufmann, 1998Availability: Items available for loan: [Call number: 004 GRE] (1).
|
|
|
9.
|
Parallel algorithms for Knapsack type problems
by Aleksandrov, V. N | Megson, G. M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 1999Availability: Items available for loan: [Call number: 519.7 ALE] (1).
|
|
|
10.
|
Nonlinear workbook
by Steeb, Willi-Hans. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: World Scientific, 2002Availability: Items available for loan: [Call number: 003.75 STE] (1).
|
|
|
11.
|
Discrete mathematics for computing
by Grossman, Peter. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Palgrave Macmillan, 2009Availability: Items available for loan: [Call number: 004.0151 GRO] (1).
|
|
|
12.
|
Foundations of algorithms using C++ pseudocode
by Naimipour, Kumarss | Neapolitan, Richard E. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Sudbury: Jones & Bartlett, 2004Availability: Items available for loan: [Call number: 518.1 NEA] (1).
|
|
|
13.
|
Computational topology : an introduction
by Edelsbrunner, Herbert | Harer, John L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Providence: American Mathematcial Society, 2010Availability: No items available Checked out (1).
|
|
|
14.
|
Guide to algorithm design : paradigms, methods, and complexity analysis
by Benoit, Anne | Robert, Yves | Vivien, Frederic. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2013Availability: Items available for loan: [Call number: 005.1 BEN] (1).
|
|
|
15.
|
P=NP question and Godel?s lost letter
by Lipton, Richard J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2010Availability: Items available for loan: [Call number: 511.3 LIP] (1).
|
|
|
16.
|
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).
|
|
|
17.
|
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).
|
|
|
18.
|
Handbook of Logic and Proof Techniques for Computer Science
by Krantz, Steven G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1).
|
|
|
19.
|
Guide to graph algorithms : sequential, parallel and distributed
by Erciyes, K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Switzerland : Springer International Publishing, 2018Availability: Items available for loan: [Call number: 518.1 ERC] (1).
|
|
|
20.
|
Computational Statistic
by Givens, Geof H. Edition: 2nd ed. Publisher: New Jersey Wiley 2013Availability: Items available for loan: [Call number: 519.5 GIV] (1).
|
