|
|
1.
|
Algebraic approaches to program semantics
by Manes, Ernest G | Arbib, Michael A. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xiii, 351p.Publisher: New York Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M313a] (1).
|
|
|
2.
|
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).
|
|
|
3.
|
Selected writings on computing
: a personal perspective
by Dijkstra, Edsger W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 362p.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 D569s] (1).
|
|
|
4.
|
METHODS AND APPLICATIONS OF ERROR-FREE COMPUTATION
by Gregory, Robert Todd | Krishnamurthy, R. T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,194.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.40285 G862m] (1).
|
|
|
5.
|
METHODS AND APPLICATIONS OF ERROR-FREE COMPUTATION
by Gregory, Robert Todd | Krishnamurthy, R. T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,194.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.40285 G862m] (1).
|
|
|
6.
|
Selected writings on computing
: a personal perspective
by Dijkstra, Edsger W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 362p.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 B489s] (1).
|
|
|
7.
|
ADAPTIVE INFORMATION PROCESSING
by Sampson, Jeffrey R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,274.Publisher: New York Springer-Verlag 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 Sa48a] (1).
|
|
|
8.
|
A PROGRAMMING APPROACH TO COMPUTABILITY
by Kfoury, A. J | Arbib, Michael A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,251.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 K526p] (1).
|
|
|
9.
|
COMPILER CONSTRUCTION
by Waite, William Mccastine | Goos, Gerhard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,446.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 W134c] (1).
|
|
|
10.
|
PROGRAMMING WITH SETS
by Schwartz, J. T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,493.Publisher: New York Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P943] (1).
|
|
|
11.
|
The design of well-structured and correct programs
by Alagic, Suad | Arbib, Michael A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 292p.Publisher: New York Springer 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11d] (2).
|
|
|
12.
|
ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT
by Bauer, Friedrich Ludwig | Wossner, Hans. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,497.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B326aE] (1).
|
|
|
13.
|
ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT
by Bauer, Friedrich Ludwig | Wossner, Hans. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,497.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B326aE] (1).
|
|
|
14.
|
CHESS SKILL IN MAN AND MACHINE
by Frey, Peter William. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,329.Publisher: New York Springer Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425s2] (1).
|
|
|
15.
|
CHESS SKILL IN MAN AND MACHINE
by Frey, Peter W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,217.Publisher: New York Springer-Verlag 1977Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425] (1).
|
|
|
16.
|
CHESS SKILL IN MAN AND MACHINE
by Frey, Peter W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,217.Publisher: New York Springer-Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425] (1).
|
|
|
17.
|
CHESS SKILL IN MAN AND MACHINE
by Frey, Peter W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,217.Publisher: New York Springer-Verlag 1977Availability: No items available Checked out (1).
|
|
|
18.
|
Synthesizer generator reference manual
by Reps, Thomas W | Teitelbaum, Tim. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 171p.Publisher: New York Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R299s3] (1).
|
|
|
19.
|
Object-oriented database programming
by Alagic, Suad. Material type: Book Description: xv, 320p.Publisher: New York Springer c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11o] (1).
|
|
|
20.
|
DESIGN AND ANALYSIS OF ALGORITHMS
by Kozen, Dexter C. Material type: Book Description: x,320.Publisher: New York Springer-Verlag c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K849d] (2).
|
