61. Machine translation

by Bhattacharyya, Pushpak.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: Taylor & Francis, 2015Availability: Items available for loan: [Call number: 418.020285 BHA] (1).
62. Formal languages and computation : models and their applications

by Meduna, Alexander.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 005.131 MED] (1).
63. Data clustering : algorithms and applications

by Aggarwal, Charu C | Reddy, Chandan K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 519.535 AGG] (1).
64. Stochastic relations : foundations for Markov transition systems

by Doberkat, Ernst-Erich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: Chapman & Hall/CRC, 2007Availability: Items available for loan: [Call number: 004.0151 DOB] (1).
65. Meta math! : the quest for omega

by Chaitin, Gregory J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Atlantic Books, 2007Availability: Items available for loan: [Call number: 510 CHA] (1).
66. Concise introduction to languages and machines

by Parkes, Alan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 511.3 PAR] (1).
67. Course in formal languages, automata and groups

by Chiswell, Ian.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 511.3 CHI] (1).
68. Elements of Computation Theory

by Singh, Arindama.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2009Availability: Items available for loan: [Call number: 004 SIN] (1).
69. Pervasive computing : innovations in intelligent multimedia and applications

by Hassanien, Aboul-ella.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2010Availability: Items available for loan: [Call number: 004 HAS] (1).
70. Universal turing machine : a half-century survey

by Herken, Rolf.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Oxford: Springer, 1995Availability: Items available for loan: [Call number: 511.3 HER] (1).
71. Geographic interpretations of the internet

by Kellerman, Aharon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2016Availability: Items available for loan: [Call number: 004.678 KEL] (1).
72. Abstract computing machines : a lambda calculus perspective

by Kluge, Werner.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 511.3 KLU] (1).
73. Theory of computer science : automata, languages and computation

by Mishra, K. L. P | Chandrasekaran, N.

Edition: 3rd ed.Material type: book 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).
74. Introduction to the theory of computation

by Sipser, Michael.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Australia: Thomson Course Technology, 2007Availability: Items available for reference: [Call number: 511.3 SIP] (1).
75. Introduction to formal languages and automata

by Linz, Peter.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Narosa Publishing House, 2006Availability: Items available for loan: [Call number: 005.131 LIN] (2). Items available for reference: [Call number: 005.131 LIN] (1).
76. Textbook on automata theory

by Srimani, P. K | Nasir, S. F. B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Foundation Books, 2008Availability: Items available for loan: [Call number: 511.3 SRI] (1).
77. Introduction to formal languages and machine computation

by Yan, Song Y.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 1998Availability: Items available for loan: [Call number: 004.0151 YAN] (1).
78. Applications of automata theory and algebra : via the mathematical theory of complexity to biology, physics, psychology, philosophy, and games

by Rhodes, John | Nehaniv, Chrystopher L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 2009Availability: Items available for loan: [Call number: 512.2 RHO] (1).
79. Modern applications of automata theory

by D'souza, Deepak | Shankar, Priti.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 2012Availability: No items available Checked out (1).
80. Introduction to the theory of computation

by Sipser, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Brooks/Cole, 1997Availability: Items available for loan: [Call number: 511.3 SIP] (1). Checked out (1).

Powered by Koha