|
1061.
|
Lecture notes in computer science; vol. 4271
: graph-theoretic concepts in computer science
by Lecture Notes In Computer Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 358p.Publisher: Berlin Springer-Verlag 2006Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1062.
|
Lecture notes in computer science; vol. 4698
: algorithms-ESA 2007
by Lecture Notes In Computer Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 769p.Publisher: Berlin Springer-Verlag 2007Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1063.
|
Lecture notes in computer science; vol.4288
: algorithms and computation
by Lecture Notes In Computer Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 766p.Publisher: Berlin Springer-Verlag 2007Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1064.
|
Lecture notes in computer science; vol.4619
: algorithms and data structures
by Lecture Notes In Computer Science. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 662p.Publisher: Berlin Springer-Verlag 2007Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1065.
|
ALOGRITHM THEORY -- SWAT '92
by Nurmi, O | Ukkonen, E | . Description: viii,433.Publisher: Barlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1066.
|
AUTOMATA, LANGUAGES AND PROGRAMMING
by Kuich, W. Description: xii,719.Publisher: Barlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1067.
|
PARALLEL PROCESSING
by Bouge, L. Description: xvii,853.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1068.
|
SOFTWARE PROCESS TECHNOLOGY
by Derniame, J. C. Description: viii,253.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1069.
|
CONSTRUCTIVITY IN COMPUTER SCIENCE
by Myers, J. P | Donnell, M. J. O | . Description: x,246.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1070.
|
NETWORK AND OPERATING SYSTEM SUPPORT FOR DIGITAL AUDIO AND VIDEO
by Herrtwich, R. G. Description: xii,402.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1071.
|
ECOOP `92
by Madsen, O. Lehrmann. Description: x,426.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1072.
|
APPLICATION AND THEORY OF THE PETRI NETS 1992
by Jenson, K. Description: 398.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1073.
|
ADVANCED DATABASE SYSTEMS
by Gray, P. M. D | Lucas, R. J | . Description: x,260.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1074.
|
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE - TVER `92
by Nerode, A | Taitslin, M | . Description: ix,514.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1075.
|
META PROGRAMMING IN LOGIC
by Pettorossi, A. Description: xii,351.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1076.
|
ALOGRITHMS AND COMPUTATION
by Ibaraki, T. Description: xi,510.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1077.
|
COMPUTER SCIENCE LOGIC
by Borger, E. Description: viii,428.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1078.
|
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1992
by Havel, I. M | Koubek, V | . Description: ix,521.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1079.
|
CONCUR'92
by Cleaveland, W. R. Description: 580.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
1080.
|
PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRMMING
by Bruynooghe, M | Wirsing, M | . Description: xi,492.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|