|
|
1161.
|
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).
|
|
|
1162.
|
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).
|
|
|
1163.
|
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).
|
|
|
1164.
|
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).
|
|
|
1165.
|
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).
|
|
|
1166.
|
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).
|
|
|
1167.
|
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).
|
|
|
1168.
|
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).
|
|
|
1169.
|
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).
|
|
|
1170.
|
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).
|
|
|
1171.
|
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).
|
|
|
1172.
|
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).
|
|
|
1173.
|
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).
|
|
|
1174.
|
Distributed and parallel database object management
: an international journal [v.2, no. 1 (1994)]
by | Bertino, Elisa, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 126p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.758 D633] (1).
|
|
|
1175.
|
Methods and tools for co-operative and integrated design
by | Tichkiewitch, Serge, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 488p.Publisher: Dordrecht Kluwer Academic 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.0042 M566] (1).
|
|
|
1176.
|
Hybrid intelligent systems
by Medsker, Larry R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 298p.Publisher: Boston Kluwer Academic 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 M469h] (1).
|
|
|
1177.
|
Computations with Markov chains
: proceedings...
by 2nd International Workshop on the Numerical Solution of Markov Chains North Carolina State University 1990 | Stewart, William J., ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,600p.Publisher: Boston Kluwer Academic Publishers 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.233 In8 1990] (1).
|
|
|
1178.
|
Software engineering with OBJ
: algebraic specification in action
by | Goguen, Joseph., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi, 410p.Publisher: Boston Kluwer Academic 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 So23] (1).
|
|
|
1179.
|
Resolution proof systems
: an algebraic theory
by Stachniak, Zbigniew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 206p.Publisher: Dordrecht Kluwer Academic 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St12r] (1).
|
|
|
1180.
|
Quantitative Pareto analysis by cone separation technique
by Kaliszewski, Ignacy. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 160p.Publisher: Boston Kluwer Academic Publishers 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.56 K156q] (1).
|
