Koha online

41.
Gems of Theoretical Computer Science

by Schoning, Uwe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1995Availability: Items available for loan: [Call number: 004 SCH] (1).
Place hold
42.
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).
Place hold
43.
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).
Place hold
44.
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).
Place hold
45.
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).
Place hold
46.
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).
Place hold
47.
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).
Place hold
48.
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).
Place hold
49.
Elements of information theory

by Cover, Thomas M | Thomas, Joy A.

Edition: Wiley Student ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Wiley, 2006Availability: Items available for loan: [Call number: 003.54 COV] (3). Checked out (2).
Place hold
50.
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).
Place hold
51.
Enterprise Modeling with UML

by Marshall, Chris.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Massachusetts: Addison-Wesley, 2001Availability: Items available for loan: [Call number: 005.117 MAR] (2).
Place hold
52.
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).
Place hold
53.
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).
Place hold
54.
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).
Place hold
55.
Formal models of computation : the ultimate limits of computing

by Fleck, Arthur.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 2001Availability: Items available for loan: [Call number: 005.131 FLE] (1).
Place hold
56.
Nonlinear workbook

by Steeb, Willi-Hans.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: World Scientific, 2002Availability: Items available for loan: [Call number: 003.75 STE] (1).
Place hold
57.
Current Trends in Theoretical Computer Science : The Challenge of the New Century. Volume 1

by Paun, Gheorghe | Rozenberg, Grzegorz.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: World Scientific, 2004Availability: Items available for loan: [Call number: 004 PAU] (1).
Place hold
58.
Formal models, languages and applications

by Subramanian, K. G | Mukund, Madhavan | Rangarajan, K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 2006Availability: Items available for loan: [Call number: 005.131 SUB] (1).
Place hold
59.
Unknowable

by Chaitin, Gregory J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1999Availability: Items available for loan: [Call number: 511.3 CHA] (1).
Place hold
60.
Making breaking codes : introduction to cryptography

by Garrett, Paul.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 2001Availability: Items available for loan: [Call number: 003.54 GAR] (2).
Place hold

Powered by Koha