|
|
3421.
|
VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE
by Quirk, W. J. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xi,245.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 V588] (1).
|
|
|
3422.
|
FINITE ELEMENT SYSTEMS
by Brebbia, C. A. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 496.Publisher: Berlin Springer-Verlag 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 003 F495] (1).
|
|
|
3423.
|
SEAWATER AND DESALTING
by Delyannis, Anthony | Delyannis, E. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 188.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 628.167 D389s] (1).
|
|
|
3424.
|
SEAWATER AND DESALTING
by Delyannis, Anthony | Delyannis, E. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 188.Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 628.167 D389s] (1).
|
|
|
3425.
|
HYDROSOFT 86
by Radojkovic, N | Brebbia, C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 523.Publisher: Berlin Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 627.0285 H992r] (1).
|
|
|
3426.
|
OFFSHORE AND COASTAL MODELLING
by Dyke, P. P. G [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,399p.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 627.042 Of2] (1).
|
|
|
3427.
|
REGULAR STRUCTURES
by Grenander, Ulf. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 3 v.Publisher: New York Springer-Verlag 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 002.534 G865r] (1).
|
|
|
3428.
|
THREE-DIMENSIONAL COMPUTER VISION
by Shirai, Yoshiaki. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,297.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 Sh65t] (1).
|
|
|
3429.
|
CIRCULAR CYLINDRICAL SHELLS SUBJECTED TO CONCENTRATED RADIAL LOADS
by Bieger, Klaus-Wolfganj. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer Verlag 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.1776 B475c] (1).
|
|
|
3430.
|
INELASTIC BEHAVIOUR OF PLATES AND SHELLS
by Bevilacqua, L | Valid, R. Material type: Book Description: xxii,652.Publisher: Berlin Springer-Verlag 19-Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.1776 In3b] (1).
|
|
|
3431.
|
PYRAMIDAL SYSTEMS FOR COMPUTER VISION
by Cantoni, Verginio [ed.] | Levialdi, Stefano [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,392.Publisher: Berlin Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 P998] (1).
|
|
|
3432.
|
Data structures and algorithms [vol1 and 3]
by Mehlhorn, Kurt. Material type: Book; Format:
print
; Literary form:
not fiction
Description: various pagings.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 M473d v.1 cop.2] (3).
|
|
|
3433.
|
COMPUTER GRAPHICS PROGRAMMING
by Enderle, G | Pfaff, G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,542.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 En21c] (1).
|
|
|
3434.
|
ADVANCED COMPUTER GRAPHICS
: proceedings...
by Kunii, Tosiyasu L [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,504.Publisher: Tokyo Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 Ad95] (1).
|
|
|
3435.
|
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).
|
|
|
3436.
|
ON KNOWLEDGE BASE MANAGEMENT SYSTEMS
: INTEGRATING ARTIFICIAL INTELLIGENCE AND DATABASE TECHNOLOGIES
by Brodie, Michael L [ed.] | Mylopoulos, John [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi,660.Publisher: London Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 On1] (1).
|
|
|
3437.
|
Fundamental of programming languages
by Horowitz, Ellis. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,450p.Publisher: Berlin Springer-Verlarg 1983Other title: by Ellis Horowitz.Availability: No items available Withdrawn (1).
|
|
|
3438.
|
FUNDAMENTALS OF PROGRAMMING LANGUAGES
by Horowitz, Ellis. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,450.Publisher: Berlin Springer-Verlag 1983Availability: No items available Checked out (1).
|
|
|
3439.
|
FUNDAMENTALS OF PROGRAMMING LANGUAGES
by Horowitz, Ellis. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,450.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 H785f] (1).
|
|
|
3440.
|
RELATIONAL DATABASE TECHNOLOGY
by Alagic, Suad. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,259.Publisher: New York Springer-Verlag 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 AL11r] (1).
|
