Koha online

1.
Computability, complexity and language : fundamentals of theoretical computer science

by Davis, Martin D | Sigal, Ron | Weyuker, Elaine J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1994Availability: Items available for loan: [Call number: 511.3 DAV] (1).
Place hold
2.
Communication and concurrency

by Milner, Robin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: Prentice Hall, 1989Availability: Items available for loan: [Call number: 511 MIL] (1).
Place hold
3.
Languages and machines : an introduction to the theory of computer science

by Sudkamp, Thomas A.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2005Availability: Items available for reference: [Call number: 511.3 SUD] (1).
4.
Word processing in groups

by Epstein, David B. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Jones & Bartlett, 1992Availability: Items available for loan: [Call number: 511.3 EPS] (1).
Place hold
5.
Automata and languages: Theory and applications

by Meduna, Alexander.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 511.3 MED] (1).
Place hold
6.
Introduction to languages, machines and logic: Computable languages, abstract machines and formal logic

by Parkes, Alan P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 511.3 PAR] (1).
Place hold
7.
Parsing theory.

by Sippu, Seppo | Soisalon-Soininen, Eljas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1990Availability: Items available for loan: [Call number: 511.3 SIP] (1).
Place hold
8.
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
9.
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
10.
Theory of formal languages with applications

by Simovici, Dan A | Tenney, Richard L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: World Scientific, 1999Availability: Items available for loan: [Call number: 004.015113 SIM] (1).
Place hold
11.
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
12.
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
13.
Elements of discrete mathematics

by Liu, C. L.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2000Availability: Items available for loan: [Call number: 511.3 LIU] (6).
Place hold
14.
Languages and Machines

by Sudkamp, Thomas A.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: Addison-Wesley, 1998Availability: Items available for loan: [Call number: 511.3 SUD] (1).
Place hold
15.
Second course in formal languages and automata theory

by Shallit, Jeffrey.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 005.131 SHA] (1).
Place hold
16.
Introduction to formal languages and automata

by Linz, Peter.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Jones & Bartlett, 2006Availability: Items available for loan: [Call number: 005.131 LIN] (1).
Lists:
Place hold
17.
JFLAP : an interactive formal languages and automata package

by Rodger, Susan H | Finley, Thomas W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Sudbury: Jones & Bartlett, 2006Availability: Items available for loan: [Call number: 511.3 ROD] (1).
Place hold
18.
Algorithms, languages, automata, and compilers : a practical approach

by Mozgovoy, Maxim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Sudbury: Jones & Bartlett, 2010Availability: Items available for loan: [Call number: 511.3 MOZ] (2).
Place hold
19.
Elements of discrete mathematics

by Liu, C. L.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2000Availability: Items available for loan: [Call number: 511.3 LIU] (4). Items available for reference: [Call number: 511.3 LIU] (1).
Place hold
20.
Computing meaning, Volume 1.

by Muskens, Reinhard | Bunt, Harry C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2002Availability: Items available for loan: [Call number: 401.430285 BUN] (1).
Place hold

Powered by Koha