|
361.
|
Foundations of real-time computing
: formal specifications and methods
by Tilborg, Andre M Van [ed.] | Koob, Gary M [ed.]. Material type: Book Description: ix,316p.Publisher: Boston Kluwer Academic Publishers 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.33 F825] (1).
|
|
362.
|
NONLINEAR DYNAMICAL CONTROL SYSTEMS
by Nijmeijer, Henk | Schaft, Arjan Van Der. Material type: Book Description: xiii,467.Publisher: New York Springer-Verlag c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 N582n] (1).
|
|
363.
|
QUANTUM MECHANICS
by Van Fraassen, Bas C. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.12 V26Q] (1).
|
|
364.
|
INFORMATION SYSTEMS ENGINEERING
by Van Hee,K. M. Material type: Book Description: xiii,421.Publisher: Cambridge Univ. Press, Cambridge c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 V26I] (1).
|
|
365.
|
INDIA'S TRADE POLICY AND THE EXPORT PERFORMANCE OF INDUSTRY
by Van Dijck,Pitou | Rao,K. S. Chalapati. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 225.Publisher: Sage Publications, New Delhi 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 382.60954 V26I] (1).
|
|
366.
|
ANALOG CIRCUIT DESIGN
by Johan H. Huijsing,Rudy J. Van Der Plassche,Willy No Sansen | Sansen,Willy. Material type: Book Description: 452.Publisher: Kluwer Academic Publishers, Dordrecht c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3819596 AN13] (1).
|
|
367.
|
TURBULENT MOTION AND THE STRUCTURE OF CHAOS
by Klimontovich,Yu. L | Merve,Alwyn Van Der. Material type: Book Description: xi,397.Publisher: Kluwer Academic Publishers, Dordrecht c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.13 K683T] (1).
|
|
368.
|
CATALYSIS
by J. A. Moulijn,P.W.N.M. No Van Leeuwen,R. A. Van Santen | Van Santen,R. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,460.Publisher: Elsevier, Amsterdam 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 541.395 C28] (1).
|
|
369.
|
BOUNDARY VALUE PROBLEMS IN ABSTRACT KINETIC THEORY
by Greenberg,W., Van Der Mee,C | Protopopescu,V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v111,524.Publisher: Birkhauser, Boston 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.35 G836B] (1).
|
|
370.
|
The design of data structures and algorithms
by Amstel, J. J. van | Poirters, J. A. A. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 334p.Publisher: Hertfordshire Prentic-Hall 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Am87d] (1).
|
|
371.
|
COMPUTER ARCHITECTURE AND DESIGN
by Goor, A. J. Van De. Material type: Book Description: xviii,633.Publisher: Wokingham Addison-Wesley c1989Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 G64c] (1).
|
|
372.
|
Parallel algorithms for numerical linear algebra
by Vorst, Henk A. Van Der [Ed.] | Dooren, Paul Van [Ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 330p.Publisher: Amsterdam North-Holland 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64015125 P212] (1).
|
|
373.
|
HANDBOOK OF THEORETICAL COMPUTER SCIENCE
by Leeuwen, Jan Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v.Publisher: Amsterdam Elsevier 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6 H191] (1).
|
|
374.
|
HANDBOOK OF THEORETICAL COMPUTER SCIENCE
by Leeuwen, Jan Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v.Publisher: Amsterdam Elsevier 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6 H191] (1).
|
|
375.
|
ADJUSTMENT STRUCTURAL CHANGE AND ECONOMIC EFFICIENCY
by Van Brabant, Jozef M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,480.Publisher: Cambridge Cambridge Univ. Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 337.147 V26a] (1).
|
|
376.
|
SIMULATED ANNEALING
by Laarhoven,P.J.M. Van | Aarts,E.H.L. Material type: Book Description: xi,187.Publisher: Kluwer Academic Publishers, Dordrecht c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 L11S] (1).
|
|
377.
|
UNCERTAINTY AND FORECASTING OF WATER QUALITY
by Beck, M. B | Straten, G. Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,386.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 363.7394 Un1b] (1).
|
|
378.
|
GENERALIZED QUANTIFIERS IN NATURAL LANGUAGE
by Benthem, Johan Van | Meulen, Alice Ter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,169.Publisher: Dordrecht Foris Publications 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 G286b] (1).
|
|
379.
|
THE STRUCTURE OF PHONOLOGICAL REPRESENTATIONS
by Hulst, Harry Van Der | Smith, Norval. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 1.Publisher: Dordrecht Foris Publications 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 414 St89] (1).
|
|
380.
|
THE STRUCTURE OF PHONOLOGICAL REPRESENTATIONS
by Hulst, Harry Van Der | Smith, Norval. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2.Publisher: Dordrecht Foris Publications 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 414 St89] (1).
|