|
|
841.
|
Advanced topics in bisimulation and coinduction
by | Sangiorgi, Davide, Ed. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xiii, 326p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 Ad95] (1).
|
|
|
842.
|
Topics in discrete mathematics
: dedicated to Jarik Nesetril on the occasion of his 60th birthday
by | Klazar, Martin, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 627p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.1 T624] (1).
|
|
|
843.
|
Real-time 3D character animation with visual C++
by Lever, Nik. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 471p.Publisher: Oxford Focal Press 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6633 L576r] (1).
|
|
|
844.
|
Metaheuristics for scheduling in industrial and manufacturing applications
by | Xhafa, Fatos, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii, 346 p.Publisher: Berlin Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 M564] (1).
|
|
|
845.
|
Object relationship notation (ORN) for database applications
: enhancing the modeling and implementation of associations
by Ehlmann, Bryon K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 246p.Publisher: Dordrecht Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 Eh57o] (1).
|
|
|
846.
|
Coarse-to-fine natural language processing
by Petrov, Slav. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii, 105p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 P449c] (1).
|
|
|
847.
|
Variants of evolutionary algorithms for real-world applications
by | Chiong, Raymond, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 462p.Publisher: New York Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 V426] (1).
|
|
|
848.
|
Modeling, learning, and processing of text-technological data structures
by | Mehler, Alexander, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 396p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.52 M72] (1).
|
|
|
849.
|
Modular neural networks and type-2 fuzzy systems for pattern recognition
by Melin, Patricia. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 214p.Publisher: Berlin Springer-Verlag 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.4 M484m] (1).
|
|
|
850.
|
Reasoning in event-based distributed systems
by Helmer, Sven | Poulovassilis, Alexandra. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 308p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 H369r] (1).
|
|
|
851.
|
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).
|
|
|
852.
|
Multiagent engineering
: theory and applications in enterprises
by | Kirn, Stefan, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 626p.Publisher: Berlin Springer 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.4038011 M919] (1).
|
|
|
853.
|
Modern software tools for scientific computing
by | Arge Erlend, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 380p.Publisher: Boston Birkhauser 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 502.855 M72] (1).
|
|
|
854.
|
Anemona
: a multi-agent methodology for holonic manufacturing systems
by Botti, Vicente | Giret, Adriana. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 214p.Publisher: London Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 670.285 B659a] (1).
|
|
|
855.
|
Knowledge based systems for test and diagnosis
: proceedings ...
by | IFIP WG 10.5 International Workshop on Knowledge Based Systems for Test and Diagnosis Grenoble, France 1988 | Saucier, G., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 257p.Publisher: Amsterdam North-Holland 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 In8k] (1).
|
|
|
856.
|
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).
|
|
|
857.
|
Design of logic-based intelligent systems
by Truemper, Klaus. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 352p.Publisher: Hoboken John Wiley & Sons 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 T768d] (1).
|
|
|
858.
|
Pattern recognition
: an algorithmic approach
by Murty, M. Narasimha | Devi, V. Susheela. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 263p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.4 M969p] (1).
|
|
|
859.
|
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).
|
|
|
860.
|
Simply scheme
: introducing computer science
by Harvey, Brian | Wright, Matthew. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxxii, 579p.Publisher: Cambridge Mit Press 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 H262s2] (1).
|
