|
1.
|
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING; V. 3569
: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
by Bacchus,Fahiem | Walsh,Toby. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,492.Publisher: Springer-Verlag, Berlin 2005Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
2.
|
LECTURE NOTES IN COMPUTER SCIENCE; V. 3537
: COMBINATORIAL PATTERN MATCHING
by Apostolico,Alberto,Crochemore,Maxime | Park,Kunsoo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,444.Publisher: Springer-Verlag, Berlin 2005Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
3.
|
LECTURE NOTES IN COMPUTER SCIENCE; V.3503
: EXPERIMENTAL AND EFFICIENT ALGORITHMS
by Nikoletseas,Sotiris E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,621.Publisher: Springer-Verlag, Berlin 2005Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
4.
|
IMAGE PROCESSING II, MATHEMATICAL METHODS ALGORITHMS AND APPLICATIONS
by Blackledge,Jonathan M | | Turner,Martin J | | Jonathan M. Blackledge,Martin J. Turner | . Description: xviii,462.Publisher: Horwood Publishing,Chichester 2000Availability: No items available Withdrawn (1).
|
|
5.
|
LECTURE NOTES IN COMPUTER SCIENCE (VOL. 2409)
by Mount,David M | | Stein,Clifford | | David M. Mount,Clifford Stein | . Description: viii,205.Publisher: Springer-Verlag,Berlin 2002Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
6.
|
ALGORITHMS FOR SYNTHETIC APERTURE RADAR IMAGERY X
by Zelnio,Edmund G | | Garber,Frederick D | . Description: viii,410.Publisher: Spie-The International Soc. For Optical Engg., Washington 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38485 IN8] (1).
|
|
7.
|
Numerical algorithms for modern parallel computer architectures
by Schultz, Martin H. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 232 p.Publisher: New York Springer-Verlag 1988Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 N917a] (1).
|