|
|
5501.
|
Metallurgy
: understanding how, learning why: studies in honor of James D. Muhly
by | Betancourt, Philip P., Ed | Ferrence, Susan C., Ed. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xxxv, 304p.Publisher: Philadelphia Instap Academic Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 939.37 M564] (1).
|
|
|
5502.
|
Simulation-based optimization
: parametric optimization techniques and reinforcement learning
by Gosavi, Abhijit. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvii, 554p.Publisher: Boston Kluwer Academic Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.2 G69s] (1).
|
|
|
5503.
|
Modern biotechnology
: panacea or new pandora's box?
by Tramper, Johannes | Zhu, Yang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 284p.Publisher: The Netherlands Wageningen Academic Publishers 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660.6 T684m] (2).
|
|
|
5504.
|
A primer in particle physics
: [alpha],[beta],[gamma] - [zeta]
by Okun, L.B | Kisin, V.I., Tr. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 114p.Publisher: Chur Harwood Academic 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 539.721 Ok7p] (1).
|
|
|
5505.
|
Learning search control knowledge
by Minton, Steven. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 214p.Publisher: Boston Kluwer Academic Publishers 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M668l] (1).
|
|
|
5506.
|
Jaakko Hintikka [6vols set]
: selected papers
by Hintikka, Jaakko. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 6v.(various pagings).Publisher: Dordrecht Kluwer Academic Publishers 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192 H596j v.1] (6).
|
|
|
5507.
|
From green to evergreen revolution
: Indian agriculture: performance and emerging challenges
by Swaminathan, M.S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 410p.Publisher: New Delhi Academic Foundation 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 630.954 Sw22f] (1).
|
|
|
5508.
|
Advances in organometallic chemistry [v.34]
by | Stone, F. G. A., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 340p.Publisher: San Diego Academic Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 547 Ad95] (1).
|
|
|
5509.
|
Stochastically-based semantic analysis
by Minker, Wolfgang | Waibel, Alex. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 221p.Publisher: Boston Kluwer Academic Publishers 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 M665s] (1).
|
|
|
5510.
|
A knowledge-based approach to program understanding
by Abd-El-Hafiz, Salwa K | Basili, Victor R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 119p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.15 Ab31k] (1).
|
|
|
5511.
|
Information systems development
: advances in methodologies, components and management
by | Kirikova, Marite, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 459p.Publisher: New York Kluwer Academic 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.4038 In3] (1).
|
|
|
5512.
|
Cooperative management of enterprise networks
by Ray, Pradeep. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 187p.Publisher: New York Kluwer Academic 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.0546 R212c] (1).
|
|
|
5513.
|
Effective polynomial computation
by Zippel, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 363p.Publisher: Boston Kluwer Academic Publishers 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.920285 Z68e] (1).
|
|
|
5514.
|
Fault-tolerant real-time systems
: the problem of replica determinism
by Poledna, Stefan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 147p.Publisher: Boston Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.2548 P757f] (1).
|
|
|
5515.
|
Multiprocessor execution of logic programs
by Gupta, Gopal. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 243p.Publisher: Boston Kluwer Academic 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.2 G959m] (1).
|
|
|
5516.
|
Symbolic model checking
by Mcmillan, Kenneth L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 194p.Publisher: Boston Kluwer Academic 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 M459s] (1).
|
|
|
5517.
|
Timed boolean functions
: a unified formalism for exact timing analysis
by Lam, William K. C | Brayton, Robert K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 273p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 L16t] (1).
|
|
|
5518.
|
Hybrid neural network and expert systems
by Medsker, L.R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 240p.Publisher: Boston Kluwer Academic 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 M469h] (1).
|
|
|
5519.
|
Variation principle in informational macrodynamics
by Lerner, Vladimir S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 264p.Publisher: Boston Kluwer Academic 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 L562v] (1).
|
|
|
5520.
|
Verification by error modeling
: using testing techniques in hardware verification
by Radecka, Katarzyna | Zilic, Zeljko. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 216p.Publisher: Boston Kluwer Academic Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 R117v] (1).
|
