21. Collision-Based Computing

by Adamatzky, Andrew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 511.3 ADA] (1).
22. Logic and complexity

by Lassaigne, Richard | Rougemont, Michel de.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2004Availability: Items available for loan: [Call number: 511.3 LAS] (1).
23. Uncertainty and surprise in complex systems : questions on working with the unexpected

by Driebe, D. J | McDaniel, R. R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 511.3 MCD] (1).
24. Algorithmic information theory: mathematics of digital information processing

by Seibt, Peter.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 006.31 SEI] (1).
25. Computing in living cells : gene assembly in ciliates

by Ehrenfeucht, A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 571.622 EHR] (1).
26. Randomness and Completeness in Computational Complexity

by Melkebeek, Dieter van.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MEL] (1).
27. Algorithms on Trees and Graphs

by Valiente, Gabriel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1 VAL] (1).
28. Substitutions in dynamics, arithmetics and combinatorics

by Pytheas Fogg, N | Berthe, V.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 510 PYT] (1).
29. Efficient checking of polynomials and proofs and the hardness of approximation problems

by Sudan, Madhu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 SUD] (1).
30. Petri Net algebra

by Devillers, Raymond | Koutny, Maciej.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 BES] (1).
31. Cryptographic applications of analytic number theory : complexity lower bounds and pseudorandomness

by Shparlinski, Igor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkhauser Verlag, 2003Availability: Items available for loan: [Call number: 512.73 SHP] (1).
32. Counting, sampling and integrating : algorithms and complexity

by Jerrum, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkhauser Verlag, 2003Availability: Items available for loan: [Call number: 511.62 JER] (1).
33. Elements of the Theory of Computation

by Lewis, Harry R | Papadimitriou, Christos H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 004 LEW] (1).
34. Elements of the Theory of Computation

by Lewis, Harry R | Papadimitriou, Christos H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2003Availability: Items available for loan: [Call number: 004 LEW] (8).
35. Theory of automata, formal langauges and computation

by Xavier, S. P. Eugene.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: New Age International, 2004Availability: Items available for loan: [Call number: 511 XAV] (1).
36. Theory of automata, formal languages and computation : strictly as per U.P. Tech syllabus

by Xavier, Eugene S. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: New Age International, 2005Availability: Items available for loan: [Call number: 511.3 XAV] (1).
37. Introduction to automata theory, languages, and computation

by Hopcroft, John E | Motwani, Rajeev | Ullman, Jeffrey D.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Pearson Education Asia, 2007Availability: Items available for loan: [Call number: 511.3 HOP] (1).
38. Elements of the Theory of Computation

by Lewis, Harry R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Pearson Education Asia, 2001Availability: Items available for loan: [Call number: 004 LEW] (1).
39. Fundamentals of the theory of computation : principles and practice

by Greenlaw, Raymond | Hoover, H. James.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Morgan Kaufmann, 1998Availability: Items available for loan: [Call number: 004 GRE] (1).
40. Parallel algorithms for Knapsack type problems

by Aleksandrov, V. N | Megson, G. M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 1999Availability: Items available for loan: [Call number: 519.7 ALE] (1).

Powered by Koha