|
21.
|
Computing meaning, Volume 2.
by Muskens, Reinhard | Bunt, Harry C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2001Availability: Items available for loan: [Call number: 401.430285 BUN] (1).
|
|
22.
|
Computing meaning, Volume 3.
by Muskens, Reinhard | Bunt, Harry C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2007Availability: Items available for loan: [Call number: 401.430285 BUN] (1).
|
|
23.
|
Computer science : the hardware, software and heart of it
by Blum, Edward K | Aho, Alfred V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 004 BLU] (1).
|
|
24.
|
Formal languages and computation : models and their applications
by Meduna, Alexander. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2014Availability: Items available for loan: [Call number: 005.131 MED] (1).
|
|
25.
|
Concise introduction to languages and machines
by Parkes, Alan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 511.3 PAR] (1).
|
|
26.
|
Course in formal languages, automata and groups
by Chiswell, Ian. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 511.3 CHI] (1).
|
|
27.
|
Formal languages and compilation
by Crespi Reghizzi, Stefano. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2009Availability: Items available for loan: [Call number: 005.453015113 CRE] (1).
|
|
28.
|
Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003
by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
|
|
29.
|
Modelling distributed systems
by Fokkink, Wan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1).
|
|
30.
|
Theory of computer science : automata, languages and computation
by Mishra, K. L. P | Chandrasekaran, N. Edition: 3rd ed.Material type: 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).
|
|
31.
|
Introduction to formal languages and automata
by Linz, Peter. Edition: 4th ed.Material type: 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).
|
|
32.
|
Textbook on automata theory
by Srimani, P. K | Nasir, S. F. B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Foundation Books, 2008Availability: Items available for loan: [Call number: 511.3 SRI] (1).
|
|
33.
|
Introduction to formal languages and machine computation
by Yan, Song Y. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 1998Availability: Items available for loan: [Call number: 004.0151 YAN] (1).
|
|
34.
|
Models of Computation and Formal Languages
by Taylor, R. Gregory. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 1998Availability: Items available for loan: [Call number: 004.015113 TAY] (1).
|
|
35.
|
Automata theory and formal languages
by Homenda, Władysław. Publisher: Berlin : De Gruyter, 2022Availability: Items available for loan: [Call number: 004.015113 HOM] (1).
|
|
36.
|
Metasemantics and intersectionality in the misinformation age : truth in political struggle
by Anderson, Derek Egan. Publisher: cham : Palgrave Macmillan, 2021Availability: Items available for loan: [Call number: 121 AND] (1).
|
|
37.
|
Godel's theorem : a very short introduction
by Moore, Adrian William. Publisher: Oxford : Oxford University Press, 2022Availability: Items available for loan: [Call number: 511.3 MOO] (1).
|
|
38.
|
Grammatical inference : learning automata and grammars
by De la Higuera, Colin. Publisher: Cambridge : Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.131 DAL] (1).
|