|
21.
|
Collision-Based Computing
by Adamatzky, Andrew. Material type: 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 1999Availability: Items available for loan: [Call number: 519.7 ALE] (1).
|