|
141.
|
Primality and cryptography
by Kranakis, Evangelos. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 235p.Publisher: Chichester John Wiley & Sons 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.5436 K861p] (1).
|
|
142.
|
LOCUS DISTRIBUTED SYSTEM ARCHITECTURE
by Popek, Gerald | Walker, Bruce J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,148.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.644 L819p] (1).
|
|
143.
|
DIGITAL COMMUNICATION
by Korn, Israel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,676.Publisher: New York Van Nostrand Reinhold 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38 K842dc] (1).
|
|
144.
|
PROGRAMMING LANGUAGE TRANSLATION
by Terry, Patrick D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,443.Publisher: Wokingham Addison Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 T279p] (1).
|
|
145.
|
SYSTEM AIDS IN CONSTRUCTING CONSULTATION PROGRAMS
by Melle, William J. Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,173.Publisher: Ann Arbor Umi Research Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 M487s] (1).
|
|
146.
|
EVOLUTION OF PROGRAMS
by Dershowitz, Nachum. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 357.Publisher: Boston Birkhauser 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 D448e] (1).
|
|
147.
|
Functional programming
: application and implementation
by Henderson, Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 355p.Publisher: Englewood Cliffs, N.ew Jersey Prentice-Hall International 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H383f] (1).
|
|
148.
|
PICTURE LANGUAGES
by Rosenfeld, Azriel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,225.Publisher: New York Academic Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.891 R724p] (1).
|
|
149.
|
UNIX SYSTEM V ENVIRONMENT
by Bourne, Stephen R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,378.Publisher: Workingham Addison-Wesley 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 B667us] (1).
|
|
150.
|
Formal specification and software development
by Bjørner, Dines | B, Cliff. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,501p.Publisher: London Prentice-Hall International 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B557f] (1).
|
|
151.
|
Introduction to operating system design
by Habermann, Arie Nicolaas. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 372p.Publisher: Chicago Science Research Associates 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H113i] (1).
|
|
152.
|
PROGRAMMING METHODOLOGY
by Gries, David. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 417.Publisher: New York Springer Verlag 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P943] (1).
|
|
153.
|
Concepts of programming languages
by Elson, Mark. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 333p.Publisher: Chicago Science Research Associates 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 El78c] (5).
|
|
154.
|
COMPUTER ORGANIZATION AND PROGRAMMING
by Gear, C. William. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,442.Publisher: Auckland Mcgraw-Hill 1981Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 G261e3] (1).
|
|
155.
|
Fundamentals of algebraic specification 1
: equations and initial semantics
by Ehrig, H | Mahr, B., ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 321p.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Eh88f] (2).
|
|
156.
|
Foundations of program verification
by Loeckx, Jacques | Sieber, Kurt. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 230p.Publisher: Chichester, New York John Wiley 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L822f] (1).
|
|
157.
|
Foundations of program verification [2nd ed.]
by Loeckx, Jacques | Sieber, Kurt. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 230p.Publisher: Chichester, New York John Wiley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L822f2] (1).
|
|
158.
|
LOGO
by Lukas, George | Kukas, Joan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,414.Publisher: Monterey Brooks/Cole 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L969LO] (1).
|
|
159.
|
DATA ABSTRACTION IN PROGRAMMING LANGUAGES
by Bishop, Judy. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,166.Publisher: Workingham Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B541d] (1).
|
|
160.
|
Flow analysis of computer programs
by Hecht, Matthew S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 232p.Publisher: New York North-Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.61 H355f] (2).
|