|
681.
|
INDO - ARYAN LANGUAGES
by Masica,Colin P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,539.Publisher: Cambridge Univ. Press, Cambridge 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 491.1 M378I] (1).
|
|
682.
|
Perspectives on pedagogical grammar
by Odlin,Terence, ed. Material type: Book Description: x, 340p.Publisher: Cambridge Cambridge Univ. Press c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 418.007 P432] (1).
|
|
683.
|
DESIGNING TASKS FOR THE COMMUNICATIVE CLASSROOM
by Nunan,David. Material type: Book Description: x,211.Publisher: Cambridge Univ. Press,Cambridge c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 418.007 N92D] (1).
|
|
684.
|
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).
|
|
685.
|
INTRODUCTION TO THE FINITE ELEMENT METHODS USING BASIC PROGRAMS
by Brown, David K. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: x,273.Publisher: Glasgow Surrey University Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.1701515353 B812i2] (1).
|
|
686.
|
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).
|
|
687.
|
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).
|
|
688.
|
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).
|
|
689.
|
Functional programming
: practice and theory
by Maclennan, Bruce J. Material type: Book Description: xii, 596p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M224f] (1).
|
|
690.
|
Functional programming
: practice and theory
by Maclennan, Bruce J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 596p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M224f] (1).
|
|
691.
|
Programming logics
: an introduction to verification and semantics
by Gumb, Raymond D. Material type: Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: No items available Checked out (1).
|
|
692.
|
Implementation of functional programming languages
by Jones, Simon L. Peyton. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 445p.Publisher: London Prentice-Hall International Pub. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 J69i] (1).
|
|
693.
|
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).
|
|
694.
|
TALKING DIFFERENCE
by Crawford,Mary. Material type: Book Description: xiii,207.Publisher: Sage Publications, London c1995Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 306.44 C858T] (1).
|
|
695.
|
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).
|
|
696.
|
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).
|
|
697.
|
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).
|
|
698.
|
EXPLORATIONS IN INDIAN SOCIOLINGUISTICS
by Singh, Rajendra [ed.]. Material type: Book Description: 258.Publisher: Sage Publications,New Delhi c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 306.440954 EX74S] (1).
|
|
699.
|
Seeds of speech
: language origin and evolution
by Aitchison, Jean, 1938-. Material type: Book Description: xii,281p.Publisher: Cambridge Cambridge Univ. Press, c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401 AI91S] (1).
|
|
700.
|
METAPHYSICS OF MEANING
by Katz,Jerrold J. Material type: Book Description: xi,356.Publisher: Mit Press, Cambridge c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 149.94 K159M] (1).
|