PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 6460 results. Subscribe to this search

Unhighlight Highlight
|
1481.
NETWORK OPTIMISATION PRACTICE

by Smith, David K.

Material type: book Book; Format: print ; Literary form: not fiction Description: 237.Publisher: Chichester Elles Herwood 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.02854 Sm54n] (1).

Place hold Add to cart
1482.
EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE

by O'Donnell, Michael J.

Material type: book Book; Format: print ; Literary form: not fiction Description: 297.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob5e] (1).

Place hold Add to cart
1483.
Temporal logic of programs

by Kroger, Fred.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 148p.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K914t] (1).

Place hold Add to cart
1484.
LOGIC PROGRAMMING AND ITS APPLICATIONS

by Van Caneghem, Michel | Warren, David H. D.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,318.Publisher: Norwood Ablex Pub. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829v] (1).

Place hold Add to cart
1485.
FOUNDATIONS OF LOGIC PROGRAMMING

by Lloyd, J.W.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,124.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).

Place hold Add to cart
1486.
FOUNDATIONS OF LOGIC PROGRAMMING

by Lloyd, J.W.

Material type: book Book; Format: print ; Literary form: not fiction Description: 317.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).

Place hold Add to cart
1487.
SYSTEMS

by Singh, Madan G | Titli, A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,645.Publisher: Oxford Pergamon 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 Si64s] (1).

Place hold Add to cart
1488.
SYSTEMS

by Singh, Madan G | Titli, A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,645.Publisher: Oxford Pergamon 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 Si64s] (1).

Place hold Add to cart
1489.
SYSTEMS

by Singh, Madan G | Titli, A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,645.Publisher: Oxford Pergamon 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 Si64s] (1).

Place hold Add to cart
1490.
Mathematical theory of program correctness

by Bakker, Jaco de.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 505p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B179m] (1).

Place hold Add to cart
1491.
MATHEMATICAL MODELING OF THE CHEMICAL, MECHANICAL AND PHYSICAL PROPERTIES OF ENGINEERING ALLOYS

by Zotos, John.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxxvii,404.Publisher: Lexington, Mass. Heath 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 669.90151 Z78m] (1).

Place hold Add to cart
1492.
URBAN MODELLING

by Batty, Michael.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxv,381.Publisher: Cambridge University Press 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 711.40151 B322u] (1).

Place hold Add to cart
1493.
THREE-DIMENSIONAL SCIEMIC STRUCTURAL ANALYSIS OF LETTERMAN HOSPITAL

by Prendergast, J. D | Choi, C. K.

Material type: book Book; Format: print ; Literary form: not fiction Description: 50.Publisher: Champaign, Ill. Construction Engineering Research Laboratory 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 690.510151 P918t] (1).

Place hold Add to cart
1494.
PRINCIPLES OF OPTIMAL CONTROL THEORY

by Gamkrelidze, R. V | Makowski, Karol.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,175.Publisher: New York Plenum Press 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 G146oE] (1).

Place hold Add to cart
1495.
DISTRIBUTED PARAMETER SYSTEMS

by Ray, Willis Harmon | Lainiotis, Demetrios G.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,597.Publisher: New York Marcel Dekker 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 D633] (1).

Place hold Add to cart
1496.
STOCHASTIC MAXIMUM PRINCIPLE FOR OPTIMAL CONTROL OF DIFFUSIONS

by Haussmann, U. G.

Material type: book Book; Format: print ; Literary form: not fiction Description: 109.Publisher: Essex Longman Scientific & Technical 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 H296s] (1).

Place hold Add to cart
1497.
DESIGN OF INDUSTRIAL CHEMICAL REACTORS FROM LABORATORY DATA

by Horak, Josef | Pasek, Josef.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,395.Publisher: London Heyden 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660.2990151 H78d] (1).

Place hold Add to cart
1498.
SINGULAR PERTURBATION METHODS IN CONTROL

by Kokotovic, Petar V | O'Reilly, John.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,371.Publisher: London Academic Pr. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8312 K829s] (1).

Place hold Add to cart
1499.
STATE-SPACE AND FREQUENCY-DOMAIN METHODS IN THE CONTROL OF DISTRIBUTED PARAMETER SYSTEMS

by Banks, Stephen P.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,125.Publisher: London Peter Peregrinus 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8 B128s] (1).

Place hold Add to cart
1500.
STABILITY AND ROBUSTNESS OF MULTIVARIABLE FEEDBACK SYSTEMS

by Safo Nov, Michael George.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,171.Publisher: Cambridge Mit Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.83 Sa17s] (1).

Place hold Add to cart

Powered by Koha