|
|
141.
|
TYPES AND PROGRAMMING LANGUAGES
by Pierce,Benjamin C. Material type:  Book Description: xxi,623.Publisher: Mit Press, Cambridge c2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 P611T] (1).
|
|
|
142.
|
TYPES AND PROGRAMMING LANGUAGES
by Pierce,Benjamin C. Material type: Book Description: xxi,623.Publisher: Mit Press, Cambridge c2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 P611T] (1).
|
|
|
143.
|
FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES
by Bruce,Kim B. Material type: Book Description: xx,384.Publisher: Mit Press, Cambridge c2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.117 B83F] (1).
|
|
|
144.
|
FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES
by Bruce,Kim B. Material type: Book Description: xx,384.Publisher: Mit Press, Cambridge c2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.117 B83F] (1).
|
|
|
145.
|
FOUNDATIONS FOR PROGRAMMING LANGUAGES
by Mitchell,John C. Material type: Book Description: xix,846.Publisher: Mit Press, Cambridge c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 M694F] (1).
|
|
|
146.
|
ASN.1
by Larmouth,John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvii,472.Publisher: Morgan Kaufmann, San Diego 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.62 L326A] (1).
|
|
|
147.
|
Efficient parsing for natural language
by Tomita, Masaru. Material type: Book Description: xviii, 201p.Publisher: Boston Kluwer Academic Publishers 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.54 T595e] (1).
|
|
|
148.
|
FOUNDATIONS OF PROGRAMMING LANGUAGES
by Roosta,Seyed H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,652.Publisher: Brooks/Cole, Australia 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 R346F] (1).
|
|
|
149.
|
Theories of programming languages
by Reynolds, John C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 500p.Publisher: Cambridge Cambridge Univ. Press 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 R335t] (1).
|
|
|
150.
|
ADVANCED TOPICS IN TYPES AND PROGRAMMING LANGUAGES
by Pierce,Benjamin C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,574.Publisher: Massachusetts Institute Of Technology, Cambridge 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 AD95] (1).
|
|
|
151.
|
PROGRAMMING LANGUAGES
by Louden,Kenneth C. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,694.Publisher: Thomson, Singapore 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 L926P2] (1).
|
|
|
152.
|
PROGRAMMING LANGUAGE FUNDAMENTALS BY EXAMPLE
by Stevenson,D. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,237.Publisher: Auerbach, Boca Raton 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 ST48P] (1).
|
|
|
153.
|
SEMANTICS WITH APPLICATIONS
: AN APPETIZER
by Nielson,Hanne Riis | Nielson,Flemming. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,274.Publisher: Springer-Verlag, London 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 N554S] (1).
|
|
|
154.
|
Applications software programming with fourth-generation languages
by Wojtkowski, W. Gregory | Wojtkowski, Wita. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 594p. (Missing pages from1-20p.).Publisher: Boston Boyd & Fraser Publishing 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W829a] (1).
|
|
|
155.
|
Programming language pragmatics
by Scott, Michael L. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxx, 910p.Publisher: Amsterdam Elsevier 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 Sco85p3] (1).
|
|
|
156.
|
Introduction to concurrency in programming languages
by Sottile, Matthew J | Mattson, Timothy G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 330p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.275 So79i] (1).
|
|
|
157.
|
Steps in scala
: an introduction to object-functional programming
by Loverdos, Christos K. K | Syropoulos, Apostolos. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 485p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 L945s] (2).
|
|
|
158.
|
Computational semantics with functional programming
by Eijck, Jan Van | Unger, Christina. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 405p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 Ei47c] (1).
|
|
|
159.
|
Stochastically-based semantic analysis
by Minker, Wolfgang | Waibel, Alex. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 221p.Publisher: Boston Kluwer Academic Publishers 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 M665s] (1).
|
|
|
160.
|
Fully abstract models of programming languages
by Stoughton, Allen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 123p.Publisher: London Pitman Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 St76f] (1).
|
