|
121.
|
COMPUTATION OF LANGUAGE
by Hausser, Roland. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,425.Publisher: Berlin Springer-Verlag 1989Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.535 H296c] (1).
|
|
122.
|
PROGRAM DEVELOPMENT BY SPECIFICATION AND TRANSFORMATION
by Hoffmann, Berthold | Krieg-Bruckner, Bernd. Material type: Book Description: xiv,623.Publisher: Berlin Springer-Verlag c1993Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
123.
|
Natural language understanding
by Allen, James. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 574p.Publisher: Mento Park Benjamin/Cummings 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Al53n] (1).
|
|
124.
|
Constraint-based grammar formalisms
: parsing and type inference for natural and computer languages
by Shieber, Stuart M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,183p.Publisher: Cambridge Mit Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.285 Sh61c] (1).
|
|
125.
|
INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS
by Reichel, Horst. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 221.Publisher: Oxford Clarendon Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 R271i] (1).
|
|
126.
|
SEMANTICS OF PROGRAMMING LANGUAGES
by Gunter,Carl A. Material type: Book Description: xviii,419.Publisher: Mit Press, Cambridge c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 G957S] (1).
|
|
127.
|
THE FORMAL SEMANTICS OF PROGRAMMING LANGUAGES
by Winskel,Glynn. Material type: Book Description: xviii,361.Publisher: Mit Press, Cambridge c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W732F] (1).
|
|
128.
|
FORMAL SYNTAX AND SEMANTICS OF PROGRAMMING LANGUAGES
by Slonneger,Kenneth | Kurtz,Barry L. Material type: Book Description: xviii,637.Publisher: Addison-Wesley, Reading,Mass. c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 SL54F] (1).
|
|
129.
|
A human factors experimental comparison of two database query languages
by Yen, Minnie Yi-Miin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 264p.Publisher: Ann Arbor University Microfilms International 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 Y39h] (1).
|
|
130.
|
Data types and persistence
by Atkinson, Malcolm P [ed.] | Buneman, Peter [ed.] | Morrison, Ronald [ed.]. Material type: Book Description: xviii, 292p.Publisher: Berlin Springer Verlag 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 D262] (1).
|
|
131.
|
GEOMETRIC REASONING
by Woodwark, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,282.Publisher: Oxford Clarendon Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 G292w] (1).
|
|
132.
|
The clausal theory of types
by Wolfram, D. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 124p.Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W833c] (1).
|
|
133.
|
Programming logics
: an introduction to verification and semantics
by Gumb, Raymond D. Material type: Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G952p] (1).
|
|
134.
|
FORMAL SPECIFICATION AND DESIGN
by Feijs, L. M. G | Jonkers, H. B. M. Material type: Book Description: xvi,335.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 F324f] (1).
|
|
135.
|
ALGEBRAIC THEORY OF PROCESSES
by Hannesay, Matthew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,273.Publisher: Cambridge Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6420151 H196a] (1).
|
|
136.
|
SYSTEM SIMULATION PROGRAMMING STYLES AND LANGUAGES
by Kreutzer, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,366.Publisher: Sydney Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K888s] (1).
|
|
137.
|
PROGRAMMING IN OCCAM 2
by Burns, Alan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,189.Publisher: Workingham Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 B937p] (1).
|
|
138.
|
PROGRAMMING LANGUAGES
by Appleby,Doris | Vandekopple,Julius J. Edition: 2ndMaterial type: Book Description: xx,444.Publisher: Mcgraw-Hill, New York c1997Availability: No items available Checked out (1).
|
|
139.
|
OBJECT-ORIENTED PROGRAMMING
by Castagna,Giuseppe. Material type: Book Description: xviii,366.Publisher: Birkhauser, Boston c1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 C274O] (1).
|
|
140.
|
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).
|