|
321.
|
Literary Theory
by Culler, Jonathan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 2000Availability: Items available for loan: [Call number: 801.95 CUL] (1).
|
|
322.
|
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).
|
|
323.
|
Architecture of Language
by Chomsky, Noam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Oxford University Press, 2003Availability: Items available for loan: [Call number: 408 CHO] (1).
|
|
324.
|
Foundations of object-oriented languages : types and semantics
by Bruce, Kim B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: MIT Press, 2002Availability: Items available for loan: [Call number: 005.117 BRU] (1).
|
|
325.
|
Language : the basics
by Trask, R. L. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Routledge, 1999Availability: Items available for loan: [Call number: 400 TRA] (3).
|
|
326.
|
On nature and language
by Chomsky, Noam | Belletti, Adriana | Rizzi, Luigi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2002Availability: Items available for loan: [Call number: 401 CHO] (1).
|
|
327.
|
Logic programming : operational semantics and proof theory
by Andrews, James H. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 005.131 AND] (1).
|
|
328.
|
Introduction to the theory of computation
by Sipser, Michael. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Brooks/Cole, 1997Availability: Items available for loan: [Call number: 511.3 SIP] (2).
|
|
329.
|
Tools 33.
by Mitchell, Richard. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: IEEE Press, 2000Availability: Items available for loan: [Call number: 005.117 MIT] (1).
|
|
330.
|
Languages for Digital Embedded Systems
by Edwards, Stephen A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Kluwer Academic Publishers, 2000Availability: No items available Checked out (1).
|
|
331.
|
Introduction to language processing with perl and prolog : an outline of theories, implementation, and application with special consideration of English, French, and German
by Nugues, Pierre M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 005.133 NUG] (1).
|
|
332.
|
UML 2000 - The Unified Modeling Language : Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 : Proceedings
by Kent, Stuart | Evans, Andy | Selic, Bran. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 EVA] (1).
|
|
333.
|
Formal and natural computing : essays dedicated to Grzegorz Rozenberg
by Brauer, Wilfri. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 BRA] (1).
|
|
334.
|
Theory of Computation
by Moret, Bernard M. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education Asia, 2002Availability: Items available for loan: [Call number: 004 MOR] (1).
|
|
335.
|
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : Advanced Lectures
by Bernardo, Marco | Inverardi, Paola. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
336.
|
System level design model with reuse of system IP
by Cavalloro, Patrizia. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic, 2003Availability: Items available for loan: [Call number: 004.6 CAV] (1).
|
|
337.
|
Software architecture in practice
by Bass, Len | Clements, Paul | Kazman, Ric. Edition: 2nd edMaterial type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi: Pearson Education, 2004Availability: Items available for loan: [Call number: 005.1 BAS] (1).
|
|
338.
|
Nominal sets : names and symmentry in computer science
by Pitts, Andrew. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: [Call number: 005.13 PIT] (1).
|
|
339.
|
Chattisgarh Ki Bhashayen
by Devy, G.N | Kara, Cittaranjana. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Orient Blackswan, 2015Availability: Items available for loan: [Call number: 409.54 DEV] (1).
|
|
340.
|
Rajasthan Ki bhashayen
by Devy, G.N | Meena, Madan | Rao, Suraj. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Orient Blackswan, 2015Availability: Items available for loan: [Call number: 409.54 DEV] (1).
|