|
|
1541.
|
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).
|
|
|
1542.
|
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).
|
|
|
1543.
|
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).
|
|
|
1544.
|
HANDBOOK OF MODERN FERROMAGNETIC MATERIALS
by Goldman,Alex. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,646.Publisher: Kluwer Academic Publishers, Boston 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381 G569H] (1).
|
|
|
1545.
|
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).
|
|
|
1546.
|
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).
|
|
|
1547.
|
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).
|
|
|
1548.
|
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).
|
|
|
1549.
|
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).
|
|
|
1550.
|
NETWORK ALGEBRA
by Stefanescu,Gheorghe. Material type: Book Description: xv,400.Publisher: Springer-Verlag, New York c2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.01512 ST32N] (1).
|
|
|
1551.
|
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).
|
|
|
1552.
|
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).
|
|
|
1553.
|
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).
|
|
|
1554.
|
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).
|
|
|
1555.
|
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).
|
|
|
1556.
|
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).
|
|
|
1557.
|
ROBUSTNESS IN AUTOMATIC SPEECH RECOGNITION
by Junqua,Jean-Claude | Haton,Jean-Paul. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxx,440.Publisher: Kluwer Academic Publishers, Boston 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.454 J968RO] (1).
|
|
|
1558.
|
Software engineering [Vol 1-3]
by Bjorner, D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: various pagings.Publisher: Berlin Springer-Verlag 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 B557s v.1] (3).
|
|
|
1559.
|
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).
|
|
|
1560.
|
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).
|
