|
|
1001.
|
LECTURE NOTES IN COMPUTER SCIENCE ; V.3701
: THEORETICAL COMPUTER SCIENCE
by . Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xi,409.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).
|
|
|
1002.
|
LECTURE NOTES IN COMPUTER SCIENCE ; V.3719
: DISTRIBUTED AND PARALLEL COMPUTING
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,448.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).
|
|
|
1003.
|
LECTURE NOTES IN COMPUTER SCIENCE; V.3512
: COMPUTATIONAL INTELLIGENCE AND BIOINSPIRED SYSTEMS
by Cabestany,Joan,Prieto,Alberto | Sandoval,Francisco. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv,1253.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).
|
|
|
1004.
|
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).
|
|
|
1005.
|
LECTURE NOTES IN COMPUTER SCIENCE; V.3429
: DISCRETE GEOMETRY FOR COMPUTER IMAGERY
by Andres,Eric,Damiand,Guillaume | Lienhardt,Pascal. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,428.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).
|
|
|
1006.
|
LECTURE NOTES IN COMPUTER SCIENCE; V. 3384
: DNA COMPUTING
by Ferretti,Claudio,Mauri,Giancarlo | Zandron,Claudio. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,470.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).
|
|
|
1007.
|
LECTURE NOTES IN COMPUTER SCIENCE V. 1346
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,343.Publisher: Springer-Verlag, Berlin 1997Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1008.
|
LECTURE NOTES IN COMPUTER SCIENCE V.1518
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,383.Publisher: Springer-Verlag, Berlin 1998Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1009.
|
LECTURE NOTES IN COMPUTER SCIENCE V.1470
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,1157.Publisher: Springer-Verlag, Berlin 1998Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1010.
|
LECTURE NOTES IN COMPUTER SCIENCE V.1533
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,478.Publisher: Springer-Verlag, Berlin 1998Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1011.
|
LECTURE NOTES IN COMPUTER SCIENCE V.1517
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,383.Publisher: Springer-Verlag, Berlin 1998Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1012.
|
LECTURE NOTES IN COMPUTER SCIENCE; V. 3562
: ARTIFICIAL INTELLIGENCE AND KNOWLEDGE ENGINEERING APPLICATIONS:A BIOINSPIRED APPROACH
by Mira,Jose | Alvarez,Jose R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii,636.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).
|
|
|
1013.
|
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).
|
|
|
1014.
|
LECTURE NOTES IN COMPUTER SCIENCE; V. 3494
: ADVANCES IN CRYPTOLOGY-EUROCRYPT 2005
by Cramer,Ronald. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,576.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).
|
|
|
1015.
|
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).
|
|
|
1016.
|
LECTURE NOTES IN COMPUTER SCIENCE; V. 3125
: MATHEMATICS OF PROGRAM CONSTRUCTION
by Kozen,Dexter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,399.Publisher: Springer-Verlag,Berlin 2004Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1017.
|
LECTURE NOTES IN COMPUTER SCIENCE; V. 3536
: APPLICATIONS AND THEORY OF PETRI NETS 2005
by Ciardo,Gianfranco | Darondeau,Philippe. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,474.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).
|
|
|
1018.
|
LECTURE NOTES IN COMPUTER SCIENCE V.3484
by Bampis,Evripidis,Jansen,Klaus | Kenyon,Claire. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,347.Publisher: Springer-Verlag,Berlin 2006Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1019.
|
LECTURE NOTES IN COMPUTER SCIENCE V.3998
by Calamoneri,Tiziana,Finocchi,Irene | Italiano,Giuseppe F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,394.Publisher: Springer-Verlag, Berlin 2006Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1020.
|
LECTURE NOTES IN COMPUTER SCIENCE V.4009
by Lewenstein,Moshe | Valiente,Gabriel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,414.Publisher: Springer-Verlag, Berlin 2006Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
