|
681.
|
NEW PARADIGMS FOR SOFTWARE DEVELOPMENT
by Agresti, William W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,295.Publisher: Washington, D. C. Ieee Computer Society Pr. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Ag82np] (1).
|
|
682.
|
Program construction and verification
by Backhouse, Roland C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).
|
|
683.
|
Program construction and verification
by Backhouse, Roland C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).
|
|
684.
|
ADVANCED PROGRAMMING
by Barron, David William | Bishop, J. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,277.Publisher: Chichester John Wiley 1984Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B268a] (1).
|
|
685.
|
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).
|
|
686.
|
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).
|
|
687.
|
Programs and machines
: an introduction to the theory of computation
by Bird, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 214p.Publisher: London John Wiley 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B532p] (1).
|
|
688.
|
SOFTWARE ENGINEERING WITH ADA
by Booch, Grady. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,502.Publisher: California Benjamin/Cummings 1983Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 B644s] (1).
|
|
689.
|
DIGITAL CONTROL SYSTEMS
by Kuo, Benjamin C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,730.Publisher: New York Holt, Rinehart Adn Winston 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 629.8043 K965d] (1).
|
|
690.
|
DIGITAL CONTROL SYSTEMS
by Kuo, Benjamin C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,730.Publisher: New York Holt, Rinehart Adn Winston 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8043 K965d] (1).
|
|
691.
|
SIGNAL PROCESSING
: THE MODEL-BASED APPROACH
by Candy, James V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,240.Publisher: New York Mcgraw-Hill 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38043 C161s] (1).
|
|
692.
|
DIGITAL CONTROL SYSTEMS
by Isermann, Rolf. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,566.Publisher: Berlin Springer-Verlag 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 Is2dE] (1).
|
|
693.
|
DIGITAL CONTROL SYSTEMS
by Isermann, Rolf. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,566.Publisher: Berlin Springer-Verlag 1981Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 Is2dE] (1).
|
|
694.
|
DIGITAL CIRCUITS
by Mackay, Charles W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,366.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 M192d] (1).
|
|
695.
|
DIGITAL CIRCUITS
by Mackay, Charles W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,366.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 M192d] (1).
|
|
696.
|
DIGITAL CONTROL SYSTEMS
by Houpis, Constantine H | Lamont, Gary B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,667.Publisher: New York Mcgraw-Hill 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.895 H815d] (1).
|
|
697.
|
DIGITAL CONTROL SYSTEMS
: THEORY, HARDWARE, SOFTWARE
by Houpis, Constantine H | Lamont, Gary B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,667.Publisher: New York Mcgraw-Hill 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.895 H815d] (1).
|
|
698.
|
APPLIED DIGITAL CONTROL
by Tzafestas, Spyros G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,305.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.895 Ap58] (1).
|
|
699.
|
APPLIED DIGITAL CONTROL
by Leigh, J. R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,408.Publisher: Englewood Cliffs Prentice-Hall 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.895 L533a] (1).
|
|
700.
|
COMPLEX DIGITAL CONTROL SYSTEMS
by Rao, Guthikonda V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,516.Publisher: New York Van Nostrand Reinhold 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.895 R18c] (1).
|